Linguagens Formais e Autômatos § Teoria de conjunto Diferença simétrica em 2 conjuntos Cardinalidade de um conjunto Conjunto das partes - powerset Produto cartesiano Relações discretas Introdução ao primeiro princípio da indução finita Princípio da indução matemática