Professional Documents
Culture Documents
CDIGO DEPARTAMENTO
13 ANLISE E DESENVOLVIMENTO DE SISTEMAS
CDIGO DISCIPLINA
1307 MATEMTICA DISCRETA
EMENTA
Teoria dos conjuntos. Induo matemtica. Matrizes e Determinantes. Anlise combinatria. Lgica
formal. Relaes. Funes. Grafos e rvores.
OBJETIVOS
Compreender e aplicar os conceitos fundamentais da matemtica para computao em situaes-
problema dentro do contexto do curso.
2
PROGRAMA
Apresentao e discusso do contedo programtico. Introduo/Conceitos Bsicos
Noes de Lgica. Proposio. Conectivos. Negao. Disjuno. Conjuno.
Conectivos. Condicional. Bicondicional. Tabela-verdade.
Frmulas bem formadas(fbf). Equivalncias. Quantificadores.
Clculo Proposicional. Conectivos e clculo proposicional.
lgebra de Conjuntos. Operao de Unio. Operao de Interseo. Operao de Complementar
Operao de Diferena. Conjunto das Partes. Produto Cartesiano. Relao. Funo.
Relao. Funo.
Anlise combinatria.
Aplicao de matrizes: Grafos
Aplicao de matrizes: matriz de translao e matriz de rotao.
METODOLOGIA
- Aulas expositivas;
- Exerccios ou trabalhos, individuais ou em grupos;
- Uso de calculadoras e computadores.
CRITRIOS DE AVALIAO
Prova escrita: P peso 8
Trabalhos em sala de aula: T peso 2
A mdia bimestral final (MB) ser calculada da seguinte forma:
MB= 0,8*P + 0,2*T
BIBLIOGRAFIA BSICA
GARCIA LOPEZ, J; TOSCANI, L V; MENEZES, P B. Aprendendo Matemtica Discreta com
Exerccios. Coleo Livros Didticos Informtica UFRGS, V.19. Bookman, 2009.
GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao. 5. ed. LTC, 2004.
LIPSCHUTZ, Seymour, LIPSON, Marc. Matemtica Discreta. Porto Alegre: Bookman, 2004.
BIBLIOGRAFIA COMPLEMENTAR
SCHEINERMAN, E.R. Matemtica Discreta: Uma Introduo. So Paulo: Cengage Learning, 2008.
SULLIVAN, Michael; MIZRAHI, Abe. Matemtica Finita Uma abordagem aplicada. LTC, 2006.