Apuntes, temas y códigos de "Informática (2017-18)"
Apuntes
- En Temas de "Programación funcional" se encuentran las transparencias de la introducción a la programación funcional en forma de libro.
- En Códigos de los Temas de "Programación funcional" se encuentra los códigos de los temas del curso.
- En Introducción al cálculo simbólico con Maxima se encuentran una introducción al cálculo simbólico mediante ejercicios con sus soluciones.
Temas
- Introducción
- Tema 0: Programas, funciones y dibujos.
- Programación funcional
- Tema 1: Introducción a la programación funcional. (Transparencias y código).
- Tema 2: Introducción a la programación con Haskell. (Transparencias y código).
- Tema 3: Tipos y clases. (Transparencias y código).
- Tema 4: Definición de funciones. (Transparencias y código).
- Tema 5: Definiciones de listas por comprensión. (Transparencias y código).
- Tema 6: Funciones recursivas. (Transparencias y código).
- Tema 7: Funciones de orden superior. (Transparencias y código).
- Tema 8: Razonamiento sobre programas. (Transparencias, código y teoría Isabelle/HOL).
- Tema 9: Declaraciones de tipos y clases. (Transparencias y código).
- Tema 10: Evaluación perezosa. (Transparencias y código).
- Tema 11: Aplicaciones de la programación funcional. (Transparencias).
- Tema 12: Analizadores funcionales. (Transparencias).
- Tema 13: Programas interactivos. (Transparencias).
- Algorítmica
- Tema 14: El TAD de las pilas. (Transparencias).
- Tema 15: El TAD de las colas. (Transparencias).
- Tema 16: El TAD de las colas de prioridad. (Transparencias).
- Tema 17: El TAD de los conjuntos. (Transparencias).
- Tema 18: El TAD de las tablas. (Transparencias).
- Tema 19: El TAD de las árboles binarios de búsqueda. (Transparencias).
- Tema 20: El TAD de los montículos. (Transparencias).
- Tema 21: El TAD de los polinomios. (Transparencias).
- Tema 22: Algoritmos sobre grafos. (Transparencias).
- Tema 23: Técnicas de diseño descendente de algoritmos. (Transparencias y Búsqueda).
- Tema 24: Técnicas de diseño ascendente de algoritmos. (Transparencias).
- Complementarios
- Tema 25: Programación de dibujos con Haskell y Gloss.
- Tema 26: Programación de fractales con Haskell y Gloss.
- Tema 27: Programación de animaciones con Haskell y Gloss.
- Tema 28: Análisis de la complejidad de los algoritmos.
- Tema 29: Los diccionarios en Haskell (Data.Map).
- Tema 30: Programación dinámica.
- Introducción al cálculo simbólico
- Programación imperativa con Maxima.
- Introducción a Maxima.
- Funciones de una variable.
- Aritmética.
- Sucesiones y recursión.
- Programación.
- Matrices en Maxima.
- Gráficos y animaciones.
- Resolución computacional de problemas matemáticos
Códigos
- En Códigos de los Temas de "Programación funcional" se encuentra los códigos de los temas del curso.
- En Manual navegable de TAD se encuentran las especificaciones de los tipos abstractos de datos (estudiados desde el tema 14 al 21) con enlaces a sus definiciones.
- En Manual con ejemplos de los TAD se encuentran las especificaciones de los tipos abstractos de datos (estudiados desde el tema 14 al 21) con ejemplos de uso.
- En Resumen de los tipos abstractos de datos se encuentra las especificaciones de los TAD estudiados desde el tema 14 al 21.
- En Grafo de dependencia de los tipos abstractos de datos se encuentra las dependencias de los TAD estudiados desde el tema 14 al 21.
