**Ementa**: Conjuntos. Relações e Funções. Álgebra de Boole. Cálculo Proposicional. Cálculo de predicados de 1a. ordem.