DAO (Demostración asistida por ordenador)
De DAO (Demostración asistida por ordenador)
Demostración asistida por ordenador
Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema Isabelle/HOL).
Material para el curso
- Temas: Teorías de los temas.
- Ejercicios: Relaciones de ejercicios.
- Documentación: Lecturas recomendadas.
- Diario: Descripción diaria de las clases.