Material de apoio do curso do programa de pós graduação em Computação da Universidade Federal Fluminense. Elaborado pelo Prof. Marcos Lage (www.ic.uff.br/~mlage).