Aspectos Formais da Computação
2020/1
O objetivo geral da disciplina é estudar as teorias relativas aos autômatos e às linguagens formais e as relações de equivalência envolvendo esses modelos. Aplicar essas teorias na modelagem e solução de problemas computacionais bem como identificar problemas indecidíveis.
Metodologia Científica
2020/1
Disciplina de Metodologia Científica para estudantes do Programa de Pós-graduação em Ciência da Computação (PPGCC)