Esta entrada es una recopilación de lecturas compartidas, durante abril de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Read More “Resumen de lecturas compartidas durante abril de 2018”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios con el TAD de los polinomios.
Los ejercicios y sus soluciones son
Read More “I1M2017: Ejercicios con el TAD de los polinomios en Haskell”
En la primera part de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 32 sobre relaciones binarias homogéneas usando la librería Data.Set de Haskell.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2017: Relaciones binarias homogéneas con la librería de conjuntos de Haskell”
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios de lógica de primer orden. Concretamente,
En la tercera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la relación 31 sobre el tipo de datos abstracto de las pilas.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2017: Ejercicios con el tipo abstracto de dato de las pilas”