Diferencia entre revisiones de «Ejercicios»
De Lógica matemática y fundamentos [Curso 2019-20]
(No se muestran 43 ediciones intermedias de 2 usuarios) | |||
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]] y [ | + | * '''Relación 1''': Sintaxis y semántica de la lógica proposicional. ([[R1 |Enunciado]] y [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R1_sol.pdf 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''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R2.thy Deducción natural proposicional con Isabelle] ([[R2 |Enunciado]] y [[Rel 2 |solución]]). |
− | * '''Relación 3''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R3.thy Deducción natural proposicional con Isabelle (II)] ([[R3 |Enunciado]] | + | * '''Relación 3''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R3.thy Deducción natural proposicional con Isabelle (II)] ([[R3 |Enunciado]] y [[Rel 3 |solución]]). |
− | * '''Relación 4''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R4.thy Sintaxis y semántica de la lógica de primer orden.] ([[R4 |Enunciado]] | + | * '''Relación 4''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R4.thy Sintaxis y semántica de la lógica de primer orden.] ([[R4 |Enunciado]] y [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R4_sol.pdf solución]).). |
− | * '''Relación 5''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R5.thy Deducción natural en lógica de primer orden.] ([[R5 |Enunciado]] | + | * '''Relación 5''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R5.thy Deducción natural en lógica de primer orden.] ([[R5 |Enunciado]] y [[Rel 5 |solución]]). |
− | + | * '''Relación 6''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R6.thy Formalización y argumentación con Isabelle/HOL.] ([[R6 |Enunciado]] y [[Rel 6 |solución]]). | |
− | + | * '''Relación 7''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R7.thy Deducción natural,formalización y argumentación en LPO con Isabelle/HOL.] ([[R7 |Enunciado]]). | |
− | * '''Relación | + | * '''Relación 8''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R8.thy Programación funcional en Isabelle/HOL.] ([[R8 |Enunciado]] y [[Rel 8 (sol) |solución]]). |
− | * '''Relació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]] y [[Rel 9 (sol) |solución]]). |
− | + | * '''Tarea 1 (24-04-2020)''': ([[T1 |Enunciado]] y [[T1 sol |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]] y [[Rel 10 (sol) |solución]]). | |
− | * '''Relación | + | * '''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]] y [[Rel 11 (sol) |solución]]). |
− | * '''Relación | + | * '''Relación 12''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R12.thy Razonamiento sobre programas en Isabelle/HOL(III).] ([[R12 |Enunciado]] y [[Rel 12 (sol) |solución]]). |
− | * ''' | + | * '''Tarea 2 (12-05-2020)''': ([[T2 |Enunciado]] y [[T2 sol |solución]]). |
− | * '''Relación | + | * '''Relación 13''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R13.thy Recorridos de árboles.] ([[R13 |Enunciado]] y [[Rel 13 (sol) |solución]]). |
− | * '''Relación | + | * '''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]] y [[Rel 14 (sol) |solución]]). |
− | * '''Relación | + | * '''Tarea 3 (19-05-2020)''': ([[T3 |Enunciado]] y [[T3 sol |solución]]). |
− | * '''Relación | + | * '''Relación 15''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R15.thy Definiciones inductivas: clausuras.] ([[R15 |Enunciado]] y [[Rel 15 (sol) |solución]] |
− | * '''Relación | + | * '''Tarea 4 (26-05-2020)''': ([[T4 |Enunciado]] y [[T4 sol |solución]]). |
− | * '''Relación | + | * '''Tarea 5 (02-06-2020)''': ([[T5-1 |Enunciado (1)]] y [[T5-1 sol |solución]]) y ([[T5-2 |Enunciado (2)]] y [[T5-2 sol |solución]]). |
− | * ''' | + | * '''Trabajo final''': ([[TF |Enunciado]] y [[TF sol |solución]]). |
− | -- | + | * '''Examen (2-07-2020)''': ([[Examen 1C |Enunciado]] y [[Examen 1C sol |solución]]). |
+ | * '''Examen (9-09-2020)''': ([[Examen 2C |Enunciado]] y [[Examen 2C sol |solución]]). |
Revisión actual del 17:07 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 y solución).
- Relación 2: Deducción natural proposicional con Isabelle (Enunciado y solución).
- Relación 3: Deducción natural proposicional con Isabelle (II) (Enunciado y solución).
- Relación 4: Sintaxis y semántica de la lógica de primer orden. (Enunciado y solución).).
- Relación 5: Deducción natural en lógica de primer orden. (Enunciado y solución).
- Relación 6: Formalización y argumentación con Isabelle/HOL. (Enunciado y solución).
- Relación 7: Deducción natural,formalización y argumentación en LPO con Isabelle/HOL. (Enunciado).
- Relación 8: Programación funcional en Isabelle/HOL. (Enunciado y solución).
- Relación 9: Programación funcional en Isabelle/HOL (II). (Enunciado y solución).
- Tarea 1 (24-04-2020): (Enunciado y solución).
- Relación 10: Razonamiento sobre programas en Isabelle/HOL. (Enunciado y solución).
- Relación 11: Razonamiento sobre programas en Isabelle/HOL(II). (Enunciado y solución).
- Relación 12: Razonamiento sobre programas en Isabelle/HOL(III). (Enunciado y solución).
- Tarea 2 (12-05-2020): (Enunciado y solución).
- Relación 13: Recorridos de árboles. (Enunciado y solución).
- Relación 14: Una axiomatización de la Geometría. (Enunciado y solución).
- Tarea 3 (19-05-2020): (Enunciado y solución).
- Relación 15: Definiciones inductivas: clausuras. (Enunciado y solución
- Tarea 4 (26-05-2020): (Enunciado y solución).
- Tarea 5 (02-06-2020): (Enunciado (1) y solución) y (Enunciado (2) y solución).
- Trabajo final: (Enunciado y solución).
- Examen (2-07-2020): (Enunciado y solución).
- Examen (9-09-2020): (Enunciado y solución).