> -- Peter Almazov писал(а):
> Вот эта цитата как раз и демонстрирует непонимание основ. Цель цикла - продвинуться к постусловию, сохраняя при этом инвариант.Это у Вас непонимание основ. Цель цикла - как и любой другой команды - обеспечить истинность постусловия при допустимом слабейшем предусловии. А то, о чём Вы говорите, позволяет обеспечить корректное завершение работы цикла, принимая во внимание специфику его работы.
Впрочим, Илья тоже понаввёл неопределённых терминов... В книге говориться о командах, а не о блоках (являющихся частным случаем команд).