12.07.2015 Views

Induįão e Recursividade

Induįão e Recursividade

Induįão e Recursividade

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Indução Indução Fraca Indução Forte <strong>Recursividade</strong> Relações de Recorrência Algoritmos RecursivosExemplo 15Prove que o algoritmo do fatorial recursivo é correto.◮ Conjectura: Fat(n) = n!, para n ≥ 0◮ Caso Base: Se n = 0, então Fat(n) = 1. Isso é correto jáque 0! = 1.◮ Hip. indutiva: Agora assumimos que Fat(k) = k!◮ Mostrar: Fat(k + 1) = (k + 1)!Prof. Dr. Leandro Balby Marinho 33 / 35 UFCG CEEI

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

Saved successfully!

Ooh no, something went wrong!