Ementa: Fundamentos de lógica matemática. Técnicas de demonstração: prova direta, prova por contradição, prova por absurdo, prova por indução. Teoria intuitiva de conjuntos. Operações com conjuntos. Álgebra de conjuntos. Conjuntos numéricos. Cardinalidade. Aritmética modular. Relações: relações de equivalência, relações de ordem. Funções discretas. Análise combinatória: princípio multiplicativo, princípio aditivo, permutação, arranjo, combinação; Princípio de inclusão e da exclusão. O princípio da casa dos pombos. Binômio de Newton. Funções geradoras. Partição de um inteiro. Relações de recorrência.