Name: Jose A. Alonso
Type: User
Company: Universidad de Sevilla
Bio: Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Twitter: Jose_A_Alonso
Location: Sevilla (España)
Blog: https://jaalonso.github.io
Jose A. Alonso's Projects
Algorítmica funcional verificada
Recopilación de trabajos sobre Lean compartidos en "Lecturas del Grupo de Lógica Computacional".
Ejercicios de demostración con Lean e Isabelle/HOL.
Ejercicios de demostración con Lean4 e Isabelle/HOL.
Canciones de poetas.
Bibliografía sobre teoría de categorías y programación funcional
Cursos de programación con conjuntos de respuestas (ASP)
Recopilación de cursos de lógica computacional
Recopilación de cursos de programación funcional con Haskell.
Recopilación de cursos de programación funcional con OCaml.
Recopilación de cursos de programación funcional con Scala.
Recopilación de cursos de programación lógica con Prolog.
Recopilación cursos de programación con lenguajes distintos de Haskell, OCaml y Prolog que tienen sus páginas específicas.
Recopilación de cursos de razonamiento automático.
Demostración asistida por ordenador con Coq y MathComp.
DAO (Demostración Asistida por Ordenador) con Lean
Demostración asistida por ordenador con Coq
Demostraciones con Lean
Ejercicios de programación lógica con Prolog
Ejercicios de programación con Python
Ejercicios interactivos de programación funcional con Haskell
Exámenes de programación funcional con Haskell
Exámenes de programación funcional con Haskell. Vol. 1 (Curso 2009-10)
Exámenes de programación funcional con Haskell. Vol. 10 (Curso 2018-19)
Exámenes de programación funcional con Haskell. Vol. 11 (Curso 2019-20)
Exámenes de programación funcional con Haskell. Vol. 2 (Curso 2010-11)
Exámenes de programación funcional con Haskell. Vol. 3 (Curso 2011-12)
Exámenes de programación funcional con Haskell. Vol. 4 (Curso 2012-13)
Exámenes de programación funcional con Haskell. Vol. 5 (Curso 2013-14)
Exámenes de programación funcional con Haskell. Vol. 6 (Curso 2014-15)