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

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