Lógica, perguntado por lcfashionbaby, 9 meses atrás

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.

Anexos:

Soluções para a tarefa

Respondido por MUSIRAINHA
1

Resposta:

código abaixo:

{n = -4}

Se n > 0 então

y = -1*n

Senão

y = n

{y = menos 4}

Explicação:

código abaixo:

{n = -4}

Se n > 0 então

y = -1*n

Senão

y = n

{y = menos 4}

Perguntas interessantes