Текущий раздел » » » Ламбда-исчисление. Его синтаксис и семантика
Kwork - магазин фриланс-услуг по 500 рублей

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

  • Заявить о правах (Abuse)
Автор: natagu от 2018-05-05, 05:39:12
Ламбда-исчисление. Его синтаксис и семантика
Автор: Барендрегт X.
Название: Ламбда-исчисление. Его синтаксис и семантика. The Lambda Calculus Its Syntax and Semantics
Издательство: М.: Мир
Год: 1985
Язык: Русский
Формат: djvu
Размер: 25,52 Мб
Кол-во страниц: 606

Описание: Ля́мбда-исчисле́ние — это формальная система, разработанная американским математиком Алонзо Черчем, для формализации и анализа понятия вычислимости. Ламбда-исчисление находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Ля́мбда-исчисле́ние может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Автор книги — известный голландский математик. Книга будет полезна для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.
Качество книги неплохое, но, фотографии математиков в книге низкого качества, и не удалось все специальные символы указать в оглавлении правильно.


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

BEGET - первые 30 дней хостинга БЕСПЛАТНО!





My-shop.ru: самый большой выбор детских игрушек в Рунете My-shop.ru - книжный Интернет-магазин My-shop.ru - Интернет-магазин для учителей My-shop.ru - Интернет-магазин учебной литературы
Интернет-магазин детских игрушек Книжный интернет-магазин Интернет-магазин для учителей Интернет-магазин учебной литературы
       

My-shop.ru - Ваш Интернет-магазин My-shop.ru - детский Интернет-магазин My-shop.ru - Интернет-магазин товаров для рукоделия My-shop.ru - Интернет-магазин товаров для образования
Интернет-магазин с более 700000 товаров Интернет-магазин товаров для детей Интернет-магазин товаров для рукоделия Интернет-магазин товаров для образования
       


 


BooksKeeper - электронная библиотека, ежедневно пополняемая нашими авторами.
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

BEGET - первые 30 дней хостинга БЕСПЛАТНО! HostLife - лучший платный хостинг
BEGET - первые 30 дней хостинга БЕСПЛАТНО! Баннер или тизер? Выбирай! HostLife - лучший платный хостинг!
Стабильный, профессиональный и ОЧЕНЬ выгодный хостинг на сегодняший день! Бонусы, акции - все для Вас! Размещение Вашего баннера на нашем сайте - это дешевая реклама Ваших сайтов или партнерских программ! Отличный хостинг по цене от 1.87$/месяц! Рекомендация от сайта Bookskeeper.ru!


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел » » » Ламбда-исчисление. Его синтаксис и семантика

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.

В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.
 
 

Реклама


Садовые печи-барбекю от компании Династия

Пять Ночей. Серик Куламбаев. Качай бесплатно!

Labirint.ru - ваш проводник по лабиринту книг


Book24.ru - книжный интернет магазин



Level Kitchen




HostLife - лучший платный хостинг



Kwork



BEGET - первые 30 дней хостинга БЕСПЛАТНО!



Все ужины бесплатно! Закажи любое меню сегодня и все ужины в нём будут стоить 0 рублей
 
 

Топ публикаций

 
  • Cooking Through College
  • Код Шредингера
  • Неучтённый (трилогия) (Аудиокнига)
  • Знание - сила №10 2020
  • Strange and Obscure Stories of World War II
  • Непревзойденные. Тетралогия в одном томе
  • Be Creative with Workbox №193 2020
  • Регрессор в СССР. Тетралогия в одном томе
  • Российское провинциальное дворянство и власть в первой половине XIX столетия: механизмы формирования верноподданических настроений и сословных ценност
  • Деятельность правителей династии Суй в период формирования централизованного государства в Китае (581-618 гг.)
  • Во власти и в изгнании: Дневник премьер-министра антибольшевистских правительств и эмигранта в Китае (1918 – 1925 гг.)
  • Історія населення басейну річки Тясмин в ранньому залізному віці (X – IV ст. до н.е.: природно-господарський аспект)
  • Аннотированный реестр описей фондов Российского государственного архива военно-морского флота (1696 - 1917)
  • Сделай сам № 2 (апрель-июнь 2020)
  • Дилетант №10 (58) 2020
  • Королевство крестоносцев. Два века правления европейских рыцарей на древних библейских землях. От взятия Иерусалима до падения Акры
  • Burda Knitting №5 2020
  • Blood Is Thicker Than Water - Non-Royal Consanguineous Marriage in Ancient Egypt: An Exploration of Economic and Biological Outcomes
  • Книжная серия "Тайны истории в романах, повестях и документах" ( Книжная лавка-РТР, Терра-Книжный клуб, Терра, Книжный Клуб Книговек) 1994 – 2011
  • Таругин Олег. Сборник (31 книга)
  •