Reguli pentru instructiunile iterative

Incarcat la data: 14 Februarie 2010

Autor: lucrari licenta

Pret: 80 credite

Numar pagini: 43

Tip fisier: zip

Marime fisier: 102 kb

In limbajul Pascal exista trei instrucaiuni iterative: while, repeat ai for. Faaa de situaaia in care erau utilizate doar instrucaiuni de atribuire ai de decizie, justificarea corectitudinii algoritmilor iterativi cere un plus de creativitate.  Verificarea instrucaiunii {P} x := e {Q} se reduce la verificarea implicaaiei   P => Qxe & def(e) iar verificarea instrucaiunii {P} if c then A else B{Q} se reduce la verificarea implicaaiei P => def(c) ai a instrucaiunilor {P&c} A {Q} ai {P & not c} B {Q}.

Se observa ca aceasta acaiune de reducere este extrem de simpla, deoarece proprietaaile Qxe, P & not c, P & c se obain direct din constituenaii instrucaiunii iniaiale prin operaaia de substituire sau prin aplicarea unor operatori logici (not, & etc.). In contrast, corectitudinea instrucaiunilor iterative se stabileate utilizind proprietaai a caror formulare este mai dificila.

Textul de mai sus reprezinta un extras din "Reguli pentru instructiunile iterative". Pentru versiunea completa a documentului apasa butonul Download si descarca fisierul pe calculatorul tau. Prin descarcarea prezentei lucrari stiintifice, orice utilizator al site-ului www.studentie.ro declara si garanteaza ca este de acord cu utilizarile permise ale acesteia, in conformitate cu prevederile legale ablicabile in domeniul proprietatii intelectuale si in domeniul educatiei din legislatia in vigoare.

In cazul in care intampini probleme la descarcarea fisierului sau documentul nu este nici pe departe ceea ce se doreste a fi te rugam sa ne anunti. Raporteaza o eroare

Important!

Referatele si lucrarile oferite de Studentie.ro au scop educativ si orientativ pentru cercetare academica.

Iti recomandam ca referatele pe care le downloadezi de pe site sa le utilizezi doar ca sursa de inspiratie sau ca resurse educationale pentru conceperea unui referat nou, propriu si original.

Alti utilizatori au mai cautat: CURSINFORMATICAlimbajul pascal instructiuni
Pulover cu aspect catifelat si aplicatii cu margele Pulover cu aspect catifelat si aplicatii cu margele CaracteristiciTip: puloverGen: feteculoare: gri inchisMaterial: bumbacStil: casualCroiala:...
Rochie Black Flower Rochie Black Flower O alegere eleganta cu o nota joviala este aceasta rochie scurta, mulata cu maneci trei sferturi....