13.07.2015 Views

Corretude - UFCG

Corretude - UFCG

Corretude - UFCG

SHOW MORE
SHOW LESS

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 ,Prof. Dr. Leandro Balby Marinho 4 / 44 <strong>UFCG</strong> CEEI

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!