Questão de prova.

[deathcon4]

Observe a seguinte especificação para um processo P uqe recebe E1 e E2 como entradas e produz como saída S1:

Seja C = {2,3,4...} e I={1,2,3...}

Pré-condição S1 pertence 1 and (não existe) Z1, Z2 pertence I (E1=Z1*S1 and E2 = Z2*S1) and not

(não existe H pertence C((não existe Z1, Z2 pertence I(E1=Z1*H and E2=Z2*H)) and (H<S1))

A saída produzida por P é:

a) o máximo diviso comum entre E1 e E2;

B) o menor fator comum entre E1 e E2

c) o mínimo múltiplo comum entre E1 e E2;

d) o menor número primo que é o produto de E1 e E2;

e) o maior número primo que divide E1 e E2.

Não entendi nada.

Editado Janeiro 15, 2010 por deathcon4