35. Matemática discreta e algoritmos

Trata recorrências, invariantes, algoritmos, complexidade e estruturas discretas. O estudante analisa procedimentos de busca, contagem e decisão com provas de correção.