Você está aqui: start » coordest » cm030
Ementa: Conjuntos. Relações e Funções. Álgebra de Boole. Cálculo Proposicional. Cálculo de predicados de 1a. ordem.