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