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 IterativosIndução Matemática◮ É usada para mostrar que uma dada afirmação é verdadeirapara todos os inteiros positivos.◮ Por exemplo, para todo n ∈ Z + :◮ n! ≤ n n ,◮ n 3 − n é divisível por 3,Prof. Dr. Leandro Balby Marinho 4 / 44 <strong>UFCG</strong> CEEI