Тройки Хоара

[GraDea]

(a != 0 or n != 0) — здесь разве не and должен быть?

[MaximChistov]

он уже в RO :)

[qw1]

0⁰ — математическая неопределённость,
0¹, 1⁰ — можно вычислить

[mayorovp]

Если бы я не знал троек Хоара, то бы ничего из этой статьи не понял.

Кстати, алгоритм быстрого возведения в степень куда проще объясняется при помощи инварианта, чем тройками Хоара.

[PavelSandovin]

Не удивительно, последовательное изложение этой темы занимает половину семестра.

[fareloz]

Тогда видимл автору нужно было писать цикл статтей, а не сухую заметку на полях.

[rafuck]

А разве тут инвариант не указан в комментарии к коду?

[mayorovp]

Указан, да не совсем он. Автор определяет инвариант цикла как некоторое высказывание, верное на каждой итерации: a0**n = r * a**n

При использовании метода инварианта, инвариант — это любое математическое выражение, которое сохраняет свое значение на каждой итерации: r * a**n = const

[rafuck]

Может я еще не проснулся, но все-таки приведите, пожалуйста, ваш инвариант, после которого я бы по вашему утверждению быстрее все понял.

[mayorovp]

Я его привел.

[rafuck]

И почему же выражение a0^n0 не подходит на роль константы?

[PavelSandovin]

На лекциях по Computer Science в 1999-м году в СГУ «логику Хоара» нам преподавали под названием «теория аксиоматической верификации программ». А на практике предупреждали, что это «университетское программирование, которое в жизни не встретить и не очень нужно» :)

А Вы используете его в какого рода проектах, и в каком объеме — в каких-то критических участках кода я полагаю?

[fareloz]

Какой-то сухой конспект лекции из универа. Ничего сходу не понятно.

[teleavtomatika]

Я тут не поленился и заглянул в приведенную в начале статьи ссылку на википедию. Ваша статья скопирована из википедии чуть менее чем полностью.

[teleavtomatika]

Похоже, что автор не ответит. Он в глубоком нокауте: habrahabr.ru/company/pvs-studio/blog/268001/#comment_8596923

[rafuck]

Кстати, вплоть до грамматических ошибок: «цикл будет выполнятся»

[rafuck]

но надо отдать должное, примеры по разворачиванию рекурсии на мой взгляд хороши

[roman_kashitsyn]

Интересующимся могу посоветовать статью про бинарный поиск из Programming Pearls Бентли (Жемчужины программирования). Бентли горячо рекомендовал The Science of Programming, предисловие к которой написал Dijkstra. Книга довольно интересная, но её сложно назвать лёгким чтивом.

[rafuck]

Ждаль джва раза… Вообще, по-моему, очень понятно. Нужно просто уметь разворачивать рекурсию в цикл. Хотя должно быть наоборот ,) Не умеешь, прочитал и что-то понял.