Apresentar ao aluno conceitos fundamentais das disciplinas de Teoria da Computação (teoria das
linguagens formais e autômatos, teoria da computabilidade e teoria da complexidade). Capacitar o
aluno a compreender e utilizar estes conceitos.
- Docente: Thiago Alexandre Salgueiro Pardo