Linguagens de Programação - Atividade 09

Leia com atenção as instruções abaixo.

Preparação do Repositório.

Crie um repositório privado no GitHub. Repositórios públicos levaram nota zero automaticamente. Se seu nome for José Carlos Silva, o repositório deve ter o nome josecarloslip20202. Primeiro e segundo nome, sufixo lip20202, tudo minúsculo. É nele que devem ser colocados os arquivos. Convide o professor (jmarcelo.alencar@gmail.com) para ser colaborador do repositório. Faz parte da avaliação utilizar o GitHub de forma correta.

Dentro do repositório crie uma pasta chamada atividades. Dentro desta pasta você colocará os arquivos de cada atividade. Por exemplo, os arquivos da Atividade 02 devem estar na pasta atividades/atividade02.

Formato da Entrega:

• Se for um documento, o arquivo deve estar no formato PDF ou na linguagem MarkDown suportada pelo GitHub. No caso do .pdf, o arquivo deve ser orientação formato retrato, não paisagem. Não serão aceitas digitalizações do caderno, a atividade deve ser feita no Microsoft Word, LibreOffice, BrOffice ou Latex. 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.
• Se for código, obedeça a nomenclatura dos arquivos informada na questão.
• Em ambos os casos, a atividade deve ser colocado no repositório do GitHub.

Valor: 1,0 ponto na 2ª Nota.

Data da Entrega Limite: 27/01/2021

Coloque a resolução das questões no arquivo atividades/atividade09/Questoes.pdf ou atividades/atividade09/Questoes.md no seu repositório.

Questão Única - 1,0 Ponto

Problemas 23, 24 e 25 do livro.

Compute a pré-condição mais fraca para cada uma das seguintes construções de linguagem e suas pós condições:

• b = (c + 10) / 3 { b > 6}
• x = 2 * y + x - 1 { x > 11 }
• a = 3 * (2 * b + a); b = 2 * a - 1; { b > 5 }
• if ( x < y ) x = x + 1; else x = 3 * x; { x < 0 }
• if ( x > y ) y = 2 * x + 1; else y = 3 * x - 1; { y > 3 }