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
Relações Definir funções Indução e Recursão Teoria dos números 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
Introduzir a Teoria dos Grafos 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
Dinâmica do Curso Aulas expositivas Exercícios para casa Teoria Aulas de exercícios Exercícios para casa
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
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) 3ª VA = Prova (substituir 1ª VA ou 2ª VA) Final = Prova 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