Este curso es acerca de un lenguaje: el lenguaje de la lógica.

En la concepción tradicional, un lenguaje consiste de un conjunto de símbolos y un conjunto de reglas para combinar esos símbolos de manera que formen palabras y oraciones que tengan sentido para las personas que hablan ese lenguaje. La lógica matemática (en sus distintas versiones) se ajusta a esa definición por cuanto:

Establece un conjunto de símbolos básicos (el vocabulario o alfabeto del lenguaje).

Establece un conjunto de reglas precisas para combinar esos símbolos en palabras y oraciones (es decir, define rigurosamente la sintaxis del lenguaje) e inclusive:

Indica (de nuevo a través de reglas y construcciones matemáticas) el significado de esas palabras y oraciones. Es decir, los diseñadores del lenguaje definen rigurosamente la semántica del lenguaje. Su intención es garantizar que cualquiera que entienda estas reglas y construcciones podrá entender las oraciones del lenguaje.

En este curso, conoceremos este lenguaje y aprenderemos a usarlo para programar computadores.

Objetivo General:

Conocer el lenguaje de la lógica matemática y usarlo para programar computadores.

Objetivos Especificos:

1. Resumir la historia del desarrollo de la lógica y explicar sus principales acontecimientos.
2. Explicar qué es un argumento y que significa probar una afirmación.
3. Describir el lenguaje de la lógica proposicional.
4. Describir el lenguaje del cálculo de predicados y explicar su relación con la lógica proposicional.
5. Describir la forma clausal de la lógica de primer orden y explicar cómo convertir oraciones lógica a la forma clausal.
6. Explicar en que consiste la interpretación procedimental de la lógica.
7. Explicar que és inducción matemática y como se le puede usar en argumentación y para prueba de teoremas.
8. Explicar los conceptos básicos en teoría de conjuntos, funciones, relaciones y grafos.
9. Describir los fundamentos del algebra booleana y su relación con la lógica. Explicar el principio de Resolución.
10. Explicar qué es resolución SLD.
11. Explicar cómo se usan las abstracciones de conjuntos parcialmente ordenados y latises para definir la semántica de los lenguajes de programación lógica.
12. Explicar en que consiste la suposición de un mundo cerrado y cual es su relación con la negación en programación lógica.
13. Programar algoritmos de búsqueda sobre árboles, usando programas lógicos.
14. Representar un autómata como un programa lógico.
15. Describir un máquina universal de Turing y un AGENTE en lógica.

Transmitir a los estudiantes los elementos mínimos de la argumentación, el razonamiento formal y la representación de conocimiento para procesamiento automático.