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.i k+1 := i k + 1:= (k + 2) + 1 (pela hip. indutiva):= k + 3a k+1 := b k:= f (k + 1) (pela hip. indutiva)b k+1 := c k+1:= a k + b k:= f (k) + f (k + 1) (pela hip. indutiva):= f (k + 2)Prof. Dr. Leandro Balby Marinho 41 / 44 <strong>UFCG</strong> CEEI

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

Saved successfully!

Ooh no, something went wrong!