URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Дейкстра Э. Дисциплина программирования. Пер. с англ.
Id: 30470
 

Дисциплина программирования. Пер. с англ.

1978. 280 с. Твердый переплет. Букинист. Состояние: 4. .
Обращаем Ваше внимание, что книги с пометкой "Предварительный заказ!" невозможно купить сразу. Если такие книги содержатся в Вашем заказе, их цена и стоимость доставки не учитываются в общей стоимости заказа. В течение 1-3 дней по электронной почте или СМС мы уточним наличие этих книг или отсутствие возможности их приобретения и сообщим окончательную стоимость заказа.

 Аннотация

Посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. Предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть до создания программ. Материал излагается в форме остроумных и поучительных задач по программированию. Для широкого круга программистов.


 ОГЛАВЛЕНИЕ

Предисловие редактора перевода.................. 5

Предисловие............................ 8

От автора............................. 9

0. Абстракция исполнения....................17

1. Роль языков программирования.................24

2. Состояния и их характеристика.................27

3. Характеристика семантики...................34

4. Семантическая характеристика языка программирования... 45

5. Две теоремы..........................62

6. О проектировании правильно завершаемых конструкций.....66

7. Пересмотренный алгоритм Евклида...............70

S. Формальное рассмотрение нескольких небольших примеров... 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. О руководствах и реализациях.................256

27. Ретроспективы.........................265

 
© URSS 2016.

Информация о Продавце