En esta página encontrarás información del grupo A

  • Calendario Escolar
  • Plan Docente del Grupo A

    Horario de tutorías del 2º cuatrimestre

    Solicitar por email
  • Martes y jueves, de 8:30 a 11:30 h.
  • Haskell / Emacs

  • Lista de funciones elementales de Haskell
  • Resumen de instrucciones útiles para utilizar el editor Emacs

    Instalación de la librería QuickCheck

    • Abrir un terminal
    • Escribir: cabal update
    • Escribir: cabal install QuickCheck
    Si da fallo porque cabal no está instalado, entonces:
    • Escribir en el terminal: cabal install cabal-install
    • Escribir: cabal install QuickCheck

    Instalación de la librería Data.Vector

    • Abrir un terminal
    • Escribir: cabal update
    • Escribir: cabal install Vector

    Instalación de la librería Data.Matrix

    • Abrir un terminal
    • Escribir: cabal update
    • Escribir: cabal install Matrix

    Posibles problemas con Emacs/Haskell

      Error al cargar el fichero "Spawning child process":
    • Paso 1. Ir a Inicio > Todos los Programas > Accesorios > Simbolo del sistema
    • Paso 2. Escribir set Shell=
    • Paso 3. Cerrar y volver a ejecutar emacs.
    • Error al cargar el fichero "Process haskell finished":
    • Evitar usar ficheros que estén dentro de carpetas o subcarpetas que contengan caracteres no ASCII: "ñ", "º", tildes, espacios....

    Diferencia entre las funciones rem y mod

    Limitar el tamaño de las pruebas con quickCheck

    Para ello, escribir: quickCheckWith (stdArgs (maxSize = n)) prop_funcion, donde n sera el valor máximo de argumentos que generará quickCheck y prop_función será la propiedad a comprobar

    Visualizar los ejemplos generados por quickCheck

  • Tendrás que utilizar la instrucción verboseCheck en lugar de quickCheck
  • También puedes combinar las dos posibilidades usando verboseCheckWith

    Relaciones de Ejercicios

    Aquí tendremos disponibles los ficheros de ejercicios para resolver.
  • Relación 1. Tema 2. Definición de funciones por composición. Aquí una solución.
  • Relación 2. Tema 4. Definición de funciones con condicionales, guardas y patrones. Incluimos los tipos de las funciones y algunas comprobaciones con QuickCheck. Aquí una solución.
  • Relación 3. Tema 5. Definición de funciones por comprensión. En los ejercicios 17 y 30 usaremos las funciones read y show. Aquí una solución.
  • Relación 4. Tema 5. Comprensión con caracteres. Funciones de la librería Data.Char. Aquí una solución
  • Relación 5.1 Temas 5 y 6. Recursión/Comprensión. Aquí una solución.
  • Relación 5.2 Temas 5 y 6. Recursión/Comprensión. Aquí una solución.
  • Relación 5.3 Tema 6. Recursión. Aquí una solución.
  • Relación 6 Recopilación de ejercicios del primer examen de otros grupos. Aquí una solución.
  • Relación 7 Tema 7. Orden Superior.Plegado. Aquí una solución.
  • Relación 8 Tema 7. Orden Superior.Plegado. Aquí una solución.
  • Relación 9 Tema 7.Recursión, Acumuladores y Plegados foldr y foldl.-Aquí una solución
  • Relación 10 Tema 9. Tipos de datos: listas. Aquí una solución.
  • Relación 11 Tema 9. Arboles. Aquí una solución.
  • Relación 12 Tema 9. Tipos de datos algebraicos. Aquí una solución.
  • Relación 13 Tema 10. Evaluación Perezosa y listas infinitas. Aquí una solución.
  • Relación 14 Tema 10. Evaluación Perezosa y listas infinitas. Usamos la librería de los números primos. Puedes ver su manual aquí. Para instalarla, basta abrir un terminal y escribir: cabal install Primes Aquí una solución.
  • Estudia la librería Data.List . Muchas de sus funciones pueden servirte para mejorar tus soluciones. Puedes ver su manual aquí , o bien aquí..
  • Tema 13. Cómo hacer que una función solicite los datos de entrada por el teclado, ejemplo de interacción
  • Código del tema de programación interactiva para verlo funcionando.
  • Relación 15 Tema 13. Programación interactiva. Aquí una solución.
  • Relación 16 Tema 18. Matrices
  • Relación 17 Tema 18. Matrices. Método de Gauss.
  • Relación 18 Tema 18.Método de Gauss. Vectores y Matrices con las librerías Data.Vector y Data.Matrix.
  • Relación 19 Relación de ejercicios de examen sobre vectores y matrices.

    Pruebas de evaluación alternativa del Grupo 1

  • Primera prueba. Aquí una solución.
  • Segunda prueba. Aquí una solución.