Noções de Lógica e Técnicas de Demonstrações. Iteração, Indução e Recursão. Conjunto e Álgebra de Conjuntos como uma Teoria Axiomática. Relações. Funções Parciais e Totais. Relações de Equivalência e Ordem. Álgebra booleana. Monóides, Grupos e Reticulados.