En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la 23ª relación, cuyo objetivo es resolver la ecuación
donde a, b y c son números naturales.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Resolución de una ecuación con factoriales en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la 22ª relación, en la que se definen funciones para resolver los siguientes problemas de cálculo numérico:
Un aspecto a destacar desde el punto de vista de la programación es el uso de la abstracción de procedimientos.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Ejercicios de cálculo numérico en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos vistos dos aplicaciones de la programación funcional en Haskell: el problema de las reinas (consistente en colocar N reinas en un tablero de dimensiones N por N de forma que no se encuentren más de una en la misma línea: horizontal, vertical o diagonal) y el problema de Hamming (consistente definir una sucesión estrictamente creciente de números tales que el número 1 está en la sucesión y que, si x está en la sucesión, entonces 2*x, 3*x y 5*x también están).
El código del problema de las N reinas es
Read More “I1M2011: Los problemas de las N reinas y de Hamming en Haskell”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de ejercicios de la 21ª relación. En esta relación se estudia la modelización de un juego de cartas
como aplicación de los tipos de datos algebraicos. Además, se definen los generadores correspondientes para comprobar las propiedades con QuickCheck.
Las soluciones de los ejercicios de la relación son
Read More “I1M2011: Simulación de un juego de cartas en Haskell”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la 20ª relación, en la que se propone extiender el demostrador proposicional estudiado en el tema 9 para incluir disyunciones y equivalencias.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Extensión de un programa en Haskell para decidir tautologías”
