Ejercicios
De Seminario de Lógica Computacional (2018)
Revisión del 20:53 21 feb 2018 de WikiSysop (discusión | contribuciones) (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios propuestos === En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma co...')
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).