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 .◮ Caso Base: Se n = 0, então Pot(a, n) = 1. Isso é correto jáque a 0 = 1.Prof. Dr. Leandro Balby Marinho 22 / 44 <strong>UFCG</strong> CEEI