Prefacio
0. Introducción
¿Por qué resolver problemas y programar son labores tan difíciles?

1. Cálculo lógico
Introducción
1.0 Operadores voléanos
1.1 Cuantificaciones
1.2 Conjuntos, secuencias y bolsas
1.3 Inducción y relaciones bien fundadas
1.4 Sobre el arte de demostrar teoremas

2. La programación como ciencia
2.0 La confiabilidad del software
2.1 El proceso creativo en programación
2.2 Qué, por qué y cómo
2.3 Notas bibliográficas

3. Corrección y derivación de programas iterativos
3.0 Triplas de Hoare
3.1 Corrección de programas iterativos
3.2 Tema de profundización: Equivalencia de programas y precondición más débil
3.3 Técnicas elementales de derivación formal de algoritmos
3.4 Diseño de programas iterativos
3.5 Logro parcial del objetivo

4. Corrección y derivación de programas recurrentes
4.0 Abstracción de procesos: Comandos modulares
4.1 Programas recurrentes
4.2 Derivación de programas recurrentes

5. Complejidad algorítmica
5.0 Problemas y soluciones algorítmicas
5.1 Complejidad de algoritmos
5.2 Órdenes de complejidad
5.3 Cálculos de complejidad de algoritmos

6. Ecuaciones de recurrencia
6.0 Definiciones básicas
6.1 Ejemplos de análisis de algoritmos
6.2 Ecuaciones de recurrencia
6.3 Ecuaciones de recurrencia lineales
6.4 Ecuaciones de recurrencia no lineales

7. Métodos generales de solución de problemas
7.0 Divide y vencerás
7.1 Técnicas voraces
7.2 Programación dinámica
7.3 Cambio de representación
7.4 Técnicas de aproximación

8. Divide y vencerás
8.0 Problema prototípico
8.1 Algoritmos de ordenamiento
8.2 Multiplicación de matrices

9. Técnicas avanzadas de derivación
9.0 Fortalecimiento de invariables
9.1 Balance de información
9.2 Modificación de arreglos

Filtros