Заметки по структурному программированию

К читателю
О количественной ограниченности наших возможностей
О надежности аппаратуры

О наших интеллектуальных средствах
О перечислении
О математической индукции
Об абстракции

Пример доказательства правильности программы
О противоречии между правильностью доказательств и правильностью реализации
О понимании программ
О сравнении программ
Первый пример поэтапного составления программы

О семействах программ
О расплате машинной памятью за ускорение вычислений
О модели программы
Второй пример поэтапного составления программы

О том, чего мы достигли
Организация групп и последовательностей
Более детальные проектные рассмотрения
Проблема восьми ферзей

---