Programa

• Introdução à Lógica Matemática
• Conceitos básicos de teoria dos conjuntos
• Técnicas básicas de prova
• Permutações e combinações
• Funções geradoras
• Relações de recorrência