Temas de "Demostración automática de teoremas"
[Curso 2002-03]
- Tema 1:
Introducción a la deducción automática.
- Tema 2:
Procedimiento general de demostración.
- Tema 3:
Semántica proposicional.
- Tema 4:
Resolución de primer orden.
- Tema 5:
Razonamiento automático con igualdad.
- Tema 6:
Razonamiento automático y programación.