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

Купить бумажную книгу и читать

Купить бумажную книгу

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".

Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.

Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.

Автор:

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

Издательство: Мир

Год: 1985

Формат: pdf

Размер: 15 mb

Для сайта:

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

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

Дата создания страницы: