Diferencia entre revisiones de «Ejercicios»

Revisión del 17:44 13 abr 2020

En esta página se encuentran los ejercicios para resolver de manera colaborativa que complementan al libro de ejercicios.

Relación 1: Sintaxis y semántica de la lógica proposicional. (Enunciado, Solución colaborativa, Una solución).
Relación 2: Deducción natural proposicional con Isabelle (Enunciado, Solución colaborativa, Una solución).
Relación 3: Deducción natural proposicional con Isabelle (II) (Enunciado, Solución colaborativa, Una solución).
Relación 4: Sintaxis y semántica de la lógica de primer orden. (Enunciado, Solución colaborativa, Una solución).).
Relación 5: Deducción natural en lógica de primer orden. (Enunciado, Solución colaborativa, Una solución).
Relación 6: Formalización y argumentación con Isabelle/HOL. (Enunciado, Solución colaborativa , Una solución).
Relación 7: Deducción natural,formalización y argumentación en LPO con Isabelle/HOL. (Enunciado, Solución colaborativa).
Relación 8: Programación funcional en Isabelle/HOL. (Enunciado, Solución colaborativa).
- Primera corrección
Relación 9: Programación funcional en Isabelle/HOL (II). (Enunciado, Solución colaborativa).

@@ Línea 10: / Línea 10: @@
 * '''Relación 8''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R8.thy Programación funcional en  Isabelle/HOL.] ([[R8 |Enunciado]], [[Relación 8 |Solución colaborativa]]).
 ** [[Rel 8 (rev 1) | Primera corrección]]
+* '''Relación 9''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R9.thy Programación funcional en  Isabelle/HOL (II).] ([[R9 |Enunciado]], [[Relación 9 |Solución colaborativa]]).
 <!--
 ** '''Nota''' Se pueden publicar las soluciones hasta el martes 31 de marzo.