Ejercicios
De Razonamiento automático (2013-14)
Revisión del 21:27 6 nov 2013 de Jalonso (discusión | contribuciones) (→Relaciones de ejercicios propuestos)
Relaciones de ejercicios
Relaciones de ejercicios corregidos
En esta sección se encuentran las relaciones de ejercicios corregidos en las clases.
Relaciones de ejercicios propuestos
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/HOL. (Enunciado y Solución colaborativa).