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