José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Divisores de un número con final dado. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/16-divisores_con_final/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/16-divisores_con_final/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.8Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#programacionfuncional
5 posts · 5 participants · 0 posts today
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Órbita prima. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/13-orbita_prima/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/13-orbita_prima/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Ordenada cíclicamente. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/12-ordenada_ciclicamente/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/12-ordenada_ciclicamente/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Eliminación de las ocurrencias aisladas. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/11-elimina_aisladas/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/11-elimina_aisladas/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Emparejamiento de árboles. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/10-emparejamiento_de_arboles/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/10-emparejamiento_de_arboles/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Separación por posición. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/09-separacion_por_posicion/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/09-separacion_por_posicion/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Número de inversiones. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/06-numero_de_inversiones/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/06-numero_de_inversiones/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Descomposiciones triangulares. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/05-descomposiciones_triangulares/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/05-descomposiciones_triangulares/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Índices de valores verdaderos. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/04-indices_verdaderos/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/04-indices_verdaderos/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Código de las alergias. <a href="https://jaalonso.github.io/exercitium/posts/2014/06/03-alergias/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/06/03-alergias/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Reiteración de una función. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/30-reiteracion_de_funciones/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/30-reiteracion_de_funciones/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Curso "Lógica matemática y fundamentos (2011-12)". <a href="https://jaalonso.github.io/cursos/lmf-11" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/lmf-</span><span class="invisible">11</span></a> <a href="https://mathstodon.xyz/tags/L%C3%B3gica" class="mention hashtag" rel="tag">#<span>Lógica</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Elementos de una matriz con algún vecino menor. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/29-algun_vecino_menor/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/29-algun_vecino_menor/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Readings shared April 6, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/06-readings_shared_04-06-25" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/06-readings_shared_04-06-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="tag">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="tag">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="tag">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="tag">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="tag">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="tag">#<span>Prolog</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Enumeración de árboles binarios. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/28-enumera_arbol/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/28-enumera_arbol/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p><a href="https://mathstodon.xyz/tags/Exercitium" class="mention hashtag" rel="tag">#<span>Exercitium</span></a>: Números triangulares con n cifras distintas. <a href="https://jaalonso.github.io/exercitium/posts/2014/05/27-triangulares_con_cifras/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/exercitium/</span><span class="invisible">posts/2014/05/27-triangulares_con_cifras/</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Matem%C3%A1ticas" class="mention hashtag" rel="tag">#<span>Matemáticas</span></a></p>
José A. Alonso<p>Exámenes de programación funcional con Haskell (curso 2011–12). <a href="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" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/https://ra</span><span class="invisible">w.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol3/master/Libro/Examenes_de_PF_con_Haskell_Vol3.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Ejercicios de programación funcional con Haskell (curso 2011–12). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-11/ejercicios/ejercicios-I1M-2011.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/i1m-11/ejercicios/ejercicios-I1M-2011.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Temas de "Programación funcional" (2011-12). <a href="https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-11/temas/2011-12-IM-temas-PF.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">web.archive.org/web/http://www</span><span class="invisible">.cs.us.es/~jalonso/cursos/i1m-11/temas/2011-12-IM-temas-PF.pdf</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a></p>
José A. Alonso<p>Curso "Informática (2011-12)". <a href="https://jaalonso.github.io/cursos/i1m-11" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/cursos/i1m-</span><span class="invisible">11</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="tag">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/Programaci%C3%B3nFuncional" class="mention hashtag" rel="tag">#<span>ProgramaciónFuncional</span></a> <a href="https://mathstodon.xyz/tags/Algor%C3%ADtmica" class="mention hashtag" rel="tag">#<span>Algorítmica</span></a> <a href="https://mathstodon.xyz/tags/C%C3%A1lculoSimb%C3%B3lico" class="mention hashtag" rel="tag">#<span>CálculoSimbólico</span></a> <a href="https://mathstodon.xyz/tags/Maxima" class="mention hashtag" rel="tag">#<span>Maxima</span></a></p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload