
Filtragem: Princípios e Aplicações (Filtering: Principles And Applications)
Apresentar os principais algoritmos de filtragem derivados do filtro de Bayes. Estudar aplicações de filtragem em diversas áreas de aplicação da robótica, realizando o desenvolvimento do modelo matemático do sistema, a sua implementação, e a sintonia dos parâmetros do filtro. Praticar a programação desses algoritmos utilizando dados reais e simulados.

Aspectos Formais da Computação
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
Disciplina de Metodologia Científica para estudantes do Programa de Pós-graduação em Ciência da Computação (PPGCC)