Corretude - UFCG

More documents

Recommendations

Info

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.Prof. Dr. Leandro Balby Marinho 36 / 44 <strong>UFCG</strong> CEEI
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
Page 1 and 2:
Introdução Indução Algoritmos R
Page 3 and 4:
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19:
Page 22 and 23: Introdução Indução Algoritmos R
show all

Corretude - UFCG

Create successful ePaper yourself

Delete template?

Save as template?