Corretude - UFCG

More documents

Recommendations

Info

Introdução Indução Algoritmos Recursivos Algoritmos IterativosExercício 6Considere o seguinte algoritmo recursivo para calcular a soma dosprimeiros n cubos: S(n) = 1 3 + 2 3 + . . . + n 3 .S(n)// Entrada: Um inteiro positivo n// Saida: A soma dos n primeiros cubos1 i = 22 s = 13 while i ≤ n4 s = s + i 35 i = i + 16 return sAche o invariante do laço e prove que é verdadeiro na inicialização,manutenção e terminação usando indução matemática.Prof. Dr. Leandro Balby Marinho 43 / 44 <strong>UFCG</strong> CEEI
Introdução Indução Algoritmos Recursivos Algoritmos IterativosExercício 7Mostre que o algoritmo abaixo é correto usando invariância do laçoMaximo(A, n)1 m = A[1]2 i = 23 while i ≤ n4 if A[i] > m5 m = A[i]6 i = i + 17 return mProf. Dr. Leandro Balby Marinho 44 / 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:
Page 34 and 35: Introdução Indução Algoritmos R
show all

Corretude - UFCG

Create successful ePaper yourself

Delete template?

Save as template?