25. Computabilidad y complejidad computacional
Cubre máquinas de Turing, decidibilidad, reducciones, clases P y NP, NP-completitud y límites de la computación. Los ejercicios muestran qué problemas pueden resolverse, aproximarse o demostrarse intratables.