Temas Subtemas
1. Lógica proposicional 1.1 Lógica Proposicional
1.2 Formas Normales
1.3 Cálculo de Secuentes
1.4 Satisfactibilidad
1.5 Complejidad Computacional
1.6 Minimización de Funciones Booleanas
1.7 Decisión binaria (árboles y BDDs)
2. Lógica de primer orden. Sintaxis y semántica. Tablas semánticas. Formas Normales. Método axiomático, Deducción natural y cálculo de secuentes. Resolución. Expresividad, decidibilidad y completitud.
3. Resolución Resolución proposicional: Reducción a forma normal conjuntiva. Regla de resolución. Estrategias de resolución.
Resolución en Primer Órden: Forma normal prénex. Forma normal de Skolem, Unificación.
4. Otras lógicas. Lógica descriptiva. Sintaxis, semántica y reglas de inferencia
5. Introducción a la programación lógica en Prolog Sintaxis de Prolog. Semántica declarativa y procedural. Listas, operadores y aritmética. Control de backtracking. Entrada/salida.