Ementa:

Conceitos básicos de matemática discreta e de lógica para computação. Técnicas de provas, indução matemática. Relações e conceitos de teoria de grafos. Modelagem de problemas usando grafos.

Programa: 

- Lógica Proposicional

- Métodos de Provas

- Conjuntos, Seqüências e Somas

- Indução Matemática

- Relações

- Conceitos Básicos de Grafos

- Problemas Clássicos em Grafos

- Modelagem de Problemas em Grafos  

Bibliografia: 

1 - [Livro-texto] K. H. Rosen. Discrete Mathematics and its applications, 5a. Edição, McGraw-Hill (2003).

2 - J. P. O. Santos, M. P. Mello e I. T. C. Murari. Introdução à análise combinatória, Editora da UNICAMP, Campinas (1998).

3 - U. Manber. Algorithms: A Creative Approach, Addison-Wesley (1989).

4 - J. L. Gersting. Fundamentos Matemáticos para a Ciência da Computação. 4a. edição, LTC Editora, Rio de Janeiro (2001).