1.¿QUÉ ES LÓGICA COMPUTACIONAL?

La lógica computacional es una disciplina que estudia la aplicación de la lógica clásica formal para la representación computacional de argumentos, las técnicas de deducción automática y asistida por computadora; sus fundamentos relacionados con validez y completes de sistemas de proposiciones; y las aplicaciones de esas técnicas a las diferentes áreas de las ciencias computacionales en todas las etapas de desarrollo de software, es decir, en la especificación, diseño, construcción y verificación formal de programas
El campo de la Lógica Computacional cubre todos los tipos de aplicaciones de la lógica en la informática. La Lógica Computacional se centra en la definición:
Algoritmo = Lógica + Control.
La Lógica Computacional se dedica al ideal de un programador que es concentrarse en la descripción de un problema y no invertir ningún tiempo en el mecanismo de computación necesario. La lógica constituye la herramienta formal de razonamiento de la mayor parte de las asignaturas dela carrera de informática, sobre todo de las que están más relacionadas con las matemáticas y laprogramaciónLa lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.