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 RecursivosExemplo 15Prove que o algoritmo do fatorial recursivo é correto.◮ Conjectura: Fat(n) = n!, para n ≥ 0◮ Caso Base: Se n = 0, então Fat(n) = 1. Isso é correto jáque 0! = 1.◮ Hip. indutiva: Agora assumimos que Fat(k) = k!◮ Mostrar: Fat(k + 1) = (k + 1)!◮ Passo Indutivo: ComoFat(k + 1) = Fat(k) · (k + 1)e pela hipótese indutiva Fat(k) = k!, segue queFat(k + 1) = (k + 1) · k! = (k + 1)!Prof. Dr. Leandro Balby Marinho 33 / 35 UFCG CEEI