Computabilidad y Complejidad

Este curso busca introducir al alumno en la Teoría de la Computación:

• Extiende los modelos limitados vistos en Autómatas y Lenguajes.

• Aborda el uso de la Máquina de Turing como modelo principal de computación.

• Estudia la Teoría de la Computabilidad  para determinar la clase de problemas (lenguajes) que pueden ser resueltos.

• Analiza la Teoría de la Complejidad para estudiar el costo en tiempo y/o espacio de los problemas.