I1M2014

En la segunda parte de la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se ha estudiado cómo definir funciones en Haskell usando los formas básicas: composición, condicionales, guardas y patrones.

También se ha explicado cómo comprobar con QuickCheck propiedades de programas. Como ejemplo, se han comentado la comprobación de la equivalencia de las distintas definicones propuestas en la 1ª relación de ejercicios.

Como tarea para la próxima clase se ha propuesto resolver de manera colaborativa los ejercicios de la 2ª relación.

Las transparencias usadas en la clase son las del tema 4.
Read More “I1M2014: Definición de funciones elementales en Haskell”

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado los tipos y las clases en Haskell. Los objetivos de tema son aprender

• qué es un tipo,
• cómo expresar que una expresión tiene un tipo determinado,
• cómo preguntar a Haskell por el tipo de una expresión,
• cómo determinar el tipo de una expresión,
• cuáles son los tipos básicos (Bool, Char, String, Int, Integer, Float y ,
• cuáles son los tipos compuestos (listas, tuplas y funciones),
• qué es el polimorfismo y la sobrecarga de funciones y
• cuáles son las clases básicas (Eq, Ord, Show, Read, Num, Integral y Fractional), sus métodos e instancias.

Las transparencias usadas en la clase son las del tema 3:
Read More “I1M2014: Tipos y clases en Haskell”

En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los ejercicios de la 1ª relación sobre definiciones por composición de funciones sobre números, listas y booleanos.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios de definiciones por composición sobre números, listas y booleanos”

En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas se ha presentado una introducción a la programación con Haskell usando emacs como entorno de programación. Concretamente, se ha explicado cómo

• usar Haskell como calculadora aritmética (con las funciones +, -, *, /, div y ^).
• escribir guiones de Haskell en emacs.
• cargar los guiones y evaluar expresiones con las funciones definidas.

También se han comentado las funciones sobre números, listas y booleanos en el resumen de funciones.

Finalmente, se ha explicado cómo trabajar con las relaciones de ejercicios y la wiki. En el vídeo se resumen el procedimiento.

Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 1º relación.

Las transparencias usadas en la clase son las del tema 2:
Read More “I1M2014: Introducción a la programación con Haskell”

En la clase de hoy del curso de Informática (de 1º de Grado en Matemáticas) se ha presentado la asignatura siguiendo el resumen del proyecto docente y los materiales en la página de la asignatura:

• apuntes,
• transparencias de los temas,
• libro con ejercicios resueltos y
• libro de exámenes de cursos anteriores.

Se ha explicado cómo instalar los sistemas y se ha mostrado una sesión sobre el uso de Haskell y emacs. La sesión está grabada en este vídeo.

Se ha comentado el sistema de evaluación y se ha anunciado las fechas de los exámenes de todo el curso.