Lógica matemática y fundamentos (2014-15)
ejerciciosLMF2015
https://www.glc.us.es/~jalonso/LMF2015/index.php/L%C3%B3gica_matem%C3%A1tica_y_fundamentos_(2014-15)
MediaWiki 1.31.14
first-letter
Medio
Especial
Discusión
Usuario
Usuario discusión
Lógica matemática y fundamentos (2014-15)
Lógica matemática y fundamentos (2014-15) 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 (2014-15)
0
4
355
334
2018-07-16T12:29:36Z
WikiSysop
1
wikitext
text/x-wiki
En esta página se publicarán las relaciones de ejercicios y sus soluciones colaborativas.
* '''Relación 1(a)''': Iniciación a la programación con Haskell ([[Media:Rel_1.hs |Enunciado]]).
* '''Relación 1(b)''': Tema 1. ([[R2 |Enunciado]]).
* '''Relación 2(a)''': Sintaxis y semántica de la lógica proposicional en Haskell. ([[Media:SintaxisSemantica.hs |Enunciado]]).
* '''Relación 2(b)''': Tema 1: cuestiones ([[R2b |Enunciado]]).
* '''Relación 3''': Deducción natural proposicional con Isabelle/HOL. ([[Rel_3 |Enunciado]]).
* '''Relación 4''': Deducción natural en lógica de primer con Isabelle/HOL. ([[Rel_4 |Enunciado]]).
* '''Relación 5''': Formalización de argumentos en lógica de primer orden. ([[Rel_5 |Enunciado]]).
* '''<font style="background:#FFFF00">Relación 5 (resuelta)</font>''':[[Relación 5 (resuelta) |Solución]].
* '''Relación 6''': Sintaxis y semántica de la Lógica de primer orden ([[R6 |Enunciado]]).
* '''Relación 7''': Tableros semánticos proposicionales en Haskell. ([[Media:TablerosSemanticos.hs |Enunciado]]).
* '''Relación 8''': Cuestiones sobre tableros semánticos ([[R8 |Enunciado]]).
* '''Relación 9''': Formas normales en lógica proposicional en Haskell ([[Media:FormasNormales.hs |Enunciado]]).
* '''Relación 10''': Cuestiones. ([[R10 |Enunciado]]).
* '''Relación 11''': Cláusulas proposicionales en Haskell. ([[Media:Clausulas.hs |Enunciado]]).
* '''Relación 12''': Resolución proposicional en Haskell. ([[Media:ResolucionProposicional.hs |Enunciado]]).
* '''Relación 13''': Cuestiones. ([[R13 |Enunciado]]).
* '''Relación 14''': Argumentación y Deducción natural en lógica de primer orden.([[R14 |Enunciado]]).
* '''Relación 15''': Tableros semánticos en lógica de primer orden.([[R15 |Enunciado]]).
* '''Relación 16''': Resolución en lógica de primer orden.([[R16 |Enunciado]]).
* '''Segundo examen (resuelto)''':([[Ejercicio 4 (a) |Solución_4a]], [[Ejercicio 4 (b)|Solución_4b]],[[Ejercicio 5 (a) |Solución_5a]] y [[Ejercicio 5 (b) |Solución_5b]]).
=== Teorías Isabelle/HOL ===
* '''Tema 2''': [[Tema 2 | Deducción natural en lógica proposicional con Isabelle/HOL]].
* '''Tema 8''': [[Tema 8 | Deducción natural en lógica de primer orden con Isabelle/HOL]].
ooal5niezaebgvr9fuamurvsenk9quw