Teoria dos Conjuntos: axiomas, operações elementares, relações, funções, ordenação, números naturais, conjuntos contáveis e incontáveis. Introdução à lógica matemática, referência a tipos de lógica e testes de lógica. Recorrência e Indução. Noções básicas: proposições, provas/demonstrações. Métodos de enumeração: permutação, combinação e arranjo.