Induįão e Recursividade
Induįão e Recursividade
Induįão e Recursividade
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Indução Indução Fraca Indução Forte <strong>Recursividade</strong> Relações de Recorrência Algoritmos RecursivosCorretude de Algoritmos Recursivos◮ Indução matemática pode ser usada para provar quealgoritmos recursivos estão corretos.◮ Defina a conjectura a provar.◮ Caso Base: condição de parada do algoritmo.◮ Assuma que as chamadas recursivas anteriores estão corretas(hipótese indutiva).◮ Use a hip. indutiva para provar que a execução atual é correta(passo indutivo).Prof. Dr. Leandro Balby Marinho 32 / 35 UFCG CEEI