Seminario de Lógica Computacional (2018) 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).