Leia com atenção as instruções abaixo.
Formato da Entrega:
-
Arquivo no formato PDF.
-
Deve ser enviado através do Slack, no chat privado com o professor. Qualquer outro envio será desconsiderado.
-
O arquivo deve ser orientação formato retrato, não paisagem.
-
Você pode resolver no caderno e digitalizar usando o Google Drive ou colocar em um documento do Word ou LibreOffice, gerando o PDF. O tamanho do arquivo deve ficar abaixo de 10 MB.
-
No início do arquivo, deixe bem claro o título com: nome da atividade, seu nome e sua matrícula.
Valor: 2,0 pontos na 1ª Nota.
Data da Entrega Limite: 17/08/2020
Questão 01 - 1,0 Ponto
Compute a pré-condição mais fraca para cada uma das seguintes sentenças ou sequências de sentenças e pós-condições:
-
a = a + 2 * b - 1
{a > 1}
-
a = 2 * b + 1;
b = a - 3;
{b < 0}
Questão 02 - 1,0 Ponto
Compute a pré-condição mais fraca para cada uma das seguintes construções de seleção e suas pós-condições:
-
if (a == b)
b = 2 * a + 1;
else
b = 2 * a;
{b < 1}
-
if (x < y)
x = x + 1;
else
x = 3 * x;
{x < 0}