Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, «Структурное программирование», «Мир», 1972).
Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ.
В ней предлагается методика формального вывода программы из математической постановки задачи.
При этом прослеживается развитие алгоритмов вплоть до создания программ.
Материал излагается в форме остроумных и поучительных задач по программированию.
Книга представляет значительный интерес для широкого круга программистов.
Author(s): Дейкстра Эдсгер
Series: Математическое обеспечение ЭВМ
Publisher: Мир
Year: 1978
Language: Russian
Pages: 277
City: Москва
Предисловие редактора перевода 5
Предисловие 8
От автора 9
О. Абстракция исполнения 17
1. Роль языков программирования 24
2. Состояния и их характеристика 27
3. Характеристика семантики 34
4. Семантическая характеристика языка программирования 15
5. Две теоремы 62
6. О проектировании правильно завершаемых конструкций 66
7. Пересмотренный алгоритм Евклида 70
8. Формальное рассмотрение нескольких небольших примеров 77
9. Когда недетерминированность огранячена 104
10. Размышления на тему: «Область действия переменных» 111
11. Векторные переменные 131
12. Теорема о линейном просмотре 145
13. Задача о следующей перестановке 147
14. Задача о голландском национальном флаге 151
15. Обновление последовательного файла 158
16. Еще раз о задачах слияния 165
17. Упражнение, приписываемое Р.У. Хэммингу 172
18. Задача поиска по образцу 178
19. Представление числа в виде суммы двух квадратов 184
20. Задача о наименьшем простом множителе большого числа 187
21. Задача о самых удаленных селениях 194
22. Задача о кратчайшем покрывающем дереве 199
23. Алгоритм Рема выделения классов эквивалентности 208
24. Задача о выпуклой оболочке в трехмерном пространстве 217
25. Нахождение максимально сильных компонент в ориентированном графе 245
26. О руководствах и реализациях 255
27. Ретроспективы 265
