Incluye índice.

Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos -- Conjuntos -- Inclusiòn e igualdad de conjuntos -- Operaciones sobre conjuntos -- Propiedades de las operaciones sobre conjuntos -- Partes de un conjunto -- Cadenas sobre un conjunto -- Relaciones y funciones -- Relaciòn de equivalencia y conjunto cociente -- Relaciones de orden -- Combinatoria -- Demostraciòn de propiedades -- Inducciòn -- Contrarecìproco -- Reducciòn al absurdo -- ¿Què es una lògica? -- Lògica proposicional -- Explicaciones sobre la definiciòn de la lògica proposicional -- Satisfactibilidad, tautologìa, consecuencia y equivalencia -- Formas normales y clàusulas -- Nociones informales de decidibilidad y complejidad -- Lo importante es el coste como funciòn del tamaño de la entrada -- Lògica de primer orden con igualdad -- Formas normales y clàusulas -- Transformaciòn a forma clausal -- Unificaciòn -- Càlculo de respuestas mediante resoluciòn -- La resoluciòn SLD -- Ejemplos de Prolog. Unificaciòn, listas -- Los aspectos extra-lògicos de Prolog -- Lògica de primer orden con igualdad -- Formalizaciòn del lenguaje natural...