Ejercicios
De Razonamiento automático (2013-14)
Revisión del 23:09 27 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).
- Relación 2: Razonamiento automático sobre programas en Isabelle/HOL. (Enunciado y Solución colaborativa).
- Relación 3: Razonamiento estructurado sobre programas en Isabelle/HOL. (Enunciado y Solución colaborativa).
- Relación 4: Cons inverso. (Enunciado y Solución colaborativa).
- Relación 5: Cuantificadores sobre listas. (Enunciado y Solución colaborativa).