Métodos de demonstração. Teoria dos Conjuntos: relações e funções. Relações de ordem e equivalência. Recursão e indução matemática. Noções de estruturas algébricas. Elementos de Teoria dos Números. Contagem.