Реферат: Методика создания программ

Теперь, после ввода нам надо убедиться, что все они различны и больше нуля. Эта проверка исходных данных представлена на
рис. 13.3. Там, если условие errngtv=0Ùerreqvl=0 выполнено, мы можем утверждать, что состояние вычислительного процесса удовлетворяет условию Q. При этом вектор из 100 компонентов мы трактуем как 100 разных простых переменных.

Program Exmpl 10.X *) (input, output);

{ Программа Exmpl 10.X

Input:

Q "i: 1 £i £ 100: (v_i ÎNÙv_i >0)ÙØ$j: 1 £ j £ 100: v_i = v_j Ù i¹j .

Output:

R "i: 1 £i £ 100: о_i ÎN Ùо_i >0 Ù$j : 1 £ j £ 100 : о_i = v_j Ù

"k : 1 £ k £ 100 : î_k <î_k+1

}

constM=100 ; {M - число компонентов в векторе}

var v : array [1 … M] of integer ;

0 : array [1 … M] of integer ;

t, i, errngtv, erreqvl : integer ; {errngtv, erreqvl - признакиошибоквисходныхданных;

t - вспомогательная переменная;

i - индекс цикла}

begin

{Ввод исходных данных}

for i:=1 to M do

beginwrite (‘Введите‘, i ,’-ую_компоненту =’);

readln (v[i])

end {"i: 1 £i £ 100: v_i ÎN }

{Проверка исходных данных}

if {Данные корректны} then {Обработка данных};

end {Program}.

Рис. 13.2.

{Проверка исходных данных}

Q : 1. "i: 1 £ i £ 100 : v [i]ÎNÙ v [i]>0 ;

"i: 1 £ i £ 100 : Ø$j: 1 £ j £ 5: v[i] = v[j] Ù i¹j .

{Проверкаусловия Q1: "i: 1 £ i £ 100 : v[i]ÎNÙ v[i]>0}