|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ВВЕДЕНИЕ
Эта часть состоит из четырех глав, в которых рассматриваются основы программирования. Глава 1 посвящена истории возникновения некоторой задачи. Тщательная постановка этой задачи и простая методика программирования привели к элегантному решению. Этот случай иллюстрирует основную тему книги: упорные размышления над конкретной задачей могут привести к результатам, полезным на практике.
В гл. 2 исследуются три задачи, при этом упор делается на то, как глубокое понимание алгоритма позволяет получить простую программу. В гл. 3 рассматривается значение структур данных в разработке программы.
Глава 4 знакомит нас с проблемой верификации программ и с ролью, которую верификация может играть после того, как программа написана. Методы верификации широко используются в гл. 8,10 и 12.
Составляющие ч. I главы были первыми из опубликованных в разделе "Жемчужины программирования" (Programming Pearls) журнала Communications of the ACM. Глава 1 появилась в августовском, гл. 2 - в сентябрьском, гл. 3 - в октябрьском, а гл. 4 - в декабрьском номере за' 1403 г.
|
|
|
|
|
|
|
|
Глава 1. КАК РАСКОЛОТЬ ОРЕШЕК
Вопрос программиста был прост: "Как мне выполнить сортировку на диске?" Перед тем, как рассказать о своей первой ошибке, я хочу предоставить вам возможность поступить правильнее, чем я в свое время. Представьте себе, что вам задали простой вопрос: "Как выполнить сортировку на диске?" Что бы вы ответили?
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
