Considere as sentenças abaixo e assinale a alternativa correta.
i. Se uma asserção após uma declaração de atribuição é y > 4, então a precondição tem que ser y 2 4.
ii. Na demonstração de correção, são utilizadas técnicas de um sistema de lógica formal
lit. Cláusulas de Horn são compostas somente por predicados negados
Apenas I e ii estão corretas.
Apenas ii está correta.
Apenas i está correta,
Apenas i e ili estão corretas.
Apenas i está correta.
Respostas
respondido por:
1
Resposta:
Explicação passo-a-passo:
respondido por:
2
Resposta:
Apenas i e iii estão corretas.
Perguntas similares
4 anos atrás
4 anos atrás
7 anos atrás
7 anos atrás
8 anos atrás
8 anos atrás
8 anos atrás