Начал читать книгу Дал У., Дейкстра Э., Хоор К. "Структурное программирование".
Со стр. 19 и далее в разделе "5. Пример доказательства правильности программы" кое-что не совсем понятно.
Дейкстра пишет (стр. 20):
Цитата:
Решая уравнение
d(i) =2 * d(i-1)
относительно d(i-1), получаем
d(i-1) = d(i) / 2
d(i) =2 * d(i-1)
относительно d(i-1), получаем
d(i-1) = d(i) / 2
Меня терзают смутные сомненья, что в процитированном кусочке везде вместо d должно стоять dd. Ведь d - константа, значение которой в самом начале записывается в dd. А уже dd потом удваивается определённое число раз.
И чуть ниже на этой же странице можно встретить обозначения вида a ≡ b mod (n):
Цитата:
dd ≡ 0 mod (d)
...
a ≡ r mod (d)
...
a ≡ r mod (d)
Я правильно понимаю, что эта запись эквивалентна такой: a ≡ b (mod n) ? И означает, что два целых числа a и b [url=http://ru.wikipedia.org/wiki/Сравнение_по_модулю_натурального_числа]сравнимы по модулю[/url] натурального числа n?
P.S. Ладно, что Хоар бывал и Хоором, но каким образом у него в инициалах оказалась К.?
P.P.S. Опять url-тэг "глючит".
Спасибо.