jose-a-alonso documents

Tema 2: Introducción a la programación con Haskell
Education Tema 2: Introducción a la programación con Haskell
Tema 9: Declaraciones de tipos y clases en Haskell
Education Tema 9: Declaraciones de tipos y clases en Haskell
LMF-T3: Tableros semánticos
Education LMF-T3: Tableros semánticos
Tema 6: Definiciones por recursión en Haskell
Education Tema 6: Definiciones por recursión en Haskell
Tema 1: Introducción a la programación funcional
Education Tema 1: Introducción a la programación funcional
LI2011-T11: Resolución en lógica de primer orden
Education LI2011-T11: Resolución en lógica de primer orden
Tema 11: Aplicaciones de la programación funcional con Haskell
Education Tema 11: Aplicaciones de la programación funcional con Haskell
Tema 7: Funciones de orden superior en Haskell
Education Tema 7: Funciones de orden superior en Haskell
LI2011-T3: Tableros semánticos proposicionales
Education LI2011-T3: Tableros semánticos proposicionales
LIT4: Formales normales conjuntivas y disyuntivas
Education LIT4: Formales normales conjuntivas y disyuntivas
LMF-T5b: Aplicaciones de la lógica proposicional
Education LMF-T5b: Aplicaciones de la lógica proposicional
LI2011-T9: Formas normales de Skolem y cláusulas
Education LI2011-T9: Formas normales de Skolem y cláusulas
LI-T6: Sintaxis y semántica de la lógica de primer orden
Education LI-T6: Sintaxis y semántica de la lógica de primer orden
I1M2010-T23: Técnicas de diseño descendente de algoritmos
Education I1M2010-T23: Técnicas de diseño descendente de algoritmos
LI2011-T1: Sintaxis y semántica de la lógica proposicional
Education LI2011-T1: Sintaxis y semántica de la lógica proposicional
I1M2011-T4: Definición de funciones en Haskell
Education I1M2011-T4: Definición de funciones en Haskell
Tema 3: Tipos y clases en Haskell
Education Tema 3: Tipos y clases en Haskell
LI-T5b: Algoritmos para SAT. Aplicaciones
Education LI-T5b: Algoritmos para SAT. Aplicaciones
I1M2010-T22: Algoritmos sobre grafos en Haskell
Education I1M2010-T22: Algoritmos sobre grafos en Haskell
LI2011-T7: Deducción natural en lógica de primer orden
Education LI2011-T7: Deducción natural en lógica de primer orden
LMF-T1: Sintaxis y semántica de la lógica proposicional
Education LMF-T1: Sintaxis y semántica de la lógica proposicional