Corretude - UFCG
Corretude - UFCG
Corretude - UFCG
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 4 cont.Agora aplicamos o passo indutivo; ambos u e v são menores que k + 1 eportanto podem ambos ser decompostos em um produto único de primos;u := ∏ ip i ,v := ∏ jp jPortanto,k + 1 :=(u := ∏ ip i) ⎛ ⎝v := ∏ jp j⎞⎠e verificamos P(k + 1) por indução forte.Prof. Dr. Leandro Balby Marinho 13 / 44 <strong>UFCG</strong> CEEI