Questão de Web
Das opções abaixo, aquela que especifica corretamente as pré e pós-condições para um programa P, que calcula o produto de dois números estritamente positivos i1 e i2, produzindo p como saída é:
A
{ (i1 >0) and (i2 > 0) } P {i1 = p*i2}
B
{ (i1 >0) and (i2 > 0) } P {p = i1*i2}
C
{ (i1 >0) and (i2 > 0) } P {i2 = p*i1}
D
{ (i1 >0) and (i2 > 0) } P {i1>i2}
E
{ (i1 >0) or (i2 > 0) } P {p = i1*i2}
Ainda não há comentários para esta questão.
Seja o primeiro a comentar!
Aulas em vídeo Em breve
00:00