Matemtica Discreta

Cdigo: INF
Crditos: 04
Horas-aula: 60
Semestre: 2013/01

Cursos: Engenharia de Computao

Pr-Requisitos: Nenhum

Professor: Celso Antnio Alves Kaestner

Objetivos:

Estudar os conceitos e resultados bsicos dos contedos da smula, fornecendo ao estudante

conhecimentos e tcnicas que lhe sejam teis posteriormente. Capacitar o aluno a uma
apreciao da disciplina no s como expresso da criatividade intelectual, mas como
instrumento para o domnio da cincia e da tcnica atual. Desenvolver e consolidar atitudes de
participao, comprometimento, organizao, flexibilidade, crtica e autocrtica no desenrolar
do processo de ensino-aprendizagem.

Metodologia e Experincias de Aprendizagem:

Os contedos programticos so abordados por meio de aulas expositivo-dialogadas e estudos

individuais. A resoluo de exerccios necessria tambm como atividade extra classe.

Contedo Programtico
1. Noes de Lgica Matemtica: proposies, valor-verdade, conjuno, disjuno,
implicao e equivalncia de proposies.
2. Tcnicas de demonstrao de teoremas.
3. Conjuntos: subconjuntos, igualdade de conjuntos, conjunto das partes, diagramas de
Venn.
4. Operaes com conjuntos, lgebra de conjuntos, relao das operaes com conjuntos
com as operaes lgicas.
5. Funes: imagem, funes injetoras e sobrejetoras, composio de funes, funo
inversa. Sequncias.
6. Relaes: representaes de relaes por grafos, matrizes e diagramas, composio de
relaes, relao inversa ou dual. Propriedades de relaes.
7. Relaes de equivalncia: classes de equivalncia e parties.
8. Relaes de ordem: diagrama de Hasse, conjuntos parcialmente ordenados, totalmente
ordenados, reticulados.
9. Induo matemtica; recurso.
10. lgebras booleanas: expresses booleanas.
11. Estruturas algbricas: grupos e aplicaes.
Bibliografia
Bibliografia Bsica:

1. Gersting, J. L. Fundamentos Matemticos para a Cincia da Computao, LTC,

1993. ISBN: 8521614225
2. Menezes, Paulo B. Matemtica Discreta para Computao e Informtica, Srie
Livros Didticos, nmero 16, Instituto de Informtica da UFRGS, Editora Sagra
Luzzatto, 2004. ISBN: 8521614225
3. Scheinerman, Eduard R. Matemtica Discreta: uma introduo, Thomson Learning,
2006. ISBN: 9788522102914

Bibliografia Complementar:

1. Ross, Kenneth & Wright, Charles Discrete Mathematics, Prentice Hall, 1992. ISBN:
0130652474
2. Lipschutz, Seymour & Lipson, Marc Matemtica Discreta, Coleo Schaum,
Bookman, 2004. ISBN: 8536303611; 9788536303611
3. Prather, R. Discrete Mathematical Structures for Computer Science, Editora
Houghton Mifflin . ISBN: 978-0395206225
4. Preparata, Franco P. e Yeh, Raymond T. Introduction to Discrete Structures for
Computer Science and Engineering.
5. Domingues, Hygino H. e Iezzi, Gelson lgebra Moderna, Editora Atual. ISBN:
8570567189
6. Epp, Susanna S. Discrete Mathematics with Applications, Editora CENGAGE
LEARNING INT, 1995. ISBN: 9780534360283
7. Rosen, Kenneth H. Discrete Mathematics and Its Applications, McGraw-Hill, 1999.
ISBN: 8577260364; 9788577260362

Avaliao
Critrios de Avaliao:

Sero realizadas duas provas bimestrais. A primeira prova abordar os itens de 1 a 6 do

Contedo Programtico e a segunda prova os itens de 7 a 11, podendo haver pequenas
variaes conforme o desenvolvimento da disciplina.

O aluno estar aprovado na disciplina se:

cumprir a exigncia de no mnimo 75% de presena nas aulas ministradas, conforme

legislao; e
a mdia aritmtica das duas provas for igual ou superior a 6,0 (seis);
caso esta mdia no seja atingida poder haver uma prova adicional (exame final) que
abordar todo o contedo da disciplina; neste caso ser considerado aprovado o aluno
que conseguir mdia 6,0 (seis) entre o resultado da prova adicional e a mdia das
provas bimestrais.