Программирование: теоремы и задачи

Книга написана по материалам занятий программированием сошкольниками математических классов школы N 57.Книга написана в убеждении, что программирование имеет свойпредмет, не сводящийся ни к конкретным языкам и системам, ни кметодам построения быстрых алгоритмов.Кто-то однажды сказал, что можно убедить в правильности алгорит-ма, но не в правильности программы. Одна из целей книги – попы-таться продемонстрировать, что это не так.В принципе, возможность практического исполнения программ не яв-ляется непременным условием изучения программирования. Однакоона является сильнейшим стимулом – без такого стимула вряд ли укого хватит интереса и терпения.