Начал читать книгу Дал У., Дейкстра Э., Хоор К. "Структурное программирование".

Со стр. 19 и далее в разделе "5. Пример доказательства правильности программы" кое-что не совсем понятно.

Дейкстра пишет (стр. 20):
> -- Цитата:
> Решая уравнениеd(i) =2 * d(i-1)относительно d(i-1), получаемd(i-1) = d(i) / 2
Меня терзают смутные сомненья, что в процитированном кусочке везде вместо d должно стоять dd. Ведь d - константа, значение которой в самом начале записывается в dd. А уже dd потом удваивается определённое число раз.

И чуть ниже на этой же странице можно встретить обозначения вида a ≡ bmod(n):
> -- Цитата:
> dd ≡ 0  (d)...a ≡ r  (d)
Я правильно понимаю, что эта запись эквивалентна такой: a ≡ b (mod n) ? И означает, что два целых числа a и b [url=http://ru.wikipedia.org/wiki/Сравнение_по_модулю_натурального_числа]сравнимы по модулю[/url] натурального числа n?


P.S. Ладно, что Хоар бывал и Хоором, но каким образом у него в инициалах оказалась К.?

P.P.S. Опять url-тэг "глючит".