Assinale a alternativa que descreve, de modo completo, o us...

Com base no mesmo assunto

Ano: 2025 Banca: JVL Concursos Órgão: Prefeitura de Regeneração - PI Prova: JVL Concursos - 2025 - Prefeitura de Regeneração - PI - Professor de Computação |

Q3627941 Algoritmos e Estrutura de Dados

Assinale a alternativa que descreve, de modo completo, o uso de invariantes de laço para provar correção e terminação de um algoritmo iterativo.

Partir da pós-condição, inverter instruções por leitura textual, aceitar preservação empírica em casos de teste e encerrar o laço quando a guarda permanecer verdadeira.

Escolher um invariante que vale antes do laço, mostrar preservação a cada iteração, definir uma função variante decrescente em ℕ e concluir a pós-condição a partir de invariante verdadeiro e guarda falsa.

Derivar o invariante de exemplos executados, assumir que decrementos eventuais bastam para terminar e concluir a prova substituindo a guarda pela pós-condição ao final.

Fixar o invariante igual à pós-condição, provar que ele se torna verdadeiro no meio do laço e finalizar quando o invariante coincidir com a guarda ainda verdadeira.

Incorreta. Gabarito oficial da banca:

Esse erro também aparece no seu Resumão. Veja o que melhorar

teste

Parabéns! Você acertou!

Esse acerto está no seu Resumão. Ver Resumão da semana

teste

Assinale a alternativa que descreve, de modo completo, o us...

Questões de assuntos semelhantes

Provas relacionadas