Acciones

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]] y [[Rel 8 (sol) |solució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 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]]).
 
* '''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]]).
* '''Ejercicio evaluable 1 (24-04-2020)''': ([[T1 |Enunciado]] y [[T1 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 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 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 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 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]]).
 
* '''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]]).
* '''Ejercicio evaluable 2 (12-05-2020)''': ([[T2 |Enunciado]] y [[T2 sol |solución]]).
+
* '''Tarea 2 (12-05-2020)''': ([[T2 |Enunciado]] y [[T2 sol |solució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 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 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 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]]).
* '''Ejercicio evaluable 3 (19-05-2020)''': ([[T3 |Enunciado]] y [[T3 sol |solución]]).
+
* '''Tarea 3 (19-05-2020)''': ([[T3 |Enunciado]] y [[T3 sol |solució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 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]]
* '''Ejercicio evaluable 4 (26-05-2020)''': ([[T4 |Enunciado]] y [[T4 sol |solución]]).
+
* '''Tarea 4 (26-05-2020)''': ([[T4 |Enunciado]] y [[T4 sol |solución]]).
* '''Ejercicio evaluable 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]]).
+
* '''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]]).
 
* '''Trabajo final''': ([[TF |Enunciado]] y [[TF sol |solución]]).
 
* '''Examen (2-07-2020)''': ([[Examen 1C |Enunciado]] y [[Examen 1C 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]]).
 
* '''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.