> -- sia писал(а):
> -- А зря. Вы из своей, "так сказать", модели - код на чём будете выполнять?  -- что вы понимаете под "итерационный процесс" ?  WHILE - не имеет итерационных переменных,это не итератор, может с FOR перепутали?  -- нет не решает. Никакой связи с логическими уравнениями.  -- а ПРЕДусловие не обеспечивает? Кто же тогда обеспечивает?  -- что вы понимаете под "начиная с начальных условий" ? (в WHILE нет выделенных начальных условий)  -- WHILE не оперирует такой сущностью как "вектор значений переменных"  -- "сходится к результату" - это вы о чём? Вы знаете результат WHILE?	 Вы не пытаетесь выдать желаемое за действительное?   Как видите, есть целостная, неделимая конструкция. Сколько ж можно объяснять. Язык отваливается. Всё известно уж почитай сколько годов - только ИТ-шникам всё никак не впрок   -- вижу много слов и мало смысла. Вы пытаетесь объяснить простую конструкцию	 через сложные умозаключения (причём неверные), называя это математикой...

1. Исполнитель может быть какой угодно. Даже человек. Главное, чтобыинтерпретацияэтого оператора была в точном соответствии с его семантикой.
2. Итерационный - значит, повторяющийся.
3. Осознание наличия инварианта цикла, а также наличие предусловий и постусловий - сильно облегчает написание ПРАВИЛЬНОГО кода.
4. Для заданного предусловия после выполнения while имеем соответствующее постусловие.

Квалифицированный программер такие весчи должен понимать.