Temas Subtemas
1. Lógica proposicional Sintaxis y semántica. Tablas semánticas. Formas Normales. Método axiomático, Deducción natural y cálculo de secuentes. Resolución. Satisfactibilidad (SAT) y complejidad.
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.