Jose A. Alonso

Lecturas_GLC. Readings on computational logic, interactive theorem proving and functional programming.

Pensamientos. Recopilación de pensamientos.

Examenes_de_PF_con_Haskell. Exámenes de programación funcional con Haskell

Calculemus2. Proof exercises in Lean4 and Isabelle/HOL

Libros_de_Logica. Recopilación de libros de lógica

Ejercicios-Python. Ejercicios de programación con Python

Logica_con_Lean. Introducción a la lógica con Lean.

Categorias_y_programacion. Bibliografía sobre teoría de categorías y programación funcional

I1M-Ejercicios-Haskell. Ejercicios de programación funcional con Haskell.

Temas_interactivos_de_PF_con_Haskell. Temas interactivos de programación funcional con Haskell.

Matematicas_en_Lean. Matemáticas en Lean

I1M. Código Haskell usado en el curso de I1M (Informática de 1º de Matemática)

Exercitium. Ejercicios de programación funcional con Haskell

PC-Haskell. Programación competitiva con Haskell

I1M-Cod-Temas. Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).

Recopilaciones. Recopilaciones de cursos y ofertas de trabajo

Intro-HaskellForMaths. Introducción a HaskellForMaths

Exercitium1. Ejercicios de programación funcional con Haskell del blog Exercitium (Volumen 1).

Ejercicios-Prolog. Ejercicios de programación lógica con Prolog

Quotes. Quotes on Mathematics and Computer Science.

FormulasYpolinomios. Sistema certificado de decisión proposicional basado en polinomios.

Piensa-en-Haskell-y-en-Python. Ejercicios de programación con Haskell y con Python

Matematicas_en_Lean4. Matemáticas en Lean4

Calculemus2_es. Ejercicios de demostración con Lean4 e Isabelle/HOL.

Exercitium2018. Ejercicios de programación funcional con Haskell (Curso 2018-19)

Cursos_de_PF_con_Haskell. Recopilación de cursos de programación funcional con Haskell.

Trabajos-MULCIA. Ofertas de trabajo de interés para el MULCIA

Examenes_de_PF_con_Haskell_Vol11. Exámenes de programación funcional con Haskell. Vol. 11 (Curso 2019-20)

Exercitium-Python. Soluciones de los problemas de Exercitium con Python

Exercitium2013. Ejercicios de programación funcional con Haskell (Curso 2013-14)

RA20116. Curso de "Razonamiento automático"

jaalonso.github.io. Índice de repositorios.

Calculemus. Ejercicios de demostración con Lean e Isabelle/HOL.

Explorando-con-Lean. Explorando formalizaciones con Lean

Examenes_de_PF_con_Haskell_Vol1. Exámenes de programación funcional con Haskell. Vol. 1 (Curso 2009-10)

Formalizacion_de_las_matematicas_en_Lean. Formalización de las matemáticas en Lean

Razonando-con-Lean. Elaboración de demostraciones con Lean.

Examenes_de_PF_con_Haskell_Vol2. Exámenes de programación funcional con Haskell. Vol. 2 (Curso 2010-11)

Examenes_de_PF_con_Haskell_Vol8. Exámenes de programación funcional con Haskell. Vol. 8 (Curso 2016-17)

Examenes_de_PF_con_Haskell_Vol7. Exámenes de programación funcional con Haskell. Vol. 7 (Curso 2015-16)

GraficasEnIHaskell. Representación de gráficas con GNUplot en IHaskell.

LogicaProgramacionDemostracion. Lógica (con deducción natural), programación (con Haskell) y demostración (con Lean).

Examenes_de_PF_con_Haskell_Vol5. Exámenes de programación funcional con Haskell. Vol. 5 (Curso 2013-14)

Demostraciones-con-Lean. Demostraciones con Lean

Examenes_de_PF_con_Haskell_Vol4. Exámenes de programación funcional con Haskell. Vol. 4 (Curso 2012-13)

Exercitium_Vol1. Ejercicios de programación funcional con Haskell (Vol. 1: Curso 2013-14)

Examenes_de_PF_con_Haskell_Vol9. Exámenes de programación funcional con Haskell. Vol. 9 (Curso 2017-18)

Examenes_de_PF_con_Haskell_Vol6. Exámenes de programación funcional con Haskell. Vol. 6 (Curso 2014-15)

hope. Linguagem Hope - Código fonte do livro "Lógica de programação funcional: Pense em Hope"

Examenes_de_PF_con_Haskell_Vol3. Exámenes de programación funcional con Haskell. Vol. 3 (Curso 2011-12)

Logica-en-Haskell. Desarrollo de la lógica con Haskell.

SLP. Semánticas de lenguajes de programación formalizadas en Isabelle/HOL

Examenes_de_PF_con_Haskell_Vol10. Exámenes de programación funcional con Haskell. Vol. 10 (Curso 2018-19)

Musica-de-Bach. Música de Johann Sebastian Bach

Musicas. Fragmentos musicales