Apresenta conjuntos, relações, funções, sequências, recorrências e indução matemática. Exercícios conectam a notação a estruturas e programas concretos.
