Miscelánea de apuntes

En esta página se recoge una colección de apuntes de distintos temas. Su ordenación cronológica es

• Vídeos de Haskell.
• Pensamientos de Antonio Machado.
• Demostración asistida por ordenador (DAO) con Coq.
• Instalación de "Lean theorem prover".
• Guía de instalación de sistemas para el curso 2018-19.
• Preguntas y respuestas sobre el modo Org.
• Soluciones lógicas de problemas lógicos.
• Emacs para Ciencias del dato.
• Tutorial del modo Org (por Carlos Ríos Monje).
• Recursos de CodeWorld.
• Haskell y R en org-mode.
• Clase de SLEAM (5 de diciembre de 2017).
• Lecturas de teorías de categorías y programación funcional.
• ASP con Potassco (gringo, clasp y clingo).
• Guía de instalación de sistemas para el curso 2017-18.
• Guía de instalación de sistemas para el curso 2016-17.
• Functores, functores aplicativos y mónadas.
• Aplicación de tipos de datos algebraicos: Una librería de gráficos.
• Programación de fractales en Haskell.
• Iteración, recursión y punto fijo.
• Introducción a la programación con Sage.
• Programación eficiente con Sage.
• Álgebra con Sage.
• Funciones básicas de Haskell.
• How functional programming mattered.
• Enlaces a revistas
• Tutorial de Stack.
• Matemáticas en Python.