#Exercitium: Problemas de programación con Haskell (marzo de 2019). https://jaalonso.github.io/exercitium/2019/03 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell (marzo de 2019). https://jaalonso.github.io/exercitium/2019/03 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell (abril de 2019). https://jaalonso.github.io/exercitium/2019/04 #Haskell #ProgramaciónFuncional #matematicas
#Exercitium: Problemas de programación con Haskell (mayo de 2019). https://jaalonso.github.io/exercitium/2019/05 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell (junio de 2019). https://jaalonso.github.io/exercitium/2019/06 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de noviembre de 2019. https://jaalonso.github.io/exercitium/2019/11 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de diciembre de 2019. https://jaalonso.github.io/exercitium/2019/12 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de enero de 2020. https://jaalonso.github.io/exercitium/2020/01 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de febrero de 2020. https://jaalonso.github.io/exercitium/2020/02 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de marzo de 2020. https://jaalonso.github.io/exercitium/2020/03 #Haskell #ProgramaciónFuncional #Matemáticas
#Exercitium: Problemas de programación con Haskell de abril de 2020. https://jaalonso.github.io/exercitium/2020/04 #Haskell #ProgramaciónFuncional #Matemáticas
Cursos impartidos con materiales completos: apuntes, ejercicios y exámenes resueltos. Áreas: #Lógica, #ProgramaciónLógica, #ProgramaciónFuncional, #IA, #RazonamientoAutomático. https://jaalonso.github.io/cursos
Curso "Lógica matemática y fundamentos (2019-20)". https://jaalonso.github.io/cursos/lmf-19 #Lógica #ProgramaciónFuncional #IsabelleHOL
Exámenes de programación funcional con Haskell (curso 2019-20). https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol11/master/Libro/Examenes_de_PF_con_Haskell_Vol11.pdf #Haskell #ProgramaciónFuncional
Ejercicios de programación funcional con Haskell (curso 2019-20). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-19/ejercicios/ejercicios-I1M-2019.pdf #Haskell #ProgramaciónFuncional
Curso "Razonamiento automático (2018-19)". https://jaalonso.github.io/cursos/m-ra-18 #DemostraciónInteractiva #ProgramaciónFuncional #IsabelleHOL #Coq
Curso "Lógica matemática y fundamentos (2018-19)". https://jaalonso.github.io/cursos/lmf-18 #Lógica #ProgramaciónFuncional #IsabelleHOL
Exámenes de programación funcional con Haskell (curso 2018-19). https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol10/master/Libro/Examenes_de_PF_con_Haskell_Vol10.pdf #Haskell #ProgramaciónFuncional
Ejercicios de programación funcional con Haskell (curso 2018-19). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-18/ejercicios/ejercicios-I1M-2018.pdf #Haskell #ProgramaciónFuncional