DAO (Demostración asistida por ordenador)

DAO (Demostración asistida por ordenador)

De DAO (Demostración asistida por ordenador)

Revisión del 21:31 26 feb 2013 de Jalonso (discusión | contribuciones) (→‎Material para el curso)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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.

Obtenido de «https://www.glc.us.es/~jalonso/DAO/index.php?title=DAO_(Demostración_asistida_por_ordenador)&oldid=10»