- Presentación asignatura
- Tema I: Tecnología Java
- Tema II: Especificación formal de algoritmos
- Tema III: Diseño recursivo de algoritmos
- Tema IV: Análisis del coste de algoritmos
- Tema V: Análisis de la corrección
- Transparencias de las Lecciones 13y14, 15 y 16
- Problemas propuestos en clase (I), (II)
- Tema VI Diseño de algoritmos correctos