#Exercitium: Divisores de un número con final dado. https://jaalonso.github.io/exercitium/posts/2014/06/16-divisores_con_final/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Órbita prima. https://jaalonso.github.io/exercitium/posts/2014/06/13-orbita_prima/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Ordenada cíclicamente. https://jaalonso.github.io/exercitium/posts/2014/06/12-ordenada_ciclicamente/ #Haskell #ProgramaciónFuncional

#Exercitium: Eliminación de las ocurrencias aisladas. https://jaalonso.github.io/exercitium/posts/2014/06/11-elimina_aisladas/ #Haskell #ProgramaciónFuncional

#Exercitium: Emparejamiento de árboles. https://jaalonso.github.io/exercitium/posts/2014/06/10-emparejamiento_de_arboles/ #Haskell #ProgramaciónFuncional

#Exercitium: Separación por posición. https://jaalonso.github.io/exercitium/posts/2014/06/09-separacion_por_posicion/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Número de inversiones. https://jaalonso.github.io/exercitium/posts/2014/06/06-numero_de_inversiones/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Descomposiciones triangulares. https://jaalonso.github.io/exercitium/posts/2014/06/05-descomposiciones_triangulares/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Índices de valores verdaderos. https://jaalonso.github.io/exercitium/posts/2014/06/04-indices_verdaderos/ #Haskell #ProgramaciónFuncional

#Exercitium: Código de las alergias. https://jaalonso.github.io/exercitium/posts/2014/06/03-alergias/ #Haskell #ProgramaciónFuncional #Matemáticas

#Exercitium: Reiteración de una función. https://jaalonso.github.io/exercitium/posts/2014/05/30-reiteracion_de_funciones/ #Haskell #ProgramaciónFuncional #Matemáticas

Curso "Lógica matemática y fundamentos (2011-12)". https://jaalonso.github.io/cursos/lmf-11 #Lógica #Haskell #ProgramaciónFuncional

#Exercitium: Elementos de una matriz con algún vecino menor. https://jaalonso.github.io/exercitium/posts/2014/05/29-algun_vecino_menor/ #Haskell #ProgramaciónFuncional #Matemáticas

Readings shared April 6, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25 #AI #Haskell #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #ProgramaciónFuncional #Prolog

#Exercitium: Enumeración de árboles binarios. https://jaalonso.github.io/exercitium/posts/2014/05/28-enumera_arbol/ #Haskell #ProgramaciónFuncional

#Exercitium: Números triangulares con n cifras distintas. https://jaalonso.github.io/exercitium/posts/2014/05/27-triangulares_con_cifras/ #Haskell #ProgramaciónFuncional #Matemáticas

Exámenes de programación funcional con Haskell (curso 2011–12). https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol3/master/Libro/Examenes_de_PF_con_Haskell_Vol3.pdf #Haskell #ProgramaciónFuncional

Ejercicios de programación funcional con Haskell (curso 2011–12). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-11/ejercicios/ejercicios-I1M-2011.pdf #Haskell #ProgramaciónFuncional

Temas de "Programación funcional" (2011-12). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-11/temas/2011-12-IM-temas-PF.pdf #Haskell #ProgramaciónFuncional

Curso "Informática (2011-12)". https://jaalonso.github.io/cursos/i1m-11 #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima