Библиогр.: с. 188-189.

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