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