Ejercicios
De Demostración automática de teoremas (2014-15)
Revisión del 11:33 3 mar 2015 de Fjesus (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: Deducción natural proposicional en Isabelle/HOL. (Enunciado y Solución colaborativa).