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