Considere o trecho de código abaixo:
{n = -4}
Se n > 0 então
y = -1*n
Senão
y = n
{y = menos 4}
Assinale a alternativa que contém as expressões para as triplas de Hoare a serem verificadas na correção do trecho de código.
A- {n= - 4 ∧ n > 0} y= -1*n {y=4}
{n=-4 ∧ (n >0)} y=n {y=4}
B- {n= - 4} y= -1*n {y=4}
{n=-4 } y=n {y=4}
C- {n= - 4 ∧ n > 0} y= -1*n {y=4}
{n=-4 ∧ ¬(n >0)} y=n {y=4}
D- {y= 4 ∧ n > 0} y= -1*n {y=4}
{n=-4 ∧ ¬(x >0)} y=n {y=4}
E- {n > 0} y= -1*n {y=-4 ∧ n > 0}
{¬(n >0)} y=n {y=4∧ n > 0}
9/10
Creio que a questão 2 esteja errada. Porque a saída apresentada pelo código é (y= - 4) e não a nenhuma alternativa em que a saída é (y= -4)
obrigado
a questão 2 está certa, acabei de testar, mas não sei qual das outras possa estar errada
A QUESTAO 10 está errada, o resto esta certo. CORRETO ii e iii estão corretos
tirei 10/10
tirei 10/10
Soluções para a tarefa
Respondido por
7
Resposta:
Explicação passo-a-passo:
9/10
Respondido por
2
Resposta:
precisava de pontos
Explicação passo-a-passo:
Boa sorte
Perguntas interessantes
2) {n=-4 ^ n>0} y=-1n {y=4}
{n=-4 ^nao(n>0)} y=n {y=4}
3) n^2 (certeza)
4) 10,20,30,40,50 (certeza)
5) A(n) = 2A(n-1) -1, n>=1 e A(0)=10
6) 171 (certeza)
7) 11.2^n -5 (certeza)
8) S(n) = (1/4) (5)^(n-1) + (3/4) (certeza)
9) n^2 + 3n^2 log n
10) apenas a ii