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
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
Matemática,
6 meses atrás
Matemática,
6 meses atrás
ENEM,
6 meses atrás
Matemática,
8 meses atrás
Matemática,
8 meses atrás
Matemática,
11 meses atrás