Приветствую Вас, Гость! Регистрация RSS
Суббота, 2024-12-28
Главная » 2018 » Май » 5 » Ламбда-исчисление. Его синтаксис и семантика
19:13
Ламбда-исчисление. Его синтаксис и семантика

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

Название: Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Издательство: Мир
Год: 1985
Страниц: 606
Формат: DJVU
Размер: 25,52 МБ
Качество: Отличное

Содержание:

Предисловие
Часть I. На пути к теории
Часть II. Конверсия
Часть III. Редукция
Часть IV. Теории
Часть V. Модели
Приложения
Добавления
Литература
Предметный указатель
Указатель обозначений

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

Скачать с turbobit.net
Скачать с file-upload.com
Скачать с suprafiles.org
Категория: Разное | Просмотров: 101 | Добавил: Gunpowder
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]