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