En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el 8º examen de la evaluación continua.
A continuación se muestra el examen junto con su solución: Read More “I1M2010: 8º examen de la evaluacion continua”
En el blog Números y algo más plantean hoy un problema de las olimpiadas rusas cuyo enunciado es el siguiente
Si escribimos todos los números enteros empezando por el uno, uno al lado del otro (o sea, 1234567891011121314…), ¿qué dígito ocupa la posición 206788?
Basándome en este problema he escrito la siguiente relación de ejercicios de Haskell para la asignatura de Informática de 1º del Grado en Matemáticas como ejemplo de uso de cadenas infinitas.
Read More “Un problema de las olimpiadas rusas en Haskell”
A lo largo de este curso he ido 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)
Una vez terminado el curso, se ha completado el libro con todas las relaciones del curso y dos apéndices en los que se encuentran las soluciones de los exámenes realizados y una recopilación de algoritmos matemáticos que se han estudiado a lo largo del curso.
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado la implentación en Haskell de las operaciones con los polinomios basadas su TAD estudiado en la clase anterior.
Las transparencias usadas en la clase son las páginas 43-55 del tema 21.
El código se encuentra en
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de los polinomios y su implementación en Haskell.
Comenzamos la clase analizando las posibles representaciones de los polinomios y, como consecuencia, establecer la signatura y las propiedades del TAD de los polinomios.
A continuación, estudiamos tres implementaciones del TAD de los polinomios: mediante tipos algebraicas, mediantes listas dispersas y mediante listas densas.
Finalmente, mediante QuickCheck, se comprobó que las distintas implementaciones verifican las propiedades del TAD.
Las transparencias usadas en la clase son las páginas 1-42 del tema 21.
El código se encuentra en