MO417 - Questão para a prova oral

Número: 002

Enunciado:
Invariantes de Laço são normalmente utilizadas para:

1. Calcular o Tempo de execução de um algoritmo
2. Fazer um Teste de Mesa em um Algoritmo
3. Ordenar Elementos de um vetor
4. Provar a Corretude de um Algoritmo
5. NDA

Autor(a): Pedro Henrique Del Bianco Hokama