Diferencia entre revisiones de «DAO (Demostración asistida por ordenador)»
De DAO (Demostración asistida por ordenador)
| Línea 5: | Línea 5: | ||
* [[Ejercicios]]: Relaciones de ejercicios. | * [[Ejercicios]]: Relaciones de ejercicios. | ||
* [[Documentación]]: Lecturas recomendadas. | * [[Documentación]]: Lecturas recomendadas. | ||
| − | * [ | + | * [https://tarski.cs.us.es/~jalonso/vestigium/tag/ra2012/ Diario]: Descripción diaria de las clases. |
Revisión actual del 13:27 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.