Lógica Matemática y fundamentos (2015-16) ejerciciosLMF2016 https://www.glc.us.es/~jalonso/LMF2016/index.php/L%C3%B3gica_matem%C3%A1tica_y_fundamentos_(2015-16) MediaWiki 1.31.14 first-letter Medio Especial Discusión Usuario Usuario discusión Lógica Matemática y fundamentos (2015-16) Lógica Matemática y fundamentos (2015-16) discusión Archivo Archivo discusión MediaWiki MediaWiki discusión Plantilla Plantilla discusión Ayuda Ayuda discusión Categoría Categoría discusión 0 4 241 223 2018-07-16T12:40:27Z 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]]). * '''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''': Cuestiones. ([[R9 |Enunciado]]). * '''Relación 10''': Tableros semánticos en lógica de primer orden.([[R10 |Enunciado]]). * '''Relación 11''': Formas normales en lógica proposicional en Haskell ([[Media:FormasNormales.hs |Enunciado]]). * '''Relación 12''': Cláusulas proposicionales en Haskell. ([[Media:Clausulas.hs |Enunciado]]). * '''Relación 13''': Cuestiones. ([[R13 |Enunciado]]). * '''Relación 14''': Resolución proposicional en Haskell. ([[Media:ResolucionProposicional.hs |Enunciado]]). * '''Relación 15''': Ejercicios de Lógica proposicional. ([[R15 sol | Una solución ]]). * '''Relación 16''': Resolución en Lógica de primer orden. ([[R16 sol | Una solución ]]). qrtqou0h9gygg617dopiwulxbd42g1p