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

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

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

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

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

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.

Автор:

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

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

Год: 1985

Формат: pdf

Размер: 15 mb

Для сайта:

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

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

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