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