4.15.4.2 Teoría de la Computabilidad (20 horas) [Habilidades ABET1]

Referencias Bibliográficas: [Sipser, 2012,Kelley, 1995] Temas

1. Problema de la parada.
2. Introducción a las clases P y NP y al problema P vs. NP.
3. Introducción y ejemplos de problemas NP- Completos y a clases NP-Completos.
4. Máquinas de Turing, o un modelo formal equivalente de computación universal.
5. Máquinas de Turing no determinísticas.
6. Jerarquía de Chomsky.
7. La tesis de Church-Turing.
8. Computabilidad.
9. Teorema de Rice.
10. Ejemplos de funciones no computables.
11. Implicaciones de la no-computabilidad.

Objetivos de Aprendizaje (Learning Outcomes)

1. Explique porque el problema de la parada no tiene solucion algorítmica [Evaluar]
2. Define las clases P y NP [Evaluar]
3. Explique el significado de NP-Completitud [Evaluar]
4. Explica la tesis de Church-Turing y su importancia [Familiarizarse]
5. Explica el teorema de Rice y su importancia [Familiarizarse]
6. Da ejemplos de funciones no computables [Familiarizarse]
7. Demuestra que un problema es no computable al reducir un problema clásico no computable en base a él