#programacionfuncional — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #programacionfuncional, aggregated by home.social.
-
He liberado mi libro «Desafíos de programación atemporales y multiparadigmáticos» para leer online de forma gratuita:
https://andros.dev/libro/desafios-de-programacion-atemporales-y-multiparadigmaticos/
Podéis apoyarme comprando la versión en tapa blanda: https://www.amazon.es/dp/B0FK3PK2TM
#programacion #programming #algoritmos #algorithms #python #programacionfuncional #functionalprogramming #librosgratis #freebooks #aprendeprogramacion #learntocode #opensource #recursion #datastructures -
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
-
Curso "Lógica matemática y fundamentos (2018-19)". https://jaalonso.github.io/cursos/lmf-18 #Lógica #ProgramaciónFuncional #IsabelleHOL
-
Curso "Lógica matemática y fundamentos (2016-17)". https://jaalonso.github.io/cursos/lmf-16 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
-
Curso "Lógica matemática y fundamentos (2015-16)". https://jaalonso.github.io/cursos/lmf-15 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
-
Curso "Lógica matemática y fundamentos (2014-15)". https://jaalonso.github.io/cursos/lmf-14 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
-
Curso "Lógica matemática y fundamentos (2013-14)". https://jaalonso.github.io/cursos/lmf-13 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
-
Curso "Lógica matemática y fundamentos (2012-13)". https://jaalonso.github.io/cursos/lmf-12 #Lógica #Haskell #ProgramaciónFuncional #Isabelle/HOL