Diferencia entre revisiones de «DAO (Demostración asistida por ordenador)»
De DAO (Demostración asistida por ordenador)
(→Material para el curso) |
|||
| Línea 1: | Línea 1: | ||
| − | |||
Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL]). | Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/research/hvg/Isabelle Isabelle/HOL]). | ||
Revisión del 13:26 15 jul 2018
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.