Docentes: Javier Apolloni - Paula Villegas - Fabricio Loor - Guillermo Leguizamón
*INICIO DE CLASES 2025
miércoles 12 de marzo - 11 h - Aula 53
*Examen Final - Turnos
consulta: enviar mail a apojavi@gmail.com para coordinar
examen: enviar mail a apojavi@gmail.com para coordinar
Resumen:
Este curso está dedicado al estudio formal de la teoría de lenguajes, y a entender la idea intuitiva de "algoritmo" y su relevancia en la teoría de computabilidad y de la complejidad.
El objetivo de este curso es que el alumno sea capaz de comprender:
El funcionamiento de los modelos formales de cómputos: autómatas y gramáticas, y los lenguajes formales.
Los aspectos relevantes de la teoría de computabilidad (lenguajes (no) decidibles) y complejidad computacional (problemas NP-completos)