Инвариант данного цикла:
//вычисляет сумму элементов //A[0],A[1], … A[n-1] для любого n>0 int j=0, sum=0;
***
while (j<n) { ***
sum+=A[j];
++j;
***
} // конец оператора while
***
Инвариант должен быть истинным изначально
Выполнение цикла должно сохранять инвариант
Из выполнения инварианта должна следовать правильность алгоритма
Цикл должен завершиться
Кодирование
Кодирование – это относительно небольшая часть жизненного цикла программного обеспечения
Кодирование заключается в переводе алгоритма на конкретный язык программирования с последующим исправлением синтаксических ошибок
Было бы неверным считать, кодирование и есть, собственно говоря, программирование.