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

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

Материал основан на многолетнем опыте преподавания автора в математических классах московской школы и в университетах. Книга написана в убеждении, что программирование имеет свой собственный предмет, не сводящийся к конкретным языкам или системам. Особое внимание уделяется доказательству корректности алгоритмов и программ.

Издание охватывает широкий спектр тем — от базовых алгоритмов и структур данных до более сложных теоретических вопросов. Уровень сложности задач варьируется от простых упражнений для начинающих до трудных задач, которые могут стать вызовом для опытных программистов. Большинство задач сопровождаются подробными решениями и объяснениями.

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