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.Otras lógicas. Lógica descriptiva. Sintaxis, semántica y reglas de inferencia
4. 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.