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 12 Cont.◮ Base: Quando j = 0, x = 0 · n = 0 e i = 0 é verdadeiro.◮ Hip. Indutiva: Depois de k ∈ N iterações, x = kn e i = k.Prof. Dr. Leandro Balby Marinho 35 / 44 <strong>UFCG</strong> CEEI

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

Saved successfully!

Ooh no, something went wrong!