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 Iterativos<strong>Corretude</strong> de AlgoritmosNesse curso trataremos de corretude parcial.<strong>Corretude</strong> ParcialUm algoritmo é parcialmente correto se, para todas as instânciasdo problema, ele termina com a resposta correta.◮ Como ter certeza que um algoritmo sempre produz a respostacorreta?Prof. Dr. Leandro Balby Marinho 3 / 44 <strong>UFCG</strong> CEEI