I1M2018: El TAD (tipo abstracto de datos) de las tablas en Haskell

En la primera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha estudiado el TAD (tipo abstracto de datos) de las tablas y tres implementaciones en Haskell: como funciones, como listas de asociación y como matrices.

Una tabla es una colección de elementos (valores) a los que se accede mediante sus índice.

Se ha seguido el mismo patrón que en los anteriores tipos de datos:

  • elección de las operaciones básicas,
  • especificación de sus propiedades,
  • implementación en Haskell mediante funciones,
  • implementación en Haskell mediante listas de asociación,
  • implementación en Haskell mediante matrices,
  • análisis de la complejidad de las definiciones de las operaciones básicas en las tres implementaciones y
  • verificación con QuickCheck de sus propiedades características.

Las transparencias usadas en la clase son las del tema 18

Resumen de lecturas compartidas durante abril de 2019

Esta entrada es una recopilación de lecturas compartidas, durante abril 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 abril de 2019”

I1M2018: Ejercicios sobre la implementación del TAD de grafos mediante listas

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha comentado las soluciones de los ejercicios de la relación 37 que consiste en la implementación del TAD de los grafos mediante lista.

Las soluciones de los ejercicios de la relación es el siguiente
Read More “I1M2018: Ejercicios sobre la implementación del TAD de grafos mediante listas”