Especificación de algoritmos -- Ejercicios resueltos -- Ejercicios propuestos -- Verificación -- Reglas básicas de verificación -- Precondición más débil -- Reglas específicas -- Verificación de algoritmos recursivos -- Análisis de complejidad -- Derivación de algoritmos iterativos -- Derivación de algoritmos recursivos -- Análisis por casos y composición -- Técnicas de inmersión -- Técnica de desplegado y plegado -- Transformación de recursivo lineal e iterativo