Acciones

Diferencia entre revisiones de «Ejercicios»

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

Línea 26: Línea 26:
 
* '''Relación 14''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R14.thy Una axiomátización de la Geometría.] ([[R14 |Enunciado]], [[Relación 14 |Solución colaborativa]]).
 
* '''Relación 14''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R14.thy Una axiomátizació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]]).
 
* '''Relación 15''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R15.thy Definiciones inductivas: clausuras.] ([[R15 |Enunciado]], [[Relación 15 |Solución colaborativa]]).
 
* '''Relación 15''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R15.thy Definiciones inductivas: clausuras.] ([[R15 |Enunciado]], [[Relación 15 |Solución colaborativa]]).
  

Revisión del 11:37 28 may 2020

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