#ProgramaciónFuncional - Mathstodon

Recent searches

Search options

Only available when logged in.

6 posts6 participants1 post today

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 13, 2014Órbita primaLa órbita prima de un número n es la sucesión construida de la siguiente forma: si n es compuesto su órbita no tiene elementos si n es primo, entonces n está en su órbita; además, sumamos n y sus díg

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 12, 2014Ordenada cíclicamenteSe dice que una sucesión x(1), ..., x(n) está ordenada cíclicamente si existe un índice i tal que la sucesión x(i), x(i+1), ..., x(n), x(1), ..., x(i-1) está ordenada creciente de forma estricta. De

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 11, 2014Eliminación de las ocurrencias aisladasDefinir la función eliminaAisladas :: Eq a => a -> [a] -> [a] tal que (eliminaAisladas x ys) es la lista obtenida eliminando de ys las ocurrencias aisladas de x (es decir, aquellas ocurrencias de x

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 10, 2014Emparejamiento de árbolesLos árboles se pueden representar mediante el siguiente tipo de datos data Arbol a = N a [Arbol a] deriving (Show, Eq) Por ejemplo, los árboles 1 3 / \ /|\ 6 3

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 9, 2014Separación por posiciónDefinir la función particion :: [a] -> ([a],[a]) tal que (particion xs) es el par cuya primera componente son los elementos de xs en posiciones pares y su segunda componente son los restantes elemen

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 6, 2014Número de inversionesSe dice que en una sucesión de números x(1), x(2), ..., x(n) hay una inversión cuando existe un par de números x(i) > x(j), siendo i < j. Por ejemplo, en la permutación 2, 1, 4, 3 hay dos inversiones

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 5, 2014Descomposiciones triangularesLos números triangulares se forman como sigue * * * * * * * * * * 1 3 6 La sucesión de los números triangulares se obtiene sumando los números naturales. Así, lo

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 4, 2014Índices de valores verdaderosDefinir la función indicesVerdaderos :: [Int] -> [Bool] tal que (indicesVerdaderos xs) es la lista infinita de booleanos tal que sólo son verdaderos los elementos cuyos índices pertenecen a la lista

José A. Alonso @Jose_A_Alonso

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

Exercitium · Jun 3, 2014Código de las alergiasPara la determinación de las alergia se utiliza los siguientes códigos para los alérgenos: Huevos ........ 1 Cacahuetes .... 2 Mariscos ...... 4 Fresas ........ 8 Tomates ....... 16 Chocolate

José A. Alonso @Jose_A_Alonso

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

Exercitium · May 30, 2014Reiteración de una funciónDefinir la función reiteracion :: (a -> a) -> Int -> a -> a tal que (reiteracion f n x) es el resultado de aplicar n veces la función f a x. Por ejemplo, reiteracion (+1) 10 5 == 15 reiteracion (+

José A. Alonso @Jose_A_Alonso

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

José A. Alonso @Jose_A_Alonso

#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

Exercitium · May 29, 2014Elementos de una matriz con algún vecino menorLas matrices puede representarse mediante tablas cuyos índices son pares de números naturales. Su tipo se define por type Matriz = Array (Int,Int) Int Por ejemplo, la matriz |9 4 6 5| |8 1 7 3| |4 2

José A. Alonso @Jose_A_Alonso

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

Vestigium · Apr 6Readings shared April 6, 2025The readings shared in Bluesky on 6 April 2025 are Prolog vs LLMs: A complementary approach to AI (according to DeepSeek). #Prolog #LogicProgramming #LLMs #AI #Exercitium: Enumeración de árboles bina

José A. Alonso @Jose_A_Alonso

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

Exercitium · May 28, 2014Enumeración de árboles binariosLos árboles binarios se pueden representar mediante el tipo Arbol definido por data Arbol a = H a | N (Arbol a) a (Arbol a) deriving Show Por ejemplo, el árbol "B"

José A. Alonso @Jose_A_Alonso

#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

Exercitium · May 27, 2014Números triangulares con n cifras distintasLos números triangulares se forman como sigue * * * * * * * * * * 1 3 6 La sucesión de los números triangulares se obtiene sumando los números natura

José A. Alonso @Jose_A_Alonso

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

web.archive.orgWayback Machine

José A. Alonso @Jose_A_Alonso

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

web.archive.orgWayback Machine

José A. Alonso @Jose_A_Alonso

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

web.archive.orgWayback Machine

José A. Alonso @Jose_A_Alonso

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

José A. Alonso @Jose_A_Alonso

#Exercitium: Trenzado de listas. https://jaalonso.github.io/exercitium/posts/2014/05/26-trenzado_de_listas/ #Haskell #ProgramaciónFuncional

Exercitium · May 26, 2014Trenzado de listasDefinir la función trenza :: [a] -> [a] -> [a] tal que (trenza xs ys) es la lista obtenida intercalando los elementos de xs e ys. Por ejemplo, trenza [5,1] [2,7,4] == [5,2,1,7]

Drag & drop to upload