Corretude - UFCG

More documents

Recommendations

Info

Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 13 Cont.Terminação: Mostrar que o algoritmo termina com b = f (n)◮ Depois de t iterações i = n + 1 e o algoritmo sai do laço.◮ Como i t = t + 2, temos que t = n − 1Prof. Dr. Leandro Balby Marinho 42 / 44 <strong>UFCG</strong> CEEI
Introdução Indução Algoritmos Recursivos Algoritmos IterativosExemplo 13 Cont.Terminação: Mostrar que o algoritmo termina com b = f (n)◮ Depois de t iterações i = n + 1 e o algoritmo sai do laço.◮ Como i t = t + 2, temos que t = n − 1◮ Pelo IL, b t := f (t + 1) := f (n).Prof. Dr. Leandro Balby Marinho 42 / 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:
Page 24 and 25:
Page 26 and 27:
Page 28 and 29:
Page 30 and 31:
Page 32 and 33: Introdução Indução Algoritmos R
show all

Corretude - UFCG

Create successful ePaper yourself

Delete template?

Save as template?