Documente publicate de Vladimir Szasz

Reguli pentru instrucțiunile iterative

În limbajul Pascal exist_ trei instruc_iuni iterative: while, repeat _i for. Fa__ de situa_ia în care erau utilizate doar instruc_iuni de atribuire _i de decizie, justificarea corectitudinii algoritmilor iterativi cere un plus de creativitate. Verificarea instruc_iunii {P} x := e {Q} se reduce la verificarea... citește mai departe