Menu Close

Etiqueta: Haskell

PFH: Sistema de decisión de tautologías en Haskell

He añadido a la lista Programación funcional con Haskell el vídeo Sistema de decisión de tautologías en Haskell en el que se ha estudia cómo construir un programa para determinar si una fórmula es una tautología. Para ello se consideran las siguientes fases:
1. definir un tipo de dato algebraico para las fórmulas proposicionales,
2. definir un tipo de dato para las interpretaciones,
3. definir una función para calcular los valores de las fórmulas en las interpretaciones
4. definir una función para generar todas las posibles interpretaciones de una fórmula y
5. definir una función que para decidir si una fórmula es tautología (es decir, su valor es verdadero en todas sus interpretaciones).

El vídeo es

Los apuntes correspondientes son

Una versión interactiva de los apuntes en IHaskell se encuentra aquí.

I1M2018: Las librerías de vectores y matrices en Haskell

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado cómo se puede trabajar eh Haskell con vectores y matrices usando las librerías Data.Vector y Data.Matrix.

Para instalarla con Cabal hay que ejecutar las siguientes órdenes

cabal update
cabal install vector matrix

Los correspondientes manuales, con ejemplos de las funciones, se encuentran en

I1M2018: Matrices en Haskell

En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se ha estudiado cómo trabajar con tablas en Haskell usando el módulo Data.Array.

En la primera parte se ha explicado El tipo predefinido de las tablas (“arrays”) se han estudiado las funciones sobre índices (range, index, inRange, rangeSize) y sobre tablas (array, (!), bounds, indices, elems, assocs, (//), listArray y accumArray). También se han estudiado ejemplos de definiciones con dichas funciones.

Los apuntes correspondientes son

En la segunda parte se han comentado las soluciones de los siguientes ejercicios de la Relación 15: