Portal do Ementário

Teoria de conjuntos. Funções. Relações. Indução. Recursão. Introdução à lógica proposicional. Álgebra Booleana. Introdução à probabilidade discreta. Funções geradoras. Comportamentos assintóticos.

MENEZES, Paulo Blauth. Matemática discreta para computação e informática. 3ª ed. Porto Alegre: Bookman, 2010. LIPSCHUTZ, S.; LIPSON, M.; Matemática Discreta. 2ª ed. Ed. Bookman, 2004. SCHEINERMAN, Edward R. Matemática discreta: uma introdução. São Paulo: Pioneira: Thomson Learning, 2003.

O’DONNELL, John; HALL, Cordelia; PAGE, Rex L. Discrete mathematics using a computer. 2nd ed. London: Springer, 2006. VELLEMAN, Daniel J. How to prove it: a structured approach. 2nd ed. Cambridge: Cambridge University Press, 2006.