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 9Prove a corretude do algoritmo Pot(a, n).◮ Conjectura: Pot(a, n) = a n .Prof. Dr. Leandro Balby Marinho 22 / 44 <strong>UFCG</strong> CEEI