Ejercicios
De Razonamiento automático (2017-18)
Revisión del 09:48 14 dic 2017 de Jalonso (discusión | contribuciones) (→Relaciones de ejercicios propuestos)
Relaciones de ejercicios
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: Cuantificadores sobre listas. (Enunciado y Solución colaborativa).
- Relación 5: Recorridos de árboles. (Enunciado y Solución colaborativa).
- Se pueden escribir soluciones hasta las 9:00 del jueves 21 de diciembre.