Programas
- Tema 1:
Lógica proposicional: Sintaxis y semántica.
- Tema 2:
Formas normales y cláusulas.
- Tema 3:
Resolución proposicional.
- Tema 4:
Refinamientos de resolución.
- Tema 5:
Programación lógica proposicional.
- Tema 6:
Programación lógica y Prolog.