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 (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
Temas de "Programación funcional" (2019-20). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-19/temas/2019-20-I1M-temas-PF.pdf #Haskell #ProgramaciónFuncional
Curso "Informática (2019-20)". https://jaalonso.github.io/cursos/i1m-19 #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
Curso "Razonamiento automático (2018-19)". https://jaalonso.github.io/cursos/m-ra-18 #DemostraciónInteractiva #ProgramaciónFuncional #IsabelleHOL #Coq
¡Nuevo video para llevar tu programación al siguiente nivel! 🚀 ¿Sabés qué son los Paradigmas de Programación y por qué son clave para cualquier developer? Te explico los más importantes (POO, Funcional, Imperativo) y cómo influyen en tu código.
👉 Mirá la guía completa acá: https://youtu.be/pIiAzdpX6WM
#ParadigmasDeProgramacion #Programacion #POO #ProgramacionFuncional #AprenderAProgramar
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
Temas de "Programación funcional" (2018-19). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-18/temas/2018-19-I1M-temas-PF.pdf #Haskell #ProgramaciónFuncional
Curso "Informática (2018-19)". https://jaalonso.github.io/cursos/i1m-18 #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
Curso "Lógica matemática y fundamentos (2016-17)". https://jaalonso.github.io/cursos/lmf-16 #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
Exámenes de programación funcional con Haskell (curso 2017-18). https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol9/master/Libro/Examenes_de_PF_con_Haskell_Vol9.pdf #Haskell #ProgramaciónFuncional
Ejercicios de programación funcional con Haskell (curso 2017-18). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-17/ejercicios/ejercicios-I1M-2017.pdf #Haskell #ProgramaciónFuncional
Temas de "Programación funcional" (2017-18). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-17/temas/2017-18-IM-temas-PF.pdf #Haskell #ProgramaciónFuncional
Curso "Informática (2017-18)". https://jaalonso.github.io/cursos/i1m-17 #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
Exámenes de programación funcional con Haskell (curso 2015-16). https://web.archive.org/web/https://raw.githubusercontent.com/jaalonso/Examenes_de_PF_con_Haskell_Vol8/master/Libro/Examenes_de_PF_con_Haskell_Vol8.pdf #Haskell #ProgramaciónFuncional
Ejercicios de programación funcional con Haskell (curso 2015-16). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-16/ejercicios/ejercicios-I1M-2016.pdf #Haskell #ProgramaciónFuncional
Temas de "Programación funcional" (2016-17). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/i1m-16/temas/2016-17-IM-temas-PF.pdf #Haskell #ProgramaciónFuncional