En la tercera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han resuelto ejercicios de la relación 36 sobre los multiconjuntos mediante diccionarios.
Los ejercicios y su solución se muestran a continuación
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han resuelto ejercicios de la relación 35. El objetivo de la relación es implementar la regla de Ruffini y sus aplicaciones utilizando las implementaciones del TAD de polinomio estudiadas en el tema 21.
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 han estudiado la librerías de diccionarios 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.Map.
En segundo lugar se ha comentado las funciones con las librerías con sus ejemplos:
Finalmente, para comentar las complejidades de las funciones usando la documentación de la librería Data.Map.
En la clase de hoy del curso de Lógica matemática y fundamentos se ha presentado la programación funcional en Isabelle/HOL resaltando la analogía con la programación en Haskell estudida en primer curso en la asignatura de Informática
La teoría con los ejemplos presentados en la clase es
En la clase de hoy del curso Lógica matemática y fundamentos se ha realizado el primer examen de la asignatura. Su contenido es la sintaxis, semántica y deducción natural para la lógica proposicional y la de primer orden representada en Isabelle/HOL.
Los ejercicios del examen y sus respuestas se encuentran aquí.
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 clase de hoy del curso Lógica matemática y fundamentos se ha explicado las soluciones de los siguientes ejercicios
- 1 y 22 de la relación 6 de deducción natural proposicional con las tácticas de Isabelle/HOL,
- 53 y 56 de la relación 7 de deducción natural en lógica de primer orden con las tácticas de Isabelle/HOL y
- el 2.9.9 del libro de ejercicios de deducción natural proposicional con las tácticas de Isabelle/HOL.
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.