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 IterativosExemplo 13 Cont.Invariante do Laço: Depois da iteração j,i = j + 2a = f (j)b = f (j + 1)onde f (k) denota o k-ésimo número de Fibonacci.Prof. Dr. Leandro Balby Marinho 39 / 44 <strong>UFCG</strong> CEEI