Ministrio da Educao

UNIVERSIDADE TECNOLGICA FEDERAL DO PARAN

Campus Francisco Beltro


PLANO DE ENSINO

CURSO Licenciatura em Informtica MATRIZ 7

FUNDAMENTAO
LEGAL

Projeto de Curso aprovado pela Resoluo 179/10 COEPP de 09/12/2010.


DISCIPLINA/UNIDADE CURRICULAR CDIGO PERODO

CARGA HORRIA (aulas)
Matemtica Discreta MD31I I
AT AP APS AD APCC Total
51 3 54
AT: Atividades Tericas, AP: Atividades Prticas, APS: Atividades Prticas Supervisionadas, AD: Atividades a Distncia,
APCC: Atividades Prticas como Componente Curricular.

PR-REQUISITO
No h.
EQUIVALNCIA No h.

OBJETIVOS
O objetivo da disciplina fornecer aos alunos conhecimento das principais tcnicas de matemtica discreta e
sua relao com a informtica. Para tal, os conceitos e resultados bsicos do contedo programtico sero
estudados, levando o aluno a uma apreciao da disciplina no s como expresso de criatividade intelectual,
mas como instrumento para o desenvolvimento da cincia e tecnologia necessrias sociedade atual. Alm
disto, desenvolver e consolidar atitudes de participao, comprometimento, organizao, tica, crtica e auto-
crtica no desenrolar ensino-aprendizagem.

EMENTA
Teoria dos conjuntos, relaes e funes, induo e recurso, anlise combinatria, teoria dos nmeros,
teoria dos grafos e rvores.

CONTEDO PROGRAMTICO
ITEM EMENTA CONTEDO
1 Teoria dos conjuntos.
Tipos de conjuntos. Notaes para conjuntos. Igualdade de
conjuntos. Subconjuntos. Operaes entre conjuntos.
Produto cartesiano. Identidades de conjuntos.
2 Relaes e funes.
Definio. Tipos de relaes. Relao de equivalncia.
Funo. Propriedades das funes.
3 Induo e recurso.
O princpio da induo finita. Provas por Induo
Recursividade. Problemas Recursivos.
4 Anlise combinatria.
Princpios bsicos da contagem. Arranjos, Permutaes e
Combinaes.
5 Teoria dos nmeros.
Introduo. Algoritmo da diviso. MDC. Aritmtica Modular.
Nmeros primos. Algoritmo usual de nmeros primos e sua
eficincia.
6 Teoria dos grafos e arvores. Definio. Propriedades. Formas de representao. rvores.



PROCEDIMENTOS DE ENSINO
AULAS TERICAS
Aula expositiva e dialogada, trabalhos individuais ou em grupos e resoluo de exerccios.
AULAS PRTICAS
No se aplica.

PROCEDIMENTOS DE AVALIAO
Provas escritas e APS.

REFERNCIAS
Referencias Bsicas:

1. MENEZES, P. B. Matemtica Discreta para Computao e Informtica. UFRGS: Ed. Sagra
Luzzatto, 2004.

2. MENEZES, P.B; TOSCANI L. V.; LOPEZ, J. G. Aprendendo Matemtica Discreta com Exerccios.
Vol. 19. Bookman, 2009.

3. SCHEINERMAN, E. R. Matemtica Discreta: Uma Introduo. Cengage Learning. Ed. 2, 2010.

Referncias Complementares:

1. HUNTER, D. J. Fundamentos da Matemtica Discreta. LTC. Ed. 1, 2011.

2. GERSTING, J. L. Fundamentos Matemticos para a Cincia da Computao. 5 edio. Rio de
Janeiro: LTC, 2008.

3. ROSEN, K. H. Matemtica Discreta e suas Aplicaes. McGraw- Hill. Ed. 6, 2009.

4. LIPSCHUTZ, S; LIPSON, M. Matemtica Discreta. Coleo Schaum, Bookman, 2004.

5. ROSS, K; WRIGHT, C. Discrete Mathematics. Prentice Hall, 1992.







Professor Coordenador do Curso