Diferencia entre revisiones de «DAO (Demostración asistida por ordenador)»
De DAO (Demostración asistida por ordenador)
(Página creada con '== Demostración asistida por ordenador == Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/rese...') |
(→Material para el curso) |
||
| Línea 6: | Línea 6: | ||
* [[Ejercicios]]: Relaciones de ejercicios. | * [[Ejercicios]]: Relaciones de ejercicios. | ||
* [[Documentación]]: Lecturas recomendadas. | * [[Documentación]]: Lecturas recomendadas. | ||
| + | * [http://goo.gl/YdTZW Diario]: Descripción diaria de las clases. | ||
Revisión del 21:31 26 feb 2013
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.