En este estudio de las Ciencias de la Computación se tiene el proposito de presentar a los alumnos principios y fundamentos te´oricos de dos ramas de la Teor´ıa
de la Computación: Teoría de la Computabilidad, y Teoría de la Complejidad Computacional.
Además se propone generar en los estudiantes un esquema lógico que les permita presentar argumentos formales y rigurosamente matemáticos para la
resolución de problemas.
El alumno deberá adquirir habilidades para:
1. Analizar la eficiencia de distintos algoritmos.
2. Determinar si un problema es o no computable.
3. Especificar máquinas de Turing para el estudio de computabilidad de problemas.
4. Plantear alternativas para la solución aproximada de problemas intratables.
5. Incentivar la participación de los alumnos en reuniones cient´ıficas mediante la elaboración de trabajos relacionados con la asignatura.
6. Incentivar a los alumnos a participar activamente en proyectos de investigación.
- Profesor: Gustavo Rivadera
- Profesor: Javier Trenti