Realizar uma exploração orientada das linguagens formais e máquinas enquanto modelos abstratos da computação, de modo a compreender as relações existentes entre linguagens formais e computabilidade, percebendo que tais fundamentos persistem, independentemente das tecnologias vigentes associadas à Computação. A disciplina busca ainda promover a familiaridade com a matemática como linguagem de representação de abstrações em Computação.
- Professor: Raimundo Barreto
- Monitor: Sandro Bessa