Pré-requisito: Não há.
Carga horária: 60h.
EMENTA:
- Conjuntos, Álgebra de Conjuntos e Cardinalidade.
- Relações.
- Relações de Equivalência e Ordem.
- Funções Parciais e Totais.
- Indução e Recursão.
- Lógica de Proposições.
- Lógica de Predicados.
- Sistemas Dedutivos e Técnicas de Demonstração.
BIBLIOGRAFIA BÁSICA:
1. Menezes, P. B. Matemática Discreta para Computação e Informática. Porto Alegre: Sagra Luzzatto, 2010.
2. Gersting, J. Fundamentos Matemáticos para a Ciência da Computação – Um Tratamento Moderno da Matemática Discreta. 5ª. Ed. Rio de Janeiro: LTC, 2004.
3. Iezzi, G., Murakami, C. Fundamentos de Matemática Elementar. Vol. 1, Ed. Atual, 1983.
BIBLIOGRAFIA COMPLEMENTAR:
1. Souza, J. N. Lógica para Ciência da Computação – Fundamentos de Linguagem, Semântica e Sistemas de Dedução. Rio de Janeiro: Ed. Campus, 2002.
2. Figueiredo, L. M.; Silva, M. O.; Cunha, M. O. Matemática Discreta, v. I, 3ª. ed. Rio de Janeiro: Fundação CECIERJ, 2007.
3. Scheinerman, E. R. Matemática Discreta: Uma Introdução. São Paulo: Thomson Learning Edições, 2006.
4. Morgado, A. C. O., Cesar, B. Matemática Básica. Rio de Janeiro: Elsevier, 2008.
5. Milies, C. P., Coelho, S. P. Números: Uma Introdução à Matemática. São Paulo: EDUSP, 2001.
6. Hefez, A. Curso de Álgebra. 2ª. ed. Rio de Janeiro: IMPA, 1997.
7. Domingues, H., Iezzi, G. Álgebra Moderna. 2ª. ed. São Paulo: Editora Atual, 1982.