Temas de "Lógica informática (2015-16)"
En esta página se encuentra el material (transparencias y ejercicios) del curso Lógica informática.
Transparencias de todos los temas
- En Temas de "Lógica informática" (2015-16) se encuentran las transparencias de todo el curso en forma de libro.
Transparencias por tema
- Lógica proposicional:
- Tema 1: Sintaxis y semántica de la lógica proposicional. (Tipos de problemas).
- Tema 2: Deducción natural proposicional. (código y Tipos de problemas).
- Tema 3: Tableros semánticos proposicionales. (Tipos de problemas).
- Tema 4: Formas normales. (Tipos de problemas).
- Tema 5: Resolución proposicional. (Tipos de problemas).
- Tema 6: Algoritmos para SAT. Aplicaciones. (Códigos).
- Lógica de primer orden:
- Tema 7: Sintaxis y semántica de la lógica de primer orden.
- Tema 8: Deducción natural en lógica de primer orden.
- Tema 9: Tableros semánticos en lógica de primer orden.
- Tema 10: Formas normales de Skolem y cláusulas.
- Tema 11: Modelos de Herbrand.
- Tema 12: Resolución en lógica de primer orden.
- Tema 13: Introducción a la programación lógica con Prolog. (VÃdeo tutoriales de Prolog y SldDraw).
- Tema 14: Formalización en Prolog de la lógica proposicional.