Lógica

Grado en Inteligencia Artificial

Transparencias

• Tema 1: Cálculo 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)
  
  
• Tema 2: Cálculo de Predicados
• 2.1 Lógica de Primer Órden
• 2.2 Sustitución y Secuentes en Primer órden
  
  
• Ejemplos de Lógica de Primer Órden
  
  
• Tema 3: Resolución
  
  
• Tema 4: Otras Lógicas: Lógicas de Descripción
  
  
• Introducción a Prolog
  

Prácticas

• Práctica 1: minilang
  

Otros enlaces

• Guía docente

Bibliografía

• M. Ben-Ari (2012). Mathematical Logic for Computer Science. Springer, London
  
  
• Luis de Ledesma (2011). Lógica para la computación. RA-MA
  
  
• Ivan Bratko (2001). Prolog Programming for Artificial Intelligence. Harlow, England

Maintained by Pedro Cabalar