Objetivos: Dar ao aluno formação básica  em uma área da matemática importante para o trabalho em ciência da computação.

· Indução Matemática: Demonstração matemática, princípio de indução, indução forte, outras induções, provas por indução, erros comuns em indução, definições indutivas, algoritmos e indução.

· Princípios de Contagem: Permutações e combinações, indentidades e argumentos combinatoriais, inclusão e exclusão, algoritmos combinatoriais e princípio da casa do pombo.

· Noções Básicas de Grafos e Algoritmos em Grafos: Terminologia e notação, caminhos, ciclos, representações, caminho mais curto, árvores geradora mínima, busca em profundidade e em largura, coloração de grafos, caminhos eulerianos e hamiltonianos..

1. Apostilas disponíveis em www.inf.puc-rio.br/~uchoa/inf1308.html
2. J. Gersting, Fundamentos Matemáticos para a Ciência da Computação, (LIVRO TEXTO Caps: 2, 3, 5 e 6)
3. S.B. Maurer e A. Ralston, Discrete Algorithmic Mathematics, Addison-Wesley, 1991. (LIVRO TEXTO Caps: 0, 1, 2, 3 e 4)