Название: Ламбда-исчисление. Его синтаксис и семантика. The Lambda Calculus Its Syntax and Semantics Автор: Барендрегт X. Издательство: М.: Мир Год: 1985 Страниц: 606 Формат: djvu Размер: 25,52 Мб Язык: Русский
Эта книга, являясь, с одной стороны, почти энциклопедически полным изложением новых результатов, является, с другой стороны, введением в предмет, в котором находит свое место и классический материал, часто переосмысленный с новых позиций. Это достигнуто за счет оригинального построения книги. Изложение отличается полнотой и доступностью. Ля?мбда-исчисле?ние может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Автор книги — известный голландский математик. Книга будет полезна для математиков разных специальностей, преподавателей, аспирантов и студентов университетов. Качество книги неплохое, но, фотографии математиков в книге низкого качества, и не удалось все специальные символы указать в оглавлении правильно.
Навигация
Вход на сайт
Реклама
Ламбда-исчисление. Его синтаксис и семантика 
