Questões de Informática · Instituto AOCP
InformáticaLógica de programação e algoritmosInstituto AOCP 2026
IF CE
Questão de Informática
Considere o seguinte trecho de código simples: { x > 0 } y := x + 1 { y > 1 } A pré-condição { x > 0 } garante que, depois da execução da instrução y := x + 1, a pós-condição {y > 1} será satisfeita, permitindo raciocinar formalmente sobre a correção do programa sem executá-lo. Com base nessa abordagem, qual é o tipo de semântica formal utilizada para relacionar pré- condições e pós-condições e raciocinar sobre a correção do programa?
Mais questões de Lógica de programação e algoritmos
- Cebraspe 2026Em Python, quando listas, tuplas ou dicionários são escritos em múltiplas linhas dentro de delimitadores como [], {} ou (), o caractere de continuação de linha \ é necessário para…
- Cebraspe 2026Adotando-se o mecanismo de passagem por valor, a chamada recursiva admite uma processa(valor + 1); expressão aritmética como argumento.
- Selecon 2026Considere o procedimento recursivo abaixo, chamado com n ≥ 0: função F(n): se n = 0, retorna 1 senão retorna F(n − 1) + 1 Para esse procedimento, o número de chamadas recursivas,…
- COTEC FADENOR 2026Analise as seguintes afirmativas sobre os algoritmos de busca sequencial e busca binária: I- A busca sequencial percorre os elementos da estrutura um a um até encontrar o valor pr…
- Legalle 2026No contexto das estruturas de controle do tipo sequência, analise as assertivas abaixo e julgue-as em Verdadeiras (V) ou Falsas (F): ( ) forma A execução ocorre de linear e contín…
Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.