MO417 - Quest??o para a prova oral

N??mero: 007

Enunciado:

I ??? O uso de invariantes de la??o ajuda a entender porque um algoritmo para.

II ??? O invariante de la??o ?? verdadeiro antes da primeira intera????o.

III ??? O invariante de la??o fornece uma propriedade que ajuda a mostrar que o algoritmo est?? correto.

Sobre estas proposi????es acima ?? correto afirmar que:

1. Apenas I est?? errada

2. Apenas II est?? errada

3. Apenas III est?? errada

4. I, II e III est??o corretas

5. NDA

Autor(a): Celina d' ??vila Samogin