![Lógica matemática y fundamentos [Curso 2019-20]](/~jalonso/imagenes/logoUS.jpg)
Diferencia entre revisiones de «Ejercicios»
De Lógica matemática y fundamentos [Curso 2019-20]
| 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]. | 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]] y [[Relación 1 |Solución colaborativa]], | + | * '''Relación 1''': Sintaxis y semántica de la lógica proposicional. ([[R1 |Enunciado]] y [[Relación 1 |Solución colaborativa]],[https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R1_sol.pdf Una solución]). |
| − | [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R1_sol.pdf | ||
* '''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]]). | * '''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]]). | ||
* '''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]], [[Rel 3 |Una solución]]). | * '''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]], [[Rel 3 |Una solución]]). | ||
Revisión del 18:07 18 mar 2020
En esta página se encuentran los ejercicios para resolver de manera colaborativa que complementan al libro de ejercicios.
- Relación 1: Sintaxis y semántica de la lógica proposicional. (Enunciado y Solución colaborativa,Una solución).
- Relación 2: Deducción natural proposicional con Isabelle (Enunciado, Solución colaborativa, Una solución).
- Relación 3: Deducción natural proposicional con Isabelle (II) (Enunciado, Solución colaborativa, Una solución).
- Relación 4: Sintaxis y semántica de la lógica de primer orden. (Enunciado, Solución colaborativa).
- Relación 5: Deducción natural en lógica de primer orden. (Enunciado, Solución colaborativa).
- Nota Se pueden publicar las soluciones hasta el martes 24 de marzo.