Inicial
Temas
Ejercicios
Documentación
Sistemas
Exámenes
Temas de "Informática (2010-11)"
Apuntes y códigos
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
Resumen de los tipos abstractos de datos
se encuentra las especificaciones de los TAD estudiados desde el tema 14 al 21.
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.
Presentaciones, transparencias y códigos
Programación funcional
Tema 1: Introducción a la programación funcional.
(
Presentación
y
transparencias
).
Tema 2: Introducción a la programación con Haskell.
(
Presentación
,
transparencias
y
código
).
Tema 3: Tipos y clases.
(
Presentación
y
transparencias
).
Tema 4: Definición de funciones.
(
Presentación
y
transparencias
y
código
).
Tema 5: Definiciones de listas por comprensión.
(
Presentación
,
transparencias
y
código
).
Tema 6: Funciones recursivas.
(
Presentación
,
transparencias
y
código
).
Tema 7: Funciones de orden superior.
(
Presentación
,
transparencias
y
código
).
Tema 8: Razonamiento sobre programas. (
Presentación
y
transparencias
).
Tema 9: Declaraciones de tipos y clases. (
Presentación
y
transparencias
).
Tema 10: Evaluación perezosa. (
Presentación
y
transparencias
).
Tema 11: Aplicaciones de la programación funcional. (
Presentación
,
transparencias
y
código
).
Tema 12: Analizadores funcionales. (
Presentación
y
transparencias
).
Tema 13: Programas interactivos. (
Presentación
y
transparencias
).
Tema 14: El TAD de las pilas. (
Presentación
,
transparencias
y
código
).
Tema 15: El TAD de las colas. (
Presentación
y
transparencias
y
código
).
Tema 16: El TAD de las colas de prioridad. (
Presentación
y
transparencias
y
código
).
Tema 17: El TAD de los conjuntos. (
Presentación
y
transparencias
y
código
).
Tema 18: El TAD de las tablas. (
Presentación
y
transparencias
y
código
).
Tema 19: El TAD de las árboles binarios de búsqueda. (
Presentación
y
transparencias
y
código
).
Tema 20: El TAD de los montÃculos. (
Presentación
y
transparencias
y
código
).
Tema 21: El TAD de los polinomios. (
Presentación
y
transparencias
y
código
).
Tema 22: Algoritmos sobre grafos.. (
Presentación
y
transparencias
y
código
).
Tema 23: Técnicas de diseño descendente de algoritmos. (
Presentación
y
transparencias
y
código
).
Tema 24: Técnicas de diseño ascendente de algoritmos. (
Presentación
y
transparencias
y
código
).
Introducción al cálculo simbólico
Introducción a Maxima.
Funciones de una variable.
Aritmética.
Sucesiones y recursión.
Programación.
Matrices en Maxima.
Gráficos y animaciones.
[
Inicial
|
Temas
|
Ejercicios
|
Documentación
|
Sistemas
|
Exámenes
]
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 21-1-2022
Esta obra está bajo una
licencia de Creative Commons
.