Добро пожаловать!

Вход на сайт

» » » » Ламбда-исчисление. Его синтаксис и семантика
Добро пожаловать на сайт Е-book книги. На сайте вы можете найти "Книги" и "Журналы" в электронном виде. На сайте есть как "Художественные" так и "Документальные" электронные книги в популярных форматах:fb2, txt, rtf, pdf, djvu.

Ламбда-исчисление. Его синтаксис и семантика

Автор: natagu Дата: 11-05-2018, 06:28 Категория: Книги по информатике, Книги по математике

Ламбда-исчисление. Его синтаксис и семантика

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


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

Скачать Ламбда-исчисление. Его синтаксис и семантика

Просмотров: 38 Отзывы: 0 Подняться наверх Вернуться

Комментарии

Добавить комментарий

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.