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 > 4.
ii. Na demonstração de correção, são utilizadas técnicas de um sistema de lógica formal
iii. Cláusulas de Horn são compostas somente por predicados negados
Apenas ii está correta.
Apenas iii está correta.
Apenas i e iii estão corretas.
Apenas i e ii estão corretas.
Apenas i está correta.
alguem sabe??
Respostas
respondido por:
2
vishii ... vou ver se eu sei calma ae
davigraneiro:
vc nao esta conseguindo baixar o anexo???
Perguntas similares
4 anos atrás
4 anos atrás
4 anos atrás
7 anos atrás
7 anos atrás
8 anos atrás
8 anos atrás