Razonamiento automático (2016-17) Razonamiento automático (2016-17)

Razonamiento automático (2016-17)

Este sitio contiene materiales del curso Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial de la Universidad de Sevilla.

Material para el curso

• Temas: Teorías de los temas.
• Ejercicios: Relaciones de ejercicios.
• Documentación: Lecturas recomendadas.
• Sistemas: Sistemas utilizados.
• Diario: Descripción diaria de las clases.
• GitHub: Curso en GitHub.