Lógica: conceitos básicos, tabelas 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.