Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

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

Ламбда-исчисление. Его синтаксис и семантика
Автор:Барендрегт Х.
Название:Ламбда-исчисление. Его синтаксис и семантика
Издательство: Мир
Год: 1985
Формат: pdf
Размер: 15 mb
Для сайта: eKnigi.org

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

 



Нажмите для скачивания barendregt_h_lambda_ischislenie_ego_sintaksis_i_semantika.rar!barendregt_h_lambda_ischislenie_ego_sintaksis_i_semantika.rar
Размер: 15.74 Mb(cкачиваний: 0)




Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional