- Lógica: conceitos básicos, tabelas de verdade, argumento, lógica sentencial, técnicas dedutivas.
- Conjuntos: conceitos básicos, relações de pertinência e igualdade, subconjuntos, operações com conjuntos, conjunto
das partes de um conjunto, conjuntos enumeráveis, produto cartesiano, relações binárias, relação sobre um conjunto,
inversa de uma relação, relações de equivalência e de ordem, conjuntos parcialmente e totalmente ordenados.