13.07.2015 Views

Corretude - UFCG

Corretude - UFCG

Corretude - UFCG

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!