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 IterativosExercício 4Considere 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 if n == 12 return 13 else return S(n − 1) + n · n · nProve a corretude desse algoritmo usando indução matemática.Prof. Dr. Leandro Balby Marinho 24 / 44 <strong>UFCG</strong> CEEI