Compreender o funcionamento e desenvolvimento da lógica matemática e da programação.

Estudo de lógica matemática. Teoria dos conjuntos, relações, funções e operações. Indução matemática e relações de recorrência. Progressões aritmética e geométrica. Princípio da indução matemática. Princípios aditivo e multiplicativo. Permutações, arranjos e combinações. Coeficientes binomiais. Relações de recorrência. Proposições e conectivos. Tabelas-verdade. Tautologias e contradições. Implicação e equivalência lógica. Diagramas de Venn e Paradoxo de Russell. Operações reversíveis e não reversíveis de conjuntos. Lógica e álgebra de conjuntos.