Ejercicios
De Demostración asistida por ordenador (2012-13)
Revisión del 18:16 27 nov 2012 de Jalonso (discusión | contribuciones) (→Ejercicios de Demostración asistida por ordenador)
Ejercicios de Demostración asistida por ordenador
En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.
- Relación 1: Programación funcional en Isabelle. (Enunciado y Solución colaborativa).