|
Действия ...
Новые сообщения [новые:0]
Дайджест
Горячие темы
Избранное [новые:0]
Форумы
Пользователи
Статистика
Статистика нагрузки
Мод. лог
Поиск
|
|
15.07.2014, 08:43
|
|||
|---|---|---|---|
|
|||
C.A.R. Hoare Proof of a program |
|||
|
#18+
Здравствуйте, начал читать эту статью. В ней, сэр Хоар ссылается на свою работы Algorithm 65, Find. Comm ACM, 1961. Однако я нашёл только платные копии данной работы, подскажите где можно найти эти работы. Может быть у вас есть они в личном архиве. 2. Допустим вы разработали алгоритм, используете ли вы технику варианта-инвариант для доказательства алгоритма ? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
15.07.2014, 09:12
|
|||
|---|---|---|---|
|
|||
C.A.R. Hoare Proof of a program |
|||
|
#18+
Собственно как я к этому пришел, читал книгу, кое-что не понял. Мне показалось что в рассуждениях ошибка. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
15.07.2014, 09:13
|
|||
|---|---|---|---|
|
|||
C.A.R. Hoare Proof of a program |
|||
|
#18+
... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
15.07.2014, 09:13
|
|||
|---|---|---|---|
|
|||
C.A.R. Hoare Proof of a program |
|||
|
#18+
... |
|||
|
:
Нравится:
Не нравится:
|
|||
|
|
|
start [/forum/topic.php?fid=16&mobile=1&tid=1341296]: |
0ms |
get settings: |
9ms |
get forum list: |
20ms |
check forum access: |
4ms |
check topic access: |
4ms |
track hit: |
201ms |
get topic data: |
11ms |
get forum data: |
2ms |
get page messages: |
43ms |
get tp. blocked users: |
1ms |
| others: | 230ms |
| total: | 525ms |
| 0 / 0 |
