1. Construyendo Abstracciones con Procedimientos
- 1.1. Los Elementos de la Programación
- 1.1.1. Expresiones
- 1.1.2. Los Nombres y el Entorno
- 1.1.3. Evaluando Combinaciones
- 1.1.4. Procedimientos Compuestos
- 1.1.5. El Modelo de Sustitución para la Aplicación de Procedimientos
- 1.1.6. Expresiones Condicionales y Predicados
- 1.1.7. Ejemplo: Raíces Cuadradas por el Método de Newton
- 1.1.8. Procedimientos como Abstracciones de Caja Negra
- 1.2. Procedimientos y los Procesos que Generan
- 1.3. Formulación de Abstracciones con Procedimientos de Orden Superior
2. Construyendo Abstracciones con Datos
- 2.1. Introducción a la Abstracción de Datos
- 2.1.1.
- 2.1.2.
- 2.1.3.
- 2.1.4.
- 2.2. Datos Jerárquicos y la Propiedad de Clausura
- 2.2.1.
- 2.2.2.
- 2.2.3.
- 2.2.4.
- 2.3. Datos Simbólicos
- 2.3.1.
- 2.3.2.
- 2.3.3.
- 2.3.4.
- 2.4. Múltiples Representaciones para Datos Abstractos
- 2.4.1.
- 2.4.2.
- 2.4.3.
- 2.5 Sistemas con Operaciones Genéricas
- 2.5.1.
- 2.5.2.
- 2.5.3.
3. Modularidad, objetos y estado
- 3.1.
- 3.1.1.
- 3.1.2.
- 3.1.3.
- 3.2.
- 3.2.1.
- 3.2.2.
- 3.2.3.
- 3.2.4.
- 3.3.
- 3.3.1.
- 3.3.2.
- 3.3.3.
- 3.3.4.
- 3.3.5.
- 3.4.
- 3.4.1.
- 3.4.2.
- 3.5.
- 3.5.1.
- 3.5.2.
- 3.5.3.
- 3.5.4.
- 3.5.5.
4. Abstracción Metalingüística
- 4.1.
- 4.1.1.
- 4.1.2.
- 4.1.3.
- 4.1.4.
- 4.1.5.
- 4.1.6.
- 4.1.7.
- 4.2.
- 4.2.1.
- 4.2.2.
- 4.2.3.
- 4.3.
- 4.3.1.
- 4.3.2.
- 4.3.3.
- 4.4.
- 4.4.1.
- 4.4.2.
- 4.4.3.
- 4.4.4.
5. Computando con máquinas de registro
- 5.1.
- 5.1.1.
- 5.1.2.
- 5.1.3.
- 5.1.4.
- 5.1.5.
- 5.2.
- 5.2.1.
- 5.2.2.
- 5.2.3.
- 5.2.4.
- 5.3.
- 5.3.1.
- 5.3.2.
- 5.4.
- 5.4.1.
- 5.4.2.
- 5.4.3.
- 5.4.4.
- 5.5.
- 5.5.1.
- 5.5.2.
- 5.5.3.
- 5.5.4.
- 5.5.5.
- 5.5.6.
- 5.5.7.