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
Pantofi business barbati ECCO Lisbon (Negri) Pantofi business barbati ECCO Lisbon (Negri) Pantofii ECCO Lisbon conbina stilul elegant si contemporan cu masculinitatea si confortul....
Pantofi business barbati ECCO Lisbon ( Maro/Cognac) Pantofi business barbati ECCO Lisbon ( Maro/Cognac) Pantofi business ECCO Lisbon combina stilul elegant cu accente moderne. Potriviti pentru birou...
Pantofi business barbati ECCO Lisbon (Black) Pantofi business barbati ECCO Lisbon (Black) Pantofii ECCO Lisbon eleganti, sunt o declaratie de stil atemporala. Sunt combinatia pefecta...