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 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

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

Saved successfully!

Ooh no, something went wrong!