Metoda Top Down Structurată (TDS) şi prima demonstraţie a teoremei lui Böhm şi Jacopini din ”Programarea structurată”

Categorie: . Etichetă: .

Descriere Produs

Î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 Böhm şi Jacopini, făcută ulterior larg cunoscută de Djukstra, a programării structurate şi anume ”Orice schemă logică admite cel puţin o variantă structurată (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 echivalente cu orice schemă logică nestructurată.

 

  Vizualizari:128

Opinii

Nu există încă recenzii.

Fii primul care scrie un comentariu “Metoda Top Down Structurată (TDS) şi prima demonstraţie a teoremei lui Böhm şi Jacopini din ”Programarea structurată””