Informática. 1º Grado en Matemáticas. Grupo A (2020-21)

  • Enlace a la Plataforma de Enseñanza Virtual
  • Calendario Escolar 2020
  • Calendario de exámenes del curso 20-21
  • Resumen del Plan Docente del Grupo A.

    • Prof. Antonia M. Chávez

  • Correo electrónico: tchavez (arroba) us (punto) es

    • Tutorías del Segundo Cuatrimestre

  • Consultar horario
    • Solicitar enviando un email con el asunto "TUTORÍA".

    Haskell / Emacs

  • Instalación de los Sistemas en Windows
  • Instalación en IOs y Ubuntu
  • Ayuda y soporte de incidencias con las tecnologías informáticas de la Universidad de Sevilla.
    • Accede desde este enlace a la plataforma de gestión de solicitudes para Estudiantes
  • Lista de funciones elementales de Haskell
  • Resumen de instrucciones útiles para utilizar el editor Emacs

    Relaciones de Ejercicios

  • Relación 1Tema 2. Definición de funciones por composición. Aquí una solución.
  • Relación 2. Tema 4. Condicionales, guardas y patrones. Incluimos los tipos de las funciones y comprobaciones con QuickCheck.
      Instalar la librería QuickCheck para que cargue el fichero de la relación 2.
      Aquí los ejemplos de patrones del tema 4
      Aquí los ejemplos de propiedades para QuickCheck (las que devuelven Bool y las que devuelven Property)
  • Relación 3. Tema 5. Definición de funciones por comprensión. Aquí una solución.
  • Relación 4. Tema 5. Comprensión. En los ejercicios 17 y 30 usaremos las funciones read y show. Aqui una solución.
  • Relación 5. Tema 5. Comprensión en listas de caracteres. Funciones de la librería Data.Char.
  • Relación 5. Tema 5. Cifrado César Aquí una solución
  • Relación 5.1 Temas 5 y Tema 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. Ordenación de listas. Aquí una solución.
  • Relación 6 Tema 6. Recursió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 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.
  • Relación 11 Relación sobre las propiedades del número 2021. Aquí una solución.
  • Relación 12 Tema 9. Tipos de datos: listas. Aquí una solución.
  • Relación 13 Tema 9. Tipos de datos algebraicos. Aquí una solución.
  • Relación 14 Tema 9. Arboles. 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.
  • Tema 13.