Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Год издания: 1985
Формат: pdf
Издат.: Мир
Страниц: 606
Размер: 15.74
Язык: Русский
Настоящее научное издание посвящено традиционным и новейшим исследованиям в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и простотой. Автор книги - знаменитый голландский научный деятель. Рассчитано на математиков различных направлений.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12799 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Вибротерапия
Название: Вибротерапия Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: MPG Качество: отличное Размер: 330.07 МбОписание: Вибротерапия (лат. vibrare – дрожать, колебатьс . . .
-
Математическая морфология ландшафта
Название: Математическая морфология ландшафта Автор: Викторов А.С. Издательство: ТРАТЕК Год издания: 1998 Страниц: 190 Язык: Русский Формат: pdf Качество: хорошее Размер: 112 Мб Описание: Настоящая . . .
-
Предварительно напряженные металлические несущие конструкции
Название: Предварительно напряженные металлические несущие конструкции Автор: Беленя Е.И. Издательство: Госстройиздат Год издания: 1963 Страниц: 324 Язык: Русский Формат: djvu Качество: хорошее Разм . . .
-
Пряноароматические растения
Название: Пряноароматические растения Автор: Машанов В.И., Покровский А.А. Серия или выпуск: - Издательство: М.: Агропромиздат ISBN: 5-10-000601-3 Год издания: 1991 Страниц: 320 Язык: Русский Формат . . .
-
Очерки из истории Церкви
Название: Очерки из истории Церкви Автор: Мансуров С.П. Издательство: Издательство Спасо-Преображенского Валаамского монастыря Год издания: 1994 Страниц: 320 Язык: Русский Формат: Качество: хорошее . . .
-
Секретнее "Секрета" или "То, о чём не рассказали в школе"
Название: Секретнее "Секрета" или "То, о чём не рассказали в школе" Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: Mp4 Качество: отличное Размер: 419.47 МбОписание: Гд . . .
-
Сабрина Baby №4 апрель 2014
Название: Сабрина Baby №4 апрель 2014 Автор: коллектив Серия или выпуск: 4 Издательство: Эдипресс-Конлига Год издания: 2014 Страниц: 30 Язык: Русский Формат: jpg Качество: отличное Размер: 52 Мб Опи . . .
-
Война мага. Конец игры Том 4, часть 2(Аудиокнига)
Название: Война мага. Конец игры Том 4, часть 2(Аудиокнига) Автор: Перумов Ник Издательство: аудиокнига своими руками Год издания: 2014 Язык: Русский Формат: 256 kbps, (AAC), 44100 Гц Битрейт аудио: . . .
-
Mezginiu pasaulis №2 2014
Название: Mezginiu pasaulis №2 2014 Автор: коллектив Серия или выпуск: 2 Год издания: 2014 Страниц: 37 Язык: не определен Формат: pdf Размер: 54 Мб Описание: Популярный литовский журнал в мире трикот . . .
-
Чонишвили Сергей - Человек-поезд (аудиокнига)
Сергей Чонишвили – популярный актер театр и кино, непревзойденный мастер озвучания, и как выяснилось совсем недавно еще и очень интересный и талантливый писатель. Хотя сам Сергей, относится к своему л . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Ламбда-исчисление. Его синтаксис и семантика. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.