Acciones

Diferencia entre revisiones de «Ejercicios»

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

Línea 4: Línea 4:
 
* '''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]]).
 
* '''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]]).
 
* '''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 |Solución colaborativa]]).
 
* '''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 |Solución colaborativa]]).
* '''Relación 3''': [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 |Solución colaborativa]]).
+
* '''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 |Solución colaborativa]]).
  
  

Revisión del 09:04 8 mar 2020

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