jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de SevillaSevilla (España)
Pinned Repositories
Categorias_y_programacion
Bibliografía sobre teoría de categorías y programación funcional
Examenes_de_PF_con_Haskell
Exámenes de programación funcional con Haskell
Exercitium
Ejercicios de programación funcional con Haskell
I1M
Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)
Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
Libros_de_Logica
Recopilación de libros de lógica
Logica_con_Lean
Introducción a la lógica con Lean.
Matematicas_en_Lean
Matemáticas en Lean
Pensamientos
Recopilación de pensamientos.
Temas_interactivos_de_PF_con_Haskell
Temas interactivos de programación funcional con Haskell.
jaalonso's Repositories
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
jaalonso/Examenes_de_PF_con_Haskell
Exámenes de programación funcional con Haskell
jaalonso/Pensamientos
Recopilación de pensamientos.
jaalonso/Libros_de_Logica
Recopilación de libros de lógica
jaalonso/Logica_con_Lean
Introducción a la lógica con Lean.
jaalonso/Matematicas_en_Lean
Matemáticas en Lean
jaalonso/Calculemus2
Ejercicios de demostración con Lean4 e Isabelle/HOL.
jaalonso/Ejercicios-Python
Ejercicios de programación con Python
jaalonso/Exercitium
Ejercicios de programación funcional con Haskell
jaalonso/I1M-Cod-Temas
Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).
jaalonso/I1M-Ejercicios-Haskell
Ejercicios de programación funcional con Haskell.
jaalonso/Piensa-en-Haskell-y-en-Python
Ejercicios de programación con Haskell y con Python
jaalonso/Temas_interactivos_de_PF_con_Haskell
Temas interactivos de programación funcional con Haskell.
jaalonso/Exercitium-Python
Soluciones de los problemas de Exercitium con Python
jaalonso/RA20116
Curso de "Razonamiento automático"
jaalonso/Calculemus
Ejercicios de demostración con Lean e Isabelle/HOL.
jaalonso/Demostraciones-con-Lean
Demostraciones con Lean
jaalonso/Explorando-con-Lean
Explorando formalizaciones con Lean
jaalonso/LogicaProgramacionDemostracion
Lógica (con deducción natural), programación (con Haskell) y demostración (con Lean).
jaalonso/Matematicas_en_Lean4
Matemáticas en Lean4
jaalonso/Musica-de-Bach
Música de Johann Sebastian Bach
jaalonso/Trabajos-MULCIA
Ofertas de trabajo de interés para el MULCIA
jaalonso/Cantos-de-poetas
Canciones de poetas.
jaalonso/Exercitium-Haskell-Python
Ejercicios de programación con Haskell y Python.
jaalonso/I1M-RCPM
Resolución computacional de problemas matemáticos
jaalonso/jaalonso.github.io
Índice de repositorios.
jaalonso/Jardin_digital
El jardín digital es una colección de breves notas escritas con org-roam.
jaalonso/Matematicas_preuniversitarias
Demostraciones en libros de textos de matemáticas preuniversitaria
jaalonso/Poesias-compartidas
jaalonso/RCC5