As pré e pós condições para um programa… (NCE e FUJB (UFRJ) 2004)

Questões de Tecnologia da Informação · NCE e FUJB (UFRJ)

Tecnologia da InformaçãoLógica de programaçãoNCE e FUJB (UFRJ) 2004

UFRJ

As pré e pós condições para um programa P, que calcula o resto da divisão de dois números inteiros positivos, são: Seja: a e b: valores de entrada r: resto da divisão de a por b div: operador de divisão inteira q: quociente da divisão de a por b

APré:(a >0) and (b > 0) } P Pós:{r = a div b – a div q}BPré:{ (a >0) and (b > 0) } P Pós:{r = a - q*b}CPré:{ (a >0) and (b > 0) } P Pós:{r = a div b + q*b}DPré:{ (a >0) and (b > 0) } P Pós:{r = a div b – a*b}EPré:{ (a >0) and (b > 0) } P Pós:{r = q* (a div b)}

Mais questões de Lógica de programação

IGEDUC 2026O Pensamento Computacional não se limita ao uso de computadores, mas representa uma forma de pensar e resolver problemas que pode ser aplicada em diversas situações do cotidiano.…
Fundatec 2026Em pseudocódigo, qual estrutura de controle básica é caracterizada pela execução linear, um comando após o outro, sem desvios ou repetições?
FGV 2026Um controlador executa uma rotina lógica para definir o acionamento de uma ventoinha de emergência instalada em um rack de equipamentos. O controlador recebe sinais digitais de su…
Fundatec 2026Com base no Complemento à BNCC sobre Computação para os Anos Finais do Ensino Fundamental, o conceito de paralelismo é uma habilidade estruturante a ser desenvolvida no eixo Mundo…
FCPC 2026Um professor pede aos alunos que criem um algoritmo para “organizar uma biblioteca escolar”. Qual representação demonstra corretamente o uso de abstração?

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.