Computabilidad, complejidad computacional y verificación de programas

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