Статья 2286

Начальные значения задаются этим переменным в трех операторах, Здесь символ, = означает оператор присвоения в то время как знак равенства составляет предмет высказывания о равенстве, оператор присваивания фактически порождает условие равенства, присваивает символу в левой части значение выражения, стоящего справа. Его можно прочитать как пусть станет равным.
Центральной частью алгоритма является цикл, в котором паролем служит условие.
Пока больше нуля, в цикле выполняются две операции, уменьшается на прибавляется к текущему значению. Эти операции выражаются формально двумя операторами присваивания.
Смысл этого алгоритма очевиден, к изначально равному раз прибавляется, что прямо отвечает определению умножения.
И все-таки как убедиться в том, что программа, реализующая эту интуитивно понятную идею, воплощает действительно верный алгоритм. Один подход состоит в том, чтобы ввести программу в компьютер, скомпилировать ее и проверить для ряда данных.