Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2012-13)
(→Ejercicios de Demostración asistida por ordenador) |
|||
| Línea 1: | Línea 1: | ||
== Ejercicios de ''Demostración asistida por ordenador'' == | == 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. | 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. ([[Rel_1 |Enunciado | + | * '''Relación 1''': Programación funcional en Isabelle. ([[Rel_1 |Enunciado]]). |
| − | * '''Relación 2''': Razonamiento sobre programas. ([[Rel_2 |Enunciado | + | * '''Relación 2''': Razonamiento sobre programas. ([[Rel_2 |Enunciado]]). |
| − | * '''Relación 3''': Deducción natural proposicional. ([[Rel_3 |Enunciado | + | * '''Relación 3''': Deducción natural proposicional. ([[Rel_3 |Enunciado]]). |
| − | * '''Relación 4''': Argumentación proposicional. ([[Rel_4 |Enunciado | + | * '''Relación 4''': Argumentación proposicional. ([[Rel_4 |Enunciado]]). |
Revisión actual del 20:54 15 jul 2018
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.