Prólogo
Parte 1. Computabilidad
Clase 1. Máquinas de Turing
Clase 2. Jerarquía de la computabilidad
Clase 3. Indecidibilidad
Clase 4. Reducciones de problemas
Clase 5. Misceláneas de computabilidad
Notas y bibliografía para la Parte 1
Parte 2. Complejidad computacional
Clase 6. Jerarquía de la complejidad temporal
Clase 7. Las clases P y NP
Clase 8. Problemas NP-completos
Clase 9. Otras clases de complejidad
Clase 10. Misceláneas de complejidad computacional
Notas y bibliografía para la Parte 2
Parte 3. Verificación de programas
Clase 11. Métodos de verificación de programas
Clase 12. Verificación de la correctitud parcial
Clase 13. Verificación de la terminación
Clase 14. Sensatez y completitud de los métodos de verificación
Clase 15. Misceláneas de verificación de programas
Notas y bibliografía para la Parte 3
Epílogo
Índice de definiciones
Índice de teoremas
Índice de ejemplos
Índice de ejercicios