Название: Ламбда-исчисление. Его синтаксис и семантика. The Lambda Calculus Its Syntax and Semantics
Автор: Барендрегт X.
Издательство: М.: Мир
Год: 1985
Страниц: 606
Формат: djvu
Размер: 25,52 Мб
Язык: Русский

Эта книга, являясь, с одной стороны, почти энциклопедически полным изложением новых результатов, является, с другой стороны, введением в предмет, в котором находит свое место и классический материал, часто переосмысленный с новых позиций. Это достигнуто за счет оригинального построения книги. Изложение отличается полнотой и доступностью. Ля?мбда-исчисле?ние может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Автор книги — известный голландский математик. Книга будет полезна для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Качество книги неплохое, но, фотографии математиков в книге низкого качества, и не удалось все специальные символы указать в оглавлении правильно.