Contenidos
- Razonamiento automático sobre programas.
- Técnicas de razonamiento automático de primer orden con
igualdad.
- Programación lógica.
- Razonamiento con información incompleta.
- Razonamiento inductivo y síntesis de programas.
Metodología
La asignatura es cuatrimestral. Las clases serán teóricas (en el
aula) y prácticas (en el laboratorio).
Evaluación
La nota de la asignatura se obtendrá a partir de las notas de las
prácticas, los trabajos y el examen.
José A. Alonso
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla