Ejercicios RA2013
De DAO (Demostración asistida por ordenador)
Revisión del 20:46 25 feb 2013 de Jalonso (discusión | contribuciones) (Página creada con '== Ejercicios de ''Demostración asistida por ordenador'' == En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por l...')
Ejercicios de Demostración asistida por ordenador
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. (Enunciado y Solución colaborativa).
- Relación 2: Razonamiento sobre programas. (Enunciado y Solución colaborativa).
- Relación 3: Deducción natural proposicional. (Enunciado y Solución colaborativa).
- Relación 4: Argumentación proposicional. (Enunciado y Solución colaborativa).