koob.ru

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

Автор: Барендрегт Хенк | Раздел: Разное

Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги — известный голландский математик.

Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.

Добавить отзыв о книге
Авторы сайта
Георгий Ефимов & Владимир Никонов
Библиотека «Куб»
Поддержать проектПодписаться