I1M2013: Definiciones por composición de funciones aritméticas

En la clase de hoy del curso Informática (de 1º del Grado en Matemáticas) se han resuelto los ejercicios de la 1ª relación. El objetivo de dicha relación es habituar a los alumnos con el entorno de trabajo Haskell/Emacs resolviendo ejercicios con definiciones de funciones por composición de las primitivas de Haskell sobre aritmética.

Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2013: Definiciones por composición de funciones aritméticas”

I1M2013: Introducción a la programación con Haskell

En la segunda parte de 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.

Como tarea para la próxima clase se ha propuesto instalar GHC y emacs (cuyos enlaces se encuentran en la página de sistemas y escribir de manera colaborativa las soluciones de los ejercicios de la 1º relación y de la 2º relación.

Las sesiones se encuentran grabadas en dos vídeos:

  • en el primer vídeo se muestra cómo trabajar con guiones en Haskell dentro de emacs,
  • en el segundo vídeo se muestra cómo trabajar con las relaciones de ejercicios y la wiki.

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

I1M2013: Presentación del curso de Informática (de 1º de Matemáticas)

En la primera parte de la clase de hoy del curso 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:

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.