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 32 sobre el tipo de datos abstracto de los montículos.
Los ejercicios, y sus soluciones, se muestran a continuación.
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los montículos en Haskell.
En primer lugar, se han introduccido los montículos usando el artículo Functional heap – Leftist tree.
En segundo lugar, se ha seguido el mismo patrón que en los anteriores tipos de datos para estudiar el TAD de los montículos:
- elección de las operaciones básicas,
- especificación de sus propiedades,
- implementación en Haskel,
- análisis de la complejidad de las definiciones de las operaciones básicas y
- verificación con QuickCheck de sus propiedades características.
En tercer lugar, se ha usado los montículos para implementar el TAD de las colas de prioridad.
Finalmente, se ha comentado las librerías de Haskell para montículos: Data.Heap.Leftist y Data.Heap. La primera se corresponde totalmente con la implementación presentada en clase y la segunda es una generalización ampliada.
Los apuntes correspondientes a la clase son
En la tercera part de la clase de hoy de Informática de 1º del Grado en Matemáticas se han resuelto ejercicios de la relación 31 sobre relaciones binarias homogéneas usando la librería Data.Set de Haskell.
Los ejercicios y su solución se muestran a continuación
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.
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 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.
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los conjuntos y tres de sus implementaciones en Haskell.
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 no ordenadas con duplicados,
- implementación en Haskell mediante listas no ordenadas sin duplicados,
- implementación en Haskell mediante listas ordenadas sin duplicados,
- 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.
Los apuntes correspondientes a la clase son
En la tercera parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 28, cuyo objetivo es resolver la ecuación a! * b! = a! + b! + c!, donde a, b y c son números naturales.
Los ejercicios, y sus soluciones, se muestran a continuación.
En la segunda 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 27 sobre el tipo de datos abstracto de las colas.
Los ejercicios, y sus soluciones, se muestran a continuación.
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de las colas de prioridad.
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 listas,
- análisis de la complejidad de las definiciones de las operaciones básicas y
- verificación con QuickCheck de sus propiedades características.
Los apuntes correspondientes a la clase son los del tema 16