Matemática 2 (Discreta)
Programa
Lógica Matemática
- Valores lógicos e princípios lógicos; classificação das expressões.
- Lógica proposicional
- Lógica de predicados
- Quantificadores
- Métodos de prova
Teoria de Conjuntos
- Formas de definir um conjunto
- Relações de pertença, de inclusão e de igualdade
- Conjunto das partes de um conjunto
- Operações sobre conjuntos; propriedades
- Cardinalidade e primeiros princípios de contagem
- Fórmula de Daniel da Silva (princípio de inclusão-exclusão)
- Relações binárias
- Relações de equivalência
- Relações de ordem
- Funções
Teoria dos números
- Divisão inteira
- Divisibilidade
- Números primos
- Congruências
Indução e recorrência
- Sucessões
- progressões aritméticas e geométricas
- Somatórios
- Indução matemática
- Sucessões definidas por recorrência
- Séries
- séries geométrica, binomial e exponencial
Teoria dos grafos
- Definições, terminologia e exemplos
- Grafos Eulerianos
- Grafos Hamiltonianos
- Árvores
