![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 6: | Línea 6: | ||
* '''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]], [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R4_sol.pdf Una solución]).). | * '''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]], [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R4_sol.pdf Una solución]).). | ||
* '''Relación 5''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R5.thy Deducción natural en lógica de primer orden.] ([[R5 |Enunciado]], [[Relación 5 |Solución colaborativa]], [[Rel 5 |Una solución]]). | * '''Relación 5''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R5.thy Deducción natural en lógica de primer orden.] ([[R5 |Enunciado]], [[Relación 5 |Solución colaborativa]], [[Rel 5 |Una solución]]). | ||
| − | * '''Relación 6''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R6.thy Formalización y argumentación con Isabelle/HOL.] ([[R6 |Enunciado]], [[Relación 6 |Solución colaborativa]]). | + | * '''Relación 6''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R6.thy Formalización y argumentación con Isabelle/HOL.] ([[R6 |Enunciado]], [[Relación 6 |Solución colaborativa]] , [[Rel 6 |Una solución]]). |
| + | * '''Relación 7''': [https://www.cs.us.es/~mjoseh/cursos/lmf-19/relaciones-ejercicios/R7.thy Lógica de de primer orden con igualdad: deducción natural,formalización y argumentación con Isabelle/HOL.] ([[R7 |Enunciado]], [[Relación 7 |Solución colaborativa]]). | ||
| + | <!-- | ||
** '''Nota''' Se pueden publicar las soluciones hasta el martes 31 de marzo. | ** '''Nota''' Se pueden publicar las soluciones hasta el martes 31 de marzo. | ||
| + | --> | ||
<!-- | <!-- | ||
Revisión del 08:46 31 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, 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, Una solución).).
- Relación 5: Deducción natural en lógica de primer orden. (Enunciado, Solución colaborativa, Una solución).
- Relación 6: Formalización y argumentación con Isabelle/HOL. (Enunciado, Solución colaborativa , Una solución).
- Relación 7: Lógica de de primer orden con igualdad: deducción natural,formalización y argumentación con Isabelle/HOL. (Enunciado, Solución colaborativa).