Статья 413

Непосредственно сказать машине, что нужно вычислить произведение, в котором повторяется раз, нельзя. Но той же самой цели можно добиться, соответствующим образом организовав цикл умножений. Особый случай, как и раньше, выделим отдельно. Для подсчета числа умножений будем использовать вспомогательную переменную, а результаты умножения будем записывать в переменную. Мы хотим, чтобы в конце цикла было истинным утверждение. Таким образом, налицо пред- и постусловия будущей программы обозначим ее через утверждение является предусловием, а утверждение - постусловием программы.
Ввиду простоты намеченной программы мы отступим от рекомендации разрабатывать программу параллельно с доказательством ее правильности как это было сделано в примере с программой, что позволит сэкономить место и время изложения.

умножений

умножений


Не прибегая к помощи блок-схемы, сразу предъявим целиком в предположении, что значения переменным и уже присвоены.