Induįão e Recursividade
Induįão e Recursividade
Induįão e Recursividade
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 RecursivosCorretude de Algoritmos Recursivos◮ Indução matemática pode ser usada para provar quealgoritmos recursivos estão corretos.◮ Defina a conjectura a provar.◮ Caso Base: condição de parada do algoritmo.◮ Assuma que as chamadas recursivas anteriores estão corretas(hipótese indutiva).Prof. Dr. Leandro Balby Marinho 32 / 35 UFCG CEEI