Questão de Não definido — Geral — INSTITUTO AOCP 2026
Não definidoGeral
- Código
- qg725349
- Banca
- INSTITUTO AOCP
- Órgão
- IF-CE
- Ano
- 2026
- Nível
- Superior
- Cargo
- Professor EBTT - Metodologia e Técnicas da Computação
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?
- ASemântica operacional.
- BSemântica denotacional.
- CSemântica axiomática.
- DSemântica natural.
- ESemântica composicional.