Prólogo, p.ix

1. PRELIMINARES, p.1 - 1.1. Conjuntos – 1.1.1. Inclusión e igualdad de conjuntos - 1.1.2. Operaciones sobre conjuntos - 1.1.3. Propiedades de las operaciones sobre conjuntos - 1.1.4. Partes de un conjunto - 1.1.5. Cadenas sobre un conjunto - 1.2. Relaciones y funciones - 1.2.1. Relación de equivalencia y conjunto cociente - 1.2.2. Relaciones de orden - 1.3. Combinatoria - 1.4. Demostración de propiedades - 1.4.1. Inducción - 1.4.2. Contrarrecíproco - 1.4.3. Reducción al absurdo - 2. DEFINICIÓN DE LA LÓGICA PROPOSICIONAL, p.7 - 2.1. ¿Qué es una lógica? - 2.2. Lógica proposicional - 2.3. Explicaciones sobre la definición de la lógica proposicional - 2.4. Satis factibilidad, tautología, consecuencia y equivalencia - 3. Deducción en la lógica proposicional, p.19 - 3.1. Formas normales y clausulas - 3.2. Nociones informales de decidibilidad y complejidad - 3.2.1. Lo importante es el coste como función del tamaño de la entrada - 3.3. Resolución. Corrección y completitud - 3.4. Resolver problemas prácticos con la lógica proposicional - 3.5. El procedimiento DPLL - 4. DEFINICIÓN DE LA LÓGICA DE PRIMER ORDEN, p.35 - 4.1. Lógica de primer orden - 4.1.1. Sintaxis - 4.1.2. Interpretación - 4.1.3. Satisfacción - 4.1.4. Formulas cerradas - 4.2. Explicaciones sobre la definición de la lógica de primer orden - 4.3. Lógica de primer orden con igualdad - 4.4. Formalización del lenguaje natural - 5. DEDUCCIÓN EN LA LÓGICA DE PRIMER ORDEN, p.51 - 5.1. Formas normales y clausulas - 5.2. Transformación a forma clausal - 5.3. Unificación - 5.4. Resolución y factorización - 6. FUNDAMENTOS DE LA PROGRAMACIÓN LÓGICA, p.61 - 6.1. Calculo de respuestas mediante resolución - 6.1.1. Bases de datos deductivas - 6.1.2. Programas lógicos - 6.1.3. Completitud - 6.2. La ejecución de programas Prolog - 6.2.1. La resolución SLD - 6.2.2. Ejemplos de Prolog. Unificación, listas - 6.2.3. La programación recursiva y la inducción - 6.2.4. Los aspectos extra-lógicos de Prolog - 7. EJERCICIOS RESUELTOS, p.79 - 7.1. Ejercicios de definición de la lógica proposicional - 7.2. Ejercicios de deducción en la lógica proposicional - 7.2.1. Formas normales y clausulas - 7.2.2. Nociones informales de decidibilidad y complejidad - 7.2.3. Resolución. Corrección y completitud - 7.2.4. Resolver problemas prácticos con la lógica proposicional - 7.2.5. El procedimiento DPLL - 7.3. Ejercicios de definición de la lógica de primer orden - 7.3.1. Lógica de primer orden con igualdad - 7.3.2. Formalización del lenguaje natural - 7.4. Ejercicios de deducción en la lógica de primer orden - 7.5. Ejercicios de fundamentos de la programación lógica -