Disciplina obrigatória para o mestrado em Ciência da Computação. Veja http://www.ime.usp.br/~pf/mac5711-2008