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