En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han resuelto ejercicios de la relación 30 sobre operaciones con conjuntos con la librería Data.Set.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2018: Operaciones con conjuntos con la librería Data.Set”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado las librería de conjuntos en Haskell.
Como primera aproximación se ha explicado su exposición en ¡Aprende Haskell por el bien de todos!. Concretamente la sección Data.Set.
En segundo lugar se ha comentado las funciones de la librería con sus ejemplos: Manual de la librería de conjuntos Data.Set.
Finalmente, para comentar las complejidades de las funciones, se ha visto la documentación de la librería Data.Set.
En la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo construir las pruebas por deducción natural usando las tácticas de Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2018: Deducción natural en lógica de primer orden con las tácticas Isabelle/HOL”
Esta entrada es una recopilación de lecturas compartidas, durante marzo de 2019, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
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.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas durante marzo de 2019”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han resuelto ejercicios de la relación 29 sobre el tipo de datos de las conjuntos.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2018: Ejercicios con el tipo de dato de los conjuntos en Haskell”