![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]
m (Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) |
|||
| Línea 1: | Línea 1: | ||
En esta página se encuentran los ejercicios para resolver de manera colaborativa que complementan al [https://www.cs.us.es/~jalonso/cursos/lmf-19/ejercicios/ejercicios-LMF-2019-20.pdf libro de ejercicios]. | En esta página se encuentran los ejercicios para resolver de manera colaborativa que complementan al [https://www.cs.us.es/~jalonso/cursos/lmf-19/ejercicios/ejercicios-LMF-2019-20.pdf libro de ejercicios]. | ||
| − | + | ||
* '''Relación 1''': Sintaxis y semántica de la lógica proposicional. ([[R1 |Enunciado]], [[Relación 1 |Solución colaborativa]], [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R1_sol.pdf Una solución]). | * '''Relación 1''': Sintaxis y semántica de la lógica proposicional. ([[R1 |Enunciado]], [[Relación 1 |Solución colaborativa]], [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R1_sol.pdf Una solución]). | ||
* '''Relación 2''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R2.thy Deducción natural proposicional con Isabelle] ([[R2 |Enunciado]], [[Relación 2 |Solución colaborativa]], [[Rel 2 |Una solución]]). | * '''Relación 2''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R2.thy Deducción natural proposicional con Isabelle] ([[R2 |Enunciado]], [[Relación 2 |Solución colaborativa]], [[Rel 2 |Una solución]]). | ||
| Línea 24: | Línea 24: | ||
* '''Relación 13''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R13.thy Recorridos de árboles.] ([[R13 |Enunciado]], [[Relación 13 |Solución colaborativa]]). | * '''Relación 13''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R13.thy Recorridos de árboles.] ([[R13 |Enunciado]], [[Relación 13 |Solución colaborativa]]). | ||
** [[Rel 13 (sol) | Una solución]] | ** [[Rel 13 (sol) | Una solución]] | ||
| − | * '''Relación 14''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R14.thy Una | + | * '''Relación 14''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R14.thy Una axiomatización de la Geometría.] ([[R14 |Enunciado]], [[Relación 14 |Solución colaborativa]]). |
** [[Rel 14 (sol) | Una solución]] | ** [[Rel 14 (sol) | Una solución]] | ||
* '''Ejercicio 3 (19-05-2020)''': ([[T3 |Enunciado]], [[T3 sol |Una solución]]). | * '''Ejercicio 3 (19-05-2020)''': ([[T3 |Enunciado]], [[T3 sol |Una solución]]). | ||
| Línea 39: | Línea 39: | ||
<!-- | <!-- | ||
** '''Nota''' Se pueden publicar las soluciones hasta el martes 31 de marzo. | ** '''Nota''' Se pueden publicar las soluciones hasta el martes 31 de marzo. | ||
| − | |||
<!-- | <!-- | ||
Revisión del 16:48 25 jul 2021
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).
- Ejercicio 1 (24-04-2020): (Enunciado, Una solución).
- 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).
- Relación 12: Razonamiento sobre programas en Isabelle/HOL(III). (Enunciado, Solución colaborativa).
- Ejercicio 2 (12-05-2020): (Enunciado, Una solución).
- Relación 13: Recorridos de árboles. (Enunciado, Solución colaborativa).
- Relación 14: Una axiomatización de la Geometría. (Enunciado, Solución colaborativa).
- Ejercicio 3 (19-05-2020): (Enunciado, Una solución).
- Relación 15: Definiciones inductivas: clausuras. (Enunciado, Solución colaborativa).
- Ejercicio 4 (26-05-2020): (Enunciado, Una solución).
- Ejercicio 5 (02-06-2020):
- Trabajo final: (Enunciado, Una solución).
- Examen (2-07-2020): (Enunciado, Una solución).
- Examen (9-09-2020): (Enunciado, Una solución).
-->