1.1. Introducción.
Abstracciones funcionales ? Rutinas, procedimientos.
Abstracciones de datos ? Tipos Abstractos de Datos.
Abstracciones de iteradores ? Iteradores.
Especificaciones: Tipos de notaciones
Notaciones formales.
- Algebraicas.
- Operacionales.