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 IterativosAlgoritmos Iterativos◮ Algoritmos iterativos são normalmente baseados em laços (e.g. “while” e “for”).◮ Como saber se esses algoritmos são corretos?Prof. Dr. Leandro Balby Marinho 25 / 44 <strong>UFCG</strong> CEEI