Temas

• Autómatas y Lenguajes Formales.
• Semántica de los Lenguajes de Programación.
• Compiladores e Intérpretes.
• Análisis de Algoritmos y Complejidad Computacional.
• Modelos Formales.
• Optimización en el área de la Investigación Operativa.