DAO (Demostración asistida por ordenador)
De DAO (Demostración asistida por ordenador)
Revisión del 13:27 15 jul 2018 de Jalonso (discusión | contribuciones)
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.