Nome do Componente Curricular: Matemtica Discreta

Pr-requisitos: No h
Carga Horria Total: 72h
Carga Horria Prtica: 36h
Carga Horria Terica: 36h
Objetivos
Gerais:
Introduzir o aluno ao pensamento matemtico. Em particular, o aluno aprender algumas das tcnicas
mais importantes da Matemtica: definir rigorosamente, fazer demonstraes e encontrar contraexemplos. Familiarizar o aluno com as principais tcnicas de contagem.
Especficos:
Ao final da unidade curricular o aluno dever estar apto a definir conceitos matemticos
rigorosamente, compreender e elaborar demonstraes simples, formular contra-exemplos e
compreender conceitos bsicos de conjuntos e funes. Propiciar ao aluno o conhecimento das
principais ferramentas de contagem de modo a torn-lo apto a aplicar essas tcnicas onde problemas
de Combinatria aparecem, especialmente aqueles envolvendo enumerao.
Ementa:
Tcnicas de demonstrao. Demonstraes com inteiros. Demonstraes com conjuntos. Princpios de
contagem. Aplicaes.
Contedo Programtico:
Nmeros inteiros: definies, teoremas e contra-exemplos. Tcnicas de demonstrao:
demonstrao direta, contrapositiva, contradio. Tabela verdade. Quantificadores. Princpio da
induo finita e recursividade.
Demonstraes com conjuntos: definies e notaes, operaes entre conjuntos, conjunto das
partes.
Princpios aditivo e multiplicativo. Aplicaes: permutaes, arranjos e combinaes.
Equaes com coeficientes unitrios. Combinao, arranjo e permutao com repeties.
Princpio da incluso e excluso. Aplicaes.
Funes geradoras. Clculo de coeficientes de funes geradoras.
Relaes de recorrncia lineares homogneas. Relaes de recorrncia lineares no homogneas.
Resoluo baseada em funes geradoras.
Metodologia de Ensino Utilizada:
Aulas expositivas e de exerccios. Listas de exerccios extraclasse.
Recursos Instrucionais Necessrios:
Sala de aula com lousa e projetor multimdia. Acesso ao MOODLE como ferramenta EAD.
Critrios de Avaliao:
O sistema de avaliao ser definido pelo docente responsvel pela unidade curricular no incio das
atividades letivas devendo ser aprovado pela Comisso de Curso e divulgado aos alunos. O sistema
adotado deve contemplar o processo de ensino e aprendizagem estabelecido neste Projeto
Pedaggico, com o objetivo de favorecer o progresso do aluno ao longo do semestre. A promoo do
aluno na unidade curricular obedecer aos critrios estabelecidos pela Pr-Reitoria de Graduao, tal
como discutido no Projeto Pedaggico do Curso.
Bibliografia
Bsica:
1. ALENCAR FILHO, E. Iniciao a lgica matemtica. 21 ed. So Paulo: Nobel, 2008.
2. ROSEN, K. H. Matemtica discreta e suas aplicaes. 6 ed. So Paulo: McGraw-Hill, 2009.
3. SCHEINERMAN, E. R. Matemtica discreta: uma introduo. So Paulo: Cengage Learning,
2011.
4. SANTOS, J. P. O.; MELLO, M. P.; MURARI, I. T. C. Introduo Anlise Combinatria. 4 ed. Rio

de Janeiro: Editora Cincia Moderna, 2007.

Complementar:
1. LOVZ, L.; PELIKN, J.; VESZTERGOMBI, K. Matemtica discreta: elementar e alm. Rio de
Janeiro: SBM, 2003.
2. GERSTING, J. Fundamentos matemticos para a cincia da computao: um tratamento
moderno de matemtica discreta. 5 ed. Rio de Janeiro: LTC, 2008.
3. LIPSCHUTZ, S.; LIPSON, M. Teoria e problemas de matemtica discreta. 2 ed. Porto Alegre:
Bookman, 2006.
4. MENEZES, P. B. Matemtica discreta para computao e informtica. 2 ed. Porto Alegre:
Bookman, 2005.
5. MENEZES, P. B.; TOSCANI, L.; LPEZ, J. G. Aprendendo matemtica discreta com exerccios.
Porto Alegre: Bookman, 2009.
6. VELLEMAN, D. J. How to prove it: a structured approach. 2 ed. New York : Cambridge
University Press, 2006.
7. GRAHAM, R. L.; KNUTH, D. E.; PATASHNIKk, O. Matemtica concreta: fundamentos para
cincia da computao. 2.ed. Rio de Janeiro: LTC, 1995.