Ementa

Lógica e teoria dos conjuntos. Métodos básicos de prova. Introdução à teoria dos números. Sequências, recursividade, indução, somatórios e relações de recorrência. Contagem, funções geradoras. Relações e funções. Introdução à Teoria dos grafos e árvores.

Objetivos

Reconhecer estruturas matemáticas em sistemas discretos. Manipular estruturas discretas por meio de técnicas específicas para cada tipo de estrutura. Provar propriedades de estruturas discretas. Utilizar a matemática discreta como linguagem de resolução de problemas.