Двухтомник "Практика и теория программирования" представляет собой курс лекций, читавшихся авторами на протяжении нескольких лет студентами 1 курса Московского физико-технического института, а также семинарских занятий, основанных на этих лекциях. Курс содержит специально подобранный материал по абстрактным исполнителям, алгоритмам и языку программирования Си и может служить хорошим стартом в науку программирования. Первая книга включает в себя введение в теорию вычислимости и ряд независимых лекционных материалов о важных концепциях современного программирования: функциональное и продукционное программирование, сложность вычислений, грамматики и формальные языки, виртуализациия исполнителей. "Практика и теория программирования" может использоваться как самостоятельно, так и как дополнительное пособие для чтения различных курсов студентам компьютерных и математических специальностей. Для студентов вузов, обучающихся по профильным направлениям и специальностям, преподавателей, а также всех интересующихся теорией и практикой программирования.