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


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

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

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12776 раз



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

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Ламбда-исчисление. Его синтаксис и семантика. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.