Corretude de algoritmos (iterativos) - Invariante de laço
18:44
Corretude por invariante - Busca binária
23:27
Introdução à análise de algoritmos
22:46
Tempo de execução com notação assintótica
15:10
COMPLEXIDADE de ALGORITMOS I - Noção INTUITIVA
20:57
Método da substituição (resolvendo recorrências)
7:38
O QUE É PSEUDOCÓDIGO E COMO USAR NAS SUAS SOLUÇÕES, ROTINAS E TESTES
16:43
Recursão e corretude (parte 1)
18:38