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