Nome do Componente Curricular: Matemtica DiscretaPr-requisitos: No hCarga Horria Total: 72hCarga Horria Prtica: 36h Carga Horria Terica: 36hObjetivosGerais:Introduzir o aluno ao pensamento matemtico. Em particular, o aluno aprender algumas das tcnicas mais importantes da Matemtica: definir rigorosamente, fazer demonstraes e encontrar contra-exemplos. 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.BibliografiaBsica:

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.