El objetivo de la asignatura es el estudio de los algoritmos de deducción automática en la Lógica Clásica (tanto proposicional como de predicados) y estudiar la propiedad de decidibilidad en dicha lógica. Se pondrá especial énfasis en el análisis de los distintos paradigmas de deducción automática existentes, así como en el análisis de su complejidad.
- Profesor: Ojeda Aciego Manuel