Diferencia entre revisiones de «Ejercicios»
De Demostración asistida por ordenador (2012-13)
(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...') |
|||
| (No se muestran 5 ediciones intermedias del mismo usuario) | |||
| 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. ([[ | + | * '''Relación 1''': Programación funcional en Isabelle. ([[Rel_1 |Enunciado]]). |
| + | * '''Relación 2''': Razonamiento sobre programas. ([[Rel_2 |Enunciado]]). | ||
| + | * '''Relación 3''': Deducción natural proposicional. ([[Rel_3 |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.