Descriere

În cartea subsemnatului, Abordarea ierarhic structurată şi informatica, Bucureşti: Editura Academiei, 1982 se regăseşte  şi prima demonstrare, după câte cunoaştem, a teoremei lui lui Djukstra a programării structurate modulare şi anume ”Orice schemă logică admite cel puţin o variantă structurată şi modulară  (care conţine  numai structurile : « Secvenţială », «If Then Else » şi « Do While »)”. Prin urmare am considerat util  ca, pana la apariţia cărţii şi în limba engleză, să redăm aici un fragment substanţial din ediţia română a cărţii. Acest fragment constituie întregul contextul în care a apărut demonstraţia respectivă. Mai mult, demonstraţia certifică faptul că există patru variante structurate  şi modulare echivalente cu orice schemă logică nestructurată.

  Vizualizari:745