Corretude - UFCG
Corretude - UFCG
Corretude - UFCG
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 12 Cont.◮ Terminação: Mostrar que quando o laço termina, x = n 2 ,◮ Depois de t iterações i = n e o algoritmo sai do laço.◮ Como i t = t (pelo IL), concluímos que t = n.◮ Também pelo IL, temos quex t := tn= nn= n 2Prof. Dr. Leandro Balby Marinho 36 / 44 <strong>UFCG</strong> CEEI