Lógica

Materia: Matemáticas
Departamento: Inteligencia Artificial
Créditos ECTS: 6
Semestre: Primero
Carácter: Básica

Resultados de aprendizaje

• Representar conocimiento por medio de sistemas formales.
• Ser capaz de demostrar teoremas mediante lógica matemática.
• Ser capaz de utilizar algoritmos y estrategias para la demostración automática.
• Modelizar matemáticamente problemas reales y conocer las técnicas para resolverlos   

Breve descripción de los contenidos

1. Lógica proposicional y de primer orden: sintaxis y semántica
2. Sistemas de deducción
3. Demostración automática y resolución
4. Fundamentos de la programación lógica

Bibliografía

1. De Ledesma, Luis "Lógica para la computación". Editorial RAMA
2. Barwise J., Etchemendy J. “Language, Proof and Logic”. CSLI Publications 
3. Bueno Carrillo, Francisco "Introducción a la demostración automática de teoremas", Publicaciones FIM