Lógica matemática y fundamentos (2017-18)
LMF2018
https://www.glc.us.es/~jalonso/LMF2018/index.php/L%C3%B3gica_matem%C3%A1tica_y_fundamentos_(2017-18)
MediaWiki 1.31.14
first-letter
Medio
Especial
Discusión
Usuario
Usuario discusión
Ejercicios de LMF
Ejercicios de LMF discusión
Archivo
Archivo discusión
MediaWiki
MediaWiki discusión
Plantilla
Plantilla discusión
Ayuda
Ayuda discusión
Categoría
Categoría discusión
Lógica matemática y fundamentos (2017-18)
0
4
218
216
2020-04-25T18:36:53Z
Jalonso
2
wikitext
text/x-wiki
== Relaciones de ejercicios ==
En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas.
* '''Relación 1''': Sintaxis y semántica de la lógica proposicional. ([[R1 |Enunciado]]).
* '''Relación 2''': Deducción natural en lógica proposicional. ([[R2 |Enunciado]]).
* '''Relación 3''': Deducción natural en lógica proposicional(2). ([[R3 |Enunciado]]).
* [http://www.cs.us.es/~mjoseh/cursos/lmf-17/ejercicios/R4.thy '''Relación 4''']: Deducción natural proposicional con Isabelle/HOL. ([[R4 |Enunciado]]).
* '''Relación 5''': Sintaxis y semántica de la Lógica de primer orden. ([[R5 |Enunciado]]).
* '''Relación 6''': Sintaxis y semántica de la Lógica de primer orden (II). ([[R6 |Enunciado]]).
* [http://www.cs.us.es/~mjoseh/cursos/lmf-17/ejercicios/R7.thy '''Relación 7''']: Deducción natural en lógica de primer orden con Isabelle/HOL. ([[R7 |Enunciado]]).
* '''Relación 8''': Tableros semánticos. ([[R8 |Enunciado]]).
* '''Relación 9''': Resolución proposicional. ([[R9 |Enunciado]]).
* '''Relación 10''': Cuestiones. ([[R10 |Enunciado]]).
* '''Relación 11''': Resolución en lógica de primer orden. ([[R11 |Enunciado]]).
=== Teorías Isabelle/HOL ===
* '''Tema 2''': [[Tema 2 | Deducción natural en lógica proposicional con Isabelle/HOL]].
* '''Tema 8a''': [[Tema 8a | Deducción natural en lógica de primer orden con Isabelle/HOL]].
<!--
* '''Tema 14''': [[Tema 14 | Programación funcional en Isabelle/HOL]] ([[Media:T14.thy |Teoría]]).
* '''Tema 15''': [[Tema 15 | Razonamiento sobre programas con Isabelle/HOL]] ([[Media:T15.thy |Teoría]]).
21w1o68lcvlyayu3xmynv4qls90yppp