UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO

Rua Dom Manoel de Medeiros, s/n. - Dois Irmãos 52171-900 Recife - PE

Fone: 81-3302-11485 www.ufrpe.br

PROGRAMA DE DISCIPLINA

IDENTIFICAÇÃO

DISCIPLINA: Matemática Discreta CÓDIGO: 06203

DEPARTAMENTO: Física e Matemática ÁREA: Estatística
CARGA HORÁRIA TOTAL: 60 NÚMERO DE CRÉDITOS: 04
CARGA HORÁRIA SEMANAL: TEÓRICAS: 4h PRÁTICAS: 0h TOTAL: 4h
PRÉ -REQUISITOS: Não Tem
CO-REQUISITOS: : Não Tem

OBJETIVOS

Fornecer aos alunos os conhecimentos básicos de prova matemática, teoria dos conjuntos,
álgebra, combinatória e teoria dos grafos, habilitando-os a resolverem problemas da área de
Ciência da Computação que fazem uso dessas teorias e técnicas.

EMENTA

Indução e Recursão. Teoria de Conjuntos: conjuntos, cardinalidade, função, relação, ordem e

reticulados. Álgebra Discreta: grupo, monóide, anéis, álgebra booleana. Teoria dos Números:
MDC, teste de primos, modularidade. Combinatória: permutação, combinação, recorrência,
grafos e matróides. Comportamento Assintótico.

CONTEÚDOS
UNIDADES E ASSUNTOS

1. Definição Matemática
2. Teorema
3. Prova
4. Contra-Exemplo
5. Álgebra de Boole
6. Listas
7. Fatorial
8. Conjuntos I: Introdução, Subconjuntos.
9. Quantificadores
10. Conjuntos II: Operações
11. Relações
12. Relações de Equivalência.
13. Partições
Continuação
DISCIPLINA: Matemática Discreta CÓDIGO: 06203

UNIDADES E ASSUNTOS

14. Coeficientes Binomiais

15. Provas por Contradição
16. Contra-exemplo Mínimo
17. Provas por Indução
18. Funções
19. Tipos de Notação.
20. Teoria dos Números: divisão
21. Máximo Divisor Comum
22. Aritmética Modular
23. Álgebra Abstrata: Semigrupos, Monóides, Grupos, Anéis e Corpos.
24. Fundamentos de Grafos
25. Subgrafos
26. Conexão
27. Árvore
28. Grafos Eulerianos
29. Coloração
30. Matróides

BIBLIOGRAFIA
1. Edward R. Scheinerman: Matemática Discreta Uma Introdução. Thomson Pioneira,
2003 (Livro Texto)
2. Paulo Blauth Menezes:Matemática Discreta para Computação e Informática - Série
UFRGS, nº 16 , Editora Sagra-Luzzatto, 2004
3. Graham, Knuth e Patashnik. Matemática Concreta: Fundamentos para Ciência da
Computação. Addison-Wesley, 1994.
4. Skvarcius and Robinson. Discrete Mathematics with Computer Science Applications.
Benjamin/Cummings, 1986.
5. Evaristo Jaime, Introdução à Álgebra com Aplicações à Ciência da Computação.
EdUFAL, 1999.
6. Roman, Steven An Introduction to Discrete Mathematics. HBJ, 1989.

Emissão
Data: Responsável: