Ejercicios
De Seminario de Lógica Computacional (2018)
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 Coq. (Enunciado y Solución colaborativa).
- Relación 2: Demostraciones por inducción en Coq. (Enunciado y Solución colaborativa).