En esta página se encuentra el material de las clases del curso
"Lógica informática". En cada tema se encuentra sus
transparencias (T), transparencias reducidas (TR) y ejercicios
(E). Además, el libro
Temas de Lógica informática tiene todas las
transparencias del curso.
- Tema 1: Sintaxis y semántica de la lógica
proposicional.
(T,
TR y
E).
- Tema 2: Deducción natural proposicional.
(T,
TR y
E).
- Tema 3: Formas normales.
(T,
TR y
E).
- Tema 4: Tableros semánticos.
(T,
TR y
E).
- Tema 5: Resolución proposicional.
(T,
TR y
E).
- Tema 6: Sintaxis y semántica de la lógica de primer
orden.
(T,
TR y
E).
- Tema 7: Deducción natural en lógica de primer
orden.
(T,
TR y
E)
Material complementario:
- Tema 8: Formas normales. Cláusulas.
(T,
TR y
E).
- Tema 9: Modelos de Herbrand.
(T,
TR y
E).
- Tema 10: Resolución en lógica de primer orden.
(T,
TR y
E).
|