Razonamiento automático (2018-19)
Este curso es una introducción al razonamiento automático asistido por ordenador usando, fundamentalmente, Isabelle/HOL y Coq.
Material para el curso
- Temas: Teorías de los temas.
- Ejercicios: Relaciones de ejercicios.
- Documentación: Enlaces con documentación.
- Sistemas: Sistemas utilizados.
- Diario: Descripción diaria de las clases.