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