El algoritmo de Moessner en Haskell

PorJosé A. Alonso

La presente relación de ejercicios está basada en el artículo El algoritmo de Moessner escrito por Antonio Roldán Martínez en su blog Números y hoja de cálculo.

El proceso de Moessner de orden n consiste en lo siguiente: De la lista de los números naturales, se tacha los elementos que ocupan las posiciones n, 2*n, … y se forma la sucesión de las sumas parciales de los restantes elementos. De la resultante sucesión se tacha los elementos que ocupan las posiciones n-1, 2*(n-1), … y se forma la sucesión de las sumas parciales de los restantes elementos. El proceso se repite n-1 veces. Por ejemplo, para n=2:

Se observa que los elementos de la última es la sucesión de los cuadrados. Para n=3, el proceso de Moessner es

Se observa que los elementos de la última es la sucesión de los cubos. Para n=4, el proceso de Moessner es

Se observa que los elementos de la última es la sucesión de los cuartas potencias. El teorema de Moessner afirma que para cualquier n, la sucesión obtenida mediante el proceso de Moessner es la de las potencias n-ésimas; es decir 1^n, 2^n, 3^n, 4^n, \dots

El objetivo de los siguientes ejercicios es definir en Haskell una función que simule el proceso de Moessner y comprobar el teorema.
Read More “El algoritmo de Moessner en Haskell”

I1M2011: Libro de ejercicios resueltos de programación en Haskell (v. 30-May-12)

PorJosé A. Alonso

A lo largo del curso iré actualizando un libro de ejercicios resueltos de programación con Haskell con las relaciones de ejercicios del curso de Informática (de 1º del Grado en Matemáticas)

En la versión actual contiene las soluciones de las 33 primeras relaciones y los 6 primeros exámenes:

  1. Definiciones elementales de funciones (1).
  2. Definiciones elementales de funciones (2).
  3. Definiciones por comprensión (1).
  4. Definiciones por comprensión (2).
  5. Definiciones por comprensión (3): El cifrado César.
  6. Definiciones por recursión.
  7. Definiciones por recursión y por comprensión (1).
  8. Definiciones por recursión y por comprensión (2).
  9. Definiciones sobre cadenas, orden superior y plegado.
  10. Definiciones por plegado.
  11. Codificación y transmisión de mensajes.
  12. Resolución de problemas matemáticos.
  13. Demostración de propiedades por inducción.
  14. El 2011 y los números primos.
  15. Listas infinitas.
  16. Ejercicios de exámenes del curso 2010-11.
  17. Combinatoria.
  18. Tipos de datos algebraicos.
  19. Tipos de datos algebraicos: árboles binarios.
  20. Tipos de datos algebraicos: fórmulas proposicionales.
  21. Tipos de datos algebraicos: Modelización de juego de cartas.
  22. Cálculo numérico.
  23. Ecuación con factoriales.
  24. Aplicaciones de la programación funcional con listas infinitas.
  25. División y factorización de polinomios mediante la regla de Ruffini.
  26. Operaciones con el TAD de polinomios.
  27. Operaciones con vectores y matrices.
  28. Ejercicios complementarios.
  29. Relaciones binarias.
  30. Operaciones con conjuntos.
  31. Implementación del TAD de los grafos mediante listas.
  32. Problemas básicos con el TAD de los grafos.
  33. Enumeraciones de los números racionales.
  34. Exámenes:
    • Examen 1 (26 de Octubre de 2011).
    • Examen 2 (30 de Noviembre de 2011).
    • Examen 3 (25 de Enero de 2012).
    • Examen 4 (29 de Febrero de 2012).
    • Examen 5 (21 de Marzo de 2012).
    • Examen 6 (2 de Mayo de 2012).

Cuadrados con los dígitos duplicados en Haskell

PorJosé A. Alonso

La semana pasada se planteó en “Números y algo más …” el problema de los cuadrados con los dígitos duplicados cuyo enunciado es el siguiente:

Si elevamos 72576, que tiene un 2, un 5, un 6 y dos 7, al cuadrado obtenemos 5267275776 el cual tiene exactamente dos 2, dos 5, dos 6 y cuatro 7. Es decir que si en el número original el dígito d aparece v veces, en el cuadrado, d aparece 2v veces. ¿Cual es el siguiente número con esta propiedad? ¿Habrá algún primo que lo haga?

En la siguiente relación de ejercicios (elaborada para la asignatura de Informática de 1º del Grado en Matemáticas) se resuelve el problema con Haskell.
Read More “Cuadrados con los dígitos duplicados en Haskell”

Límites de sucesiones y tipos de números en Haskell

PorJosé A. Alonso

En Haskell se dispone de tres tipos para trabajar con los números racionales: dos como números aproximados (Float y Double) y uno como números exactos (Rational). En este ejemplo veremos cómo el uso de números aproximados puede conducir a falsas conjeturas sobre límites de sucesiones que pueden refutarse con el uso de los números exactos. Para ello consideraremos tres definiciones de la sucesión u:

\begin{array}{l} u_0 = \frac{3}{2} \\ \\ u_1 = \frac{5}{3} \\ \\ u_{n} = 2003 - \frac{6002}{u_{n-1}} + \frac{4000}{u_{n-1} \cdot u_{n-2}}, \mbox{ para } n \geq 2 \end{array}

usando en cada caso uno de los tipos y conjeturando el límite de la sucesión.
Read More “Límites de sucesiones y tipos de números en Haskell”