Programa

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