Acciones

Diferencia entre revisiones de «Ejercicios»

De Lógica matemática y fundamentos [Curso 2019-20]

Línea 21: Línea 21:
 
* '''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]], [[Relación 12 |Solución colaborativa]]).
 
* '''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]], [[Relación 12 |Solución colaborativa]]).
 
** [[Rel 12 (sol) | Una solución]]
 
** [[Rel 12 (sol) | Una solución]]
 +
* '''Ejercicio 2 (12-05-2020)''': ([[T2 |Enunciado]], [[T2 sol |Una solución]]).
 
* '''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]]).
 
<!--
 
<!--

Revisión del 18:04 18 may 2020

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