Disciplina do Programa de Pós-Graduação em Ciência da Computação.