22-9-03 Presentación de la asignatura
23-9-03 El concepto de TAD. Metodología de la programación con TADs
24-9-03 Implementación de TADs. Tads genéricos
25-9-03 Paquetes genéricos en ADA. Nota sobre complejidad en tiempo
29-9-03 Ejemplos de especificaciones ecuacionales
30-9-03 Semántica de una especificación: basura y confusión
1-10-03 Construcción de especificaciones
2-10-03 Ejercicios de construcción de especificaciones. Ecuaciones con condición
6-10-03 Ejercicios de construcción de especificaciones. Teorema de unicidad
7-10-03 Ejercicios de construcción de especificaciones
8-10-03 Introducción a los punteros
12-10-03 Más sobre punteros. Ejercicios sencillos con punteros
15-10-03 Tipos de datos lineales: pilas. Inversión de una frase
16-10-03 Implementaciones de pilas. Aplicación: spans del mercado de valores (propuesto)
20-10-03 Colas: especificación e implementación estática
21-10-03 Colas: implementación dinámica. Listas con acceso por posición: especificación
22-10-03 Listas con acceso por posición: implementación
23-10-03 Ejemplo: historias de páginas web visitadas
27-10-03 Listas con punto de interés: implementación dinámica
28-10-03 Listas con punto de interés: especificación e implementación con pilas
29-10-03 Ejemplo de la agenda electrónica. Listas doblemente encadenadas y circulares
30-10-03 Enunciado de ejercicios sobre TADs lineales: matrices esparsas, spans del mercado de valores (ya propuesto)
5-11-03 Introducción a árboles
6-11-03 Especificación de árboles generales
10-11-03 Árboles binarios: especificación e implementación
11-11-03 Implementación de árboles generales
12-11-03 Recorridos de árboles. Aplicación: ls (propuesto)
13-11-03 Árboles binarios de búsqueda
17-11-03 Borrado en ABBs. Introducción a AVLs
18-11-03 Rotaciones en AVLs
19-11-03 Implementaciones de un diccionario. Principio árboles multicamino
20-11-03 Árboles multicamino. Inserción en 2-3-4
24-11-03 Fin inserción en 2-3-4. Borrado en 2-3-4
25-11-03 Fin borrado 2-3-4. Resumen árboles equilibrados. Especificación de colas con prioridades
26-11-03 Implementación de montículos
27-11-03 Ordenación de vectores usando montículos. Solución del examen del 21-1-03
1-12-03 Continuación solución del examen del 21-1-03
2-12-03 Solución problema 1 del examen del 21-6-02. Divide y vencerás: ordenación de vectores. Backtracking: el problema de las 8 reinas
3-12-03 Fin del problema de las 8 reinas. Algoritmos voraces: el problema del monedero. Propuesto: el problema del viajante
4-12-03 Árboles de juego: el tres en raya
10-12-03 El TAD tabla. Especificación. Implementación con árboles
11-12-03 Tablas hash: Funciones hash. Implementación con encadenamiento
15-12-03 Tablas hash: implementación con recolocación.
16-12-03 Fin recolocación.
17-12-03 Ejercicio 7 de tablas hash.
7-1-04 Examen del 1-7-03.
8-1-04 Ejercicio 9 de tablas hash.
12-1-04 Examen del 24-1-03
13-1-04 Examen del 7-2-01
14-1-04 Examen del 4-7-95 (ejercicio 2)
15-1-04 Examen del 17-9-96 (ejercicio 2)