Enunciado:
Sobre o Loop Invariante, e correto afirmar que:

A) E um tipo de repeticao algoritmica, onde todas as variaveis usadas internamente nao possuem seus valores alterados durante a repeticao, independentemente do numero de vezes que ela e executada
B) Na criacao de um Loop Invariante, e estabelecido uma condicao/afirmacao, que auxilia a criacao, analise e validacao do algoritmo em questao e nao se altera durante a execuao da repeticao
C) E uma condicao/afirmacao estabelecida durante a execucao de uma repeticao, de acordo com os estados e valores de suas variaveis internas, e, por esse motivo, nao permite afirmar que a saida do algoritmo esta correta.
D) Tres propriedades sao utilizadas para sua construcao: Inicializacao, Manutencao e Termino, que permitem avaliar somente algoritmos de ordenacao recursivos.
E) NDA

Autor: Ivan Eduardo Brunetto