1. Introducción
2. Prolog.

1. Introducción al lenguaje de programación.
2. Ejercicios prácticos

3. Lógica proposicional

1. Definición, semántica.
2. Satisfactibilidad lógica
3. Propiedades de las fórmulas lógicas. Deducción lógica.

4. Teoría de la Demostración

1. El método axiomatico
2. Demostración axiomática
3. Sistemas axiomaticos PM, L, K
4. Deducción natural
5. El método interpretativo
6. Formas Normales

5. Lógica de predicados

1. Definición, semántica
2. Propiedades de las fórmulas lógicas
3. Método Semántico. Teoría Interpretativa
4. Evaluación Semántica de FP

6. Demostración automática de teoremas

1. Forma Normal Prenex
2. Forma Normal de Skolem
3. Cláusulas de Horn
4. Principio de Resolución
5. Estrategias de Resolución
6. Resolución Lineal

7. Programación de Restricciones

1. Introducción
2. Resolución y modelización de CSP
3. Conceptos y Notación elementales
4. Restricciones
5. Consistencia
6. Algoritmos de búsqueda
7. Heurísticas