Académique Documents
Professionnel Documents
Culture Documents
Cdigo: INF
Crditos: 04
Horas-aula: 60
Semestre: 2013/01
Objetivos:
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:
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: