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

Начинаться сжатым введением в основные понятия программного проектирования.
Использовать лаконичную формальную нотацию, строго определенную не более чем на примерно 20 страницах.
Основываясь на этой нотации, вводятся основные понятия итерации, рекурсии, логического утверждения <assertion> и инварианта.
Центральная тема — структурирование утверждений и типизация данных.
За этим следуют концепции упрятывания информации, модульности и проектирование интерфейсов, продемонстрированные образцовыми примерами.
Книга устанавливает терминологию, которая столь же интуитивна, сколь и точна.
Книга имеет умеренный размер.


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