![Lógica matemática y fundamentos [Curso 2019-20]](/~jalonso/imagenes/logoUS.jpg)
Diferencia entre revisiones de «Ejercicios»
De Lógica matemática y fundamentos [Curso 2019-20]
| 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]]). | * '''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]] | ** [[Rel 8 (rev 1) | Primera corrección]] | ||
| + | ** [[Rel 8 (sol) | Una solució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]]). | * '''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]]). | ||
** [[Rel 9 (rev 1) | Primera corrección]] | ** [[Rel 9 (rev 1) | Primera corrección]] | ||
| + | ** [[Rel 9 (sol) | Una solución]] | ||
* '''Relación 10''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R10.thy Razonamiento sobre programas en Isabelle/HOL.] ([[R10 |Enunciado]], [[Relación 10 |Solución colaborativa]]). | * '''Relación 10''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R10.thy Razonamiento sobre programas en Isabelle/HOL.] ([[R10 |Enunciado]], [[Relación 10 |Solución colaborativa]]). | ||
* '''Relación 11''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R11.thy Razonamiento sobre programas en Isabelle/HOL(II).] ([[R11 |Enunciado]], [[Relación 11 |Solución colaborativa]]). | * '''Relación 11''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R11.thy Razonamiento sobre programas en Isabelle/HOL(II).] ([[R11 |Enunciado]], [[Relación 11 |Solución colaborativa]]). | ||
Revisión del 12:09 23 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).
- Relación 9: Programación funcional en Isabelle/HOL (II). (Enunciado, Solución colaborativa).
- Relación 10: Razonamiento sobre programas en Isabelle/HOL. (Enunciado, Solución colaborativa).
- Relación 11: Razonamiento sobre programas en Isabelle/HOL(II). (Enunciado, Solución colaborativa).