Заметки по структурному программированию
К читателюО количественной ограниченности наших возможностей
О надежности аппаратуры
О наших интеллектуальных средствах
О перечислении
О математической индукции
Об абстракции
Пример доказательства правильности программы
О противоречии между правильностью доказательств и правильностью реализации
О понимании программ
О сравнении программ
Первый пример поэтапного составления программы
О семействах программ
О расплате машинной памятью за ускорение вычислений
О модели программы
Второй пример поэтапного составления программы
О том, чего мы достигли
Организация групп и последовательностей
Более детальные проектные рассмотрения
Проблема восьми ферзей
