Практика и теория программирования. В 2 книгах. Книга 1

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

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