Construções indutivas. Provas por indução; indução forte, indução estrutural. Princípios de contagem, combinatória. Grafos e árvores.