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

Автор(ы)

Барендрегт Х

Год

1985

Издательство

Мир

Язык

rus

Библиографическая ссылка

М.: Мир, 1985.— 606 с.

Теги

Математика Программирование

Аннотация

Ламбда-исчисление. Его синтаксис и семантика Год : 1985 Автор : Барендрегт Х. Переводчик : Минц Г.Е. Жанр : Монография Издательство : Мир Язык : Русский Формат : DjVu Качество : Отсканированные страницы + слой распознанного текста Интерактивное оглавление : Нет Количество страниц : 304 разворота по 2 стр. Описание : Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги - известный голландский математик. Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов. Примеры страниц Оглавление