Matemática Discreta
Bacharelado em Sistemas de
Informação
Profa. Silvana Bocanegra
UFRPE - DEINFO
Objetivos
• Apresentar conceitos básicos de provas
matemáticas
– Desenvolver raciocínio lógico
– Capacidade de organização e síntese
– Formalismo em linguagem matemática
• Apresentar conceitos da Teoria dos Conjuntos
– Princípio para a construção da matemática
– Fornece estruturas para construir teorias em computação
2
•
Relações
–
•
Banco de dados relacional
Definir funções
–
•
Utilizada para denotar complexidade de algoritmos
Indução e Recursão
–
•
Desenvolvimento de algoritmos recursivos
Teoria dos números
–
Criptografia
3
•
Análise Combinatória
–
–
•
Recursos finitos: memória
Problemas de contagem
Introduzir a Teoria dos Grafos
–
Estruturas fundamentais para modelagem e solução de
problemas em computação
4
Dinâmica do Curso
• Aulas expositivas
– Teoria
– Aulas de exercícios
• Exercícios para casa
5
Ementa
•
•
•
•
•
•
•
Noções de Lógica e Técnicas em Demonstração
Teoria dos Conjuntos
Relações e Funções
Indução e Recursão
Introdução a Teoria dos Números
Análise Combinatória
Grafos
6
Avaliação
Notas:
• 1ª VA = Teste 1 (6,0 pontos)
Teste 2 (3,0 pontos)
Listas de Exercícios (1 ponto)
• 2ª VA = Teste 3 (4,5 pontos)
Teste 4 (4,5 pontos)
Listas de Exercícios (1 ponto)
• 3ª VA = Prova (substituir 1ª VA ou 2ª VA)
• Final = Prova
7
OBS1: a 3ª VA e Final incluem toda a matéria do semestre.
Bibliografia
BÁSICA:
•
1. Edward R. Scheinerman: Matemática Discreta Uma Introdução. Thomson
Pioneira, 2003.
•
2. Paulo Blauth Menezes:Matemática Discreta para Computação e Informática
- Série UFRGS, nº 16 , Editora Sagra-Luzzatto, 2004.
•
3. Judith L. Gersting. Fundamentos Matemáticos para a Ciência da
Computação.5ª Edição, Editora LTC, 2004.
COMPLEMENTAR:
•
1. Graham, Knuth e Patashnik. Matemática Concreta: Fundamentos para
Ciência da Computação. Addison-Wesley, 1994.
•
2. Skvarcius and Robinson. Discrete Mathematics with Computer Science
Applications. Benjamin/Cummings, 1986.
•
3. Evaristo Jaime, Introdução à Álgebra com Aplicações à Ciência da
Computação. EdUFAL, 1999.
•
4. Roman, Steven An Introduction to Discrete Mathematics. HBJ, 1989 8