I1M2015

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 29 sobre los números de Lychrel.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2015: Los números de Lychrel en Haskell”

En la primera 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.
Read More “I1M2015: Resolución de una ecuación con factoriales en Haskell”

En la segunda 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 árboles binarios de búsqueda.

Un árbol binario de búsqueda (ABB) (binary search tree) en inglés) es un árbol binario tal que el valor de cada nodo es mayor que los valores de su subárbol izquierdo y es menor que los valores de su subárbol derecho y, además, ambos subárboles son árboles binarios de búsqueda. Por ejemplo, al almacenar los valores de [2,3,4,5,6,8,9] en un ABB se puede obtener los siguientes ABB:

El objetivo principal de los ABB es reducir el tiempo de acceso a los valores.

El contenido de la clase ha sido el siguiente:

• la signatura del TAD de los árboles binarios de búsqueda;
• las propiedades del TAD de los árboles binarios de búsqueda;
• la implementación, en Haskell, de los árboles binarios de búsqueda mediante tipos de datos algebraicos y
• la comprobación con QuickCheck de sus propiedades.

Las transparencias usadas en la clase son las del tema 19.