Diferencia entre revisiones de «Ejercicios»

Revisión del 12:16 21 ene 2021

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

@@ 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].
+<!--
 * '''Relación 1''': Sintaxis y semántica de la lógica proposicional. ([[R1 |Enunciado]], [[Relación 1 |Solución colaborativa]], [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R1_sol.pdf Una 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 |Solución colaborativa]], [[Rel 2 |Una solución]]).
@@ Línea 36: / Línea 36: @@
 * '''Examen (2-07-2020)''': ([[Examen 1C |Enunciado]], [[Examen 1C sol |Una solución]]).
 * '''Examen (9-09-2020)''': ([[Examen 2C |Enunciado]], [[Examen 2C sol |Una solución]]).
+-->
 <!--
 ** '''Nota''' Se pueden publicar las soluciones hasta el martes 31 de marzo.