Aprimorar o raciocínio lógico formal e suas aplicações em situações problema;
traduzir problemas concretos para a linguagem matemática e vice-versa;
desenvolver o raciocínio quantitativo por meio de diferentes conceitos e técnicas.
Formalizar os conceitos de lógica matemática.
Apresentar os conceitos de lógica matemática e a teoria de conjuntos.