Problemas recorrentes. Construções indutivas. Provas por indução; indução forte, indução estrutural. Princípios de contagem, combinatória. Grafos e árvores.
Nenhuma biliografia complementar encontrada para INF1308
ou
Nenhum co-requisito encontrado para INF1308