Ламбда-исчисление. Его синтаксис и семантика — Автор книги — известный голландский математик. Изложение отличается полнотой и доступностью. Книга посвящена классическим и новым результатам в активно развивающемся направлении математической логики, так называемом ламбда-исчислении. Ламбда-исчисление находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Ля́мбда-исчисле́ние может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Книга будет полезна для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Название: Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Издательство: Мир
Год: 1985
Страниц: 606
Формат: DJVU
Размер: 25,52 МБ
Качество: Отличное
Содержание:
Предисловие
Часть I. На пути к теории
Часть II. Конверсия
Часть III. Редукция
Часть IV. Теории
Часть V. Модели
Приложения
Добавления
Литература
Предметный указатель
Указатель обозначений
|
Главная 
