OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Воскресенье, 17 Февраль, 2019 13:32

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
СообщениеДобавлено: Воскресенье, 28 Март, 2010 16:52 

Зарегистрирован: Воскресенье, 03 Февраль, 2008 12:50
Сообщения: 232
Начал читать книгу Дал У., Дейкстра Э., Хоор К. "Структурное программирование".

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

Дейкстра пишет (стр. 20):
Цитата:
Решая уравнение
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 ≡ b (mod n) ? И означает, что два целых числа a и b [url=http://ru.wikipedia.org/wiki/Сравнение_по_модулю_натурального_числа]сравнимы по модулю[/url] натурального числа n?


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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 28 Март, 2010 17:26 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7969
Откуда: Троицк, Москва
kemiisto писал(а):
P.S. Ладно, что Хоар бывал и Хоором, но каким образом у него в инициалах оказалась К.? :shock:
Он Чарльз Энтони Хоор.
Или по-древнерусски Карл Антоний Хоар.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 28 Март, 2010 21:26 

Зарегистрирован: Воскресенье, 03 Февраль, 2008 12:50
Сообщения: 232
Info21 писал(а):
Или по-древнерусски Карл Антоний Хоар.

Карл! Вот оно что! :) Спасибо.

Очень хотелось бы услышать ответ и на чуть более содержательные вопросы...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 29 Март, 2010 08:42 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7969
Откуда: Троицк, Москва
kemiisto писал(а):
Цитата:
a ≡ r mod (d)

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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB