Программы, игры, фильмы, музыка, книги, Portable, софт - Новости портала
Развлекательно-познавательный портал SoftSova.RU
Главное меню
Разделы новостей
АУДИОКНИГИ [1134]
БЕЗОПАСНОСТЬ [195]
ГРАФИКА [115]
ДРАЙВЕРА [38]
ИГРЫ [213]
ИНТЕРНЕТ [261]
КНИГИ / ЖУРНАЛЫ [18789]
МОБИЛА / ПЛАНШЕТ [27]
МУЗЫКА [8553]
МУЛЬТИМЕДИА [155]
ОБРАЗОВАНИЕ [11]
РАБОЧИЙ СТОЛ [332]
СИСТЕМА [197]
ОС / СБОРКИ [1756]
ПОРТАТИВНЫЙ СОФТ [502]
СОФТ [438]
ФИЛЬМЫ / СЕРИАЛЫ [408]
ДОК. / УЧЕБ. ВИДЕО [2061]
МУЛЬТФИЛЬМЫ [22]
РАЗНОЕ [47]
Случайная новость
из архива
Картинки/Обои/Wallpapers
Различные и особенные черные обои.
Музыка/MP3/WAV
Звездный попсовый рай (2014)
Книги и Журналы
Братья Швальнеры - Спецназ ГРУ против басмачей
Книги и Журналы
Ветхий Завет (40 книг)
Программы
Windows 7 Rose SG™ 2012.10 Final [Русский] x86/x64
Фильмы и мультфильмы
Кундалини-йога с Алексеем Меркуловым [4 сезон: 1-11 выпуск] (2011) IPTVRip
Образование
Магия цвета в фотошоп. Курс по цветокоррекции (2017)
Игры/Games/PC
Call of Juarez: Gunslinger (2013/PC/RUS) RePack от R.G. Механики
Фильмы и мультфильмы
Адский бункер: Черное Солнце / Outpost: Black Sun (2012) HDRip
Книги и Журналы
Алисия Дэй - Сборник сочинений (11 книг)
Мультимедиа
BS.Player 2.69 Build 1078 MULTi / Rus
Облако тегов
SoftSova.RU » КНИГИ / ЖУРНАЛЫ » Ламбда-исчисление. Его синтаксис и семантика
Лучший интернет магазин, скидки, возврат денег, кэшбэк
КНИГИ ЖУРНАЛЫ Скачать Ламбда-исчисление. Его синтаксис и семантика
Ламбда-исчисление. Его синтаксис и семантика на Развлекательном портале SoftSova.RU
Ламбда-исчисление. Его синтаксис и семантика —  Автор книги — известный голландский математик. Изложение отличается полнотой и доступностью. Книга посвящена классическим и новым результатам в активно развивающемся направлении математической логики, так называемом ламбда-исчислении. Ламбда-исчисление находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Ля́мбда-исчисле́ние может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Книга будет полезна для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.

Название: Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт Х.
Издательство: Мир
Год: 1985
Страниц: 606
Формат: DJVU
Размер: 25,52 МБ
Качество: Отличное

Содержание:

Предисловие
Часть I. На пути к теории
Часть II. Конверсия
Часть III. Редукция
Часть IV. Теории
Часть V. Модели
Приложения
Добавления
Литература
Предметный указатель
Указатель обозначений


Чтобы увидеть дополнительные бесплатные ссылки, пожалуйста зарегистрируйтесь!


Теги: КНИГИ / ЖУРНАЛЫ, семантика, синтаксис, Ламбда-исчисление, Барендрегт, 1985, его, Ламбда-исчисление. Его синтаксис и семантика


Категория: КНИГИ / ЖУРНАЛЫ | Просмотров: 10 | Добавил: Gunpowder
| Дата добавления:
05 Май 2018 | Рейтинг:


Понравилась новость???
Нажмите на кнопку расположенную ниже,
чтобы отблагодарить Gunpowder за этот материал:
Или добавьте её в социальные закладки:

Как мне скачать бесплатно без СМС и регистрации Ламбда-исчисление. Его синтаксис и семантика с
RapidShare | DepositFiles | FileFactory | LetitBit | iFolder



ПОХОЖИЕ МАТЕРИАЛЫ В КАТЕГОРИИ » КНИГИ / ЖУРНАЛЫ
Николай Гуданец - Сборник произведений (30 книг)
Олди Генри Лайон - Ойкумена. Книги 1-3 (Аудиокнига)
Братушева А. - Ватрушки, сочни, плюшки (2012)
Андрей Преображенский - Учение дона Хуана. Абстрактная магия
Марисса Мейер - Лунные хроники (5 книг) (2012-2017)
П. Прутцманн - Дружный класс как маленькая планета
И.В. Рыбкин - Коучинг социального успеха
Юнацкевич П.И., Кулганов В.А. - Как выйти из невроза
Елена Коровина - 115 способов разбогатеть, или Секреты денежного изобилия
А. Азимов - Стальные пещеры. Обнаженное солнце. Камешек в небе (2 тома) (1993)
Михаил Брагин, Ирина Брагина - Как побеждать любого противника
А. Корягин - Деликатесы в домашних условиях
Жакоб Макс - Король Беотии. Небесад, или Золотые часы
Геннадий Кибардин - Кофе лечит: головную боль, спазм кровеносных сосудов, простуду, астму
Дэвид Митчелл - Сборник сочинений (8 книг)
Школьная библиотека (190 книг) (2001-2017)
Юнна Мориц - Крыша ехала домой (2010)
Карлос Кантанеро - Школа испанского футбола
Бушков Александр - Дождь над океаном (1990)
Шишкин Евгений - Бесова душа (Аудиокнига)
Всего комментариев: 0 -Напишите отзыв и Вы будете первым!
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Copyright SoftSova.RU™ © 2009-2018 Хостинг от
Мини профиль
Московское время: 15:11
Сегодня 26 Май 2018 года.










Гость!
Полное имя Гость
Ваша группа Гости сайта;
Ваш IP: 54.81.232.54;
Вы с нами день
Мы рады вам ГОСТЬ! Чтобы не видеть рекламу, получить личный профиль и неограниченный доступ на сайте, пожалуйста, зарегистрируйтесь или авторизуйтесь!
Правила сайта!
Правила добавления
новостей!

Логин:
Пароль:

Поиск по сайту



Полезное
Случайная новость
АУДИОКНИГИ
Шокирующие истории (Splatterpunk stories) (Аудиокнига)
БЕЗОПАСНОСТЬ
Dr.Web CureIt! 9.0.0.10180 (DC 01.02.2014) Portable ML/Rus
КНИГИ / ЖУРНАЛЫ
Microsoft Office 2007 для пользователя (в 3-х частях)
МУЗЫКА
Звезды Русских Дискотек 80-90х (2014)
ГРАФИКА
Picture Cutout Guide 3.1.6 ML/Rus RePack + Portable by KGS
МУЗЫКА
Звёздные Дуэты Российской Эстрады (2014)
КНИГИ / ЖУРНАЛЫ
Новая жизнь – новая я!
ДОК. / УЧЕБ. ВИДЕО
Обучающий курс рисования. Основы работы с цветом (2013)
ПОРТАТИВНЫЙ СОФТ
Glary Utilities Pro 4.5.0.89 Portable
КНИГИ / ЖУРНАЛЫ
Cобрание сочинений. Джеймс Паттерсон (33тома)
Статистика
Последние статьи
партнерка за смс, заработок на смс-партн...
Как попасть на первую страницу поисковой...
Что делать если наступил страховой случа...
Что нужно знать о независимой экспертизе...
Карта Квартира+ ПИК
Как разблокировать доступ к сайту
ошибки синего экрана смерти
Как выбрать сейф и какие они бывают
Как выбрать мебель в офис
Как завязывать галстук, шарф и платок. П...
Как правильно целоваться

Сайт адаптирован для просмотра с разрешением монитора 1280х1024 1024х768 в браузерах Mozilla Firefox и Opera. ВАШ браузер: , а
Файлы для обмена и ознакомления предоставлены пользователями сайта. Администрация не несёт ответственности за их содержание. На сервере хранятся только ссылки на файлы. Это значит, что мы не храним и не распространяем никаких нелегальных материалов, а так же материалов охраняемых авторским правом.
Для правообладателей!