Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
Описание
Данное произведение представляет собой подробное исследование основ лямбда-исчисления, одного из ключевых формальных языков в математической логике и теоретической информатике. В книге подробно разбирается синтаксис и семантика этого мощного инструмента, что позволяет читателю понять его структуру и принципы функционирования. Особое внимание уделяется формальным определениям, правилам построения выражений и их интерпретации в различных моделях, что делает работу ценным ресурсом для специалистов и студентов, изучающих логические основы вычислений.
Автор тщательно рассматривает вопросы связности между синтаксисом и семантикой, а также исследует свойства и особенности лямбда-вычислений, такие как редукция, нормация и эквивалентность. В книге представлены теоретические основы, подкрепленные примерами и формальными доказательствами, что способствует более глубокому пониманию предмета. Этот труд станет надежным руководством для тех, кто занимается формализацией логических систем, разработкой языков программирования или занимается исследованиями в области вычислительной логики.
Изучая данное издание, читатель получит систематизированные знания о структуре и свойствах лямбда-исчисления, а также о его применениях в современной теории вычислений и логике. Работа поможет расширить горизонты понимания теоретических аспектов программирования, а также станет ценным учебным пособием для тех, кто хочет углубиться в фундаментальные основы информатики и математической логики. Благодаря ясной структуре и тщательному изложению материала, книга подходит как для самостоятельного изучения, так и для использования в академической деятельности.
Книги можно купить в интернет магазинах онлайн
- В бумажном виде в Москве с доставкой по России, СНГ и Европе;
- В электронном формате (PDF, EPUB) с моментальной загрузкой по всему миру.
География доставки
Доставка доступна в страны:
- Москва;
- Россия;
- страны СНГ;
- все страны мира.
Сравните цены
Мы собираем лучшие предложения из Яндекс.Маркет, My-Shop, Читай-Город, Литрес и других магазинов.
Выбирайте, где дешевле — и заказывайте напрямую!
Закажите прямо сейчас и получите:
- Оригинальное издание;
- Быструю доставку;
- Гарантию подлинности.
- Самый дешевый вариант по самой низкой цене.
Бумажные книги с доставкой по всей России
Какая цена на книгу Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985
- Ламбда-Исчисление. его синтаксис и семантика
market.yandex.ru - Ламбда-Исчисление: его синтаксис и семантикаmarket.yandex.ru
- Рогачева Елена Николаевна, Семенова Лидия ...market.yandex.ru
- Ламбда-Исчисление. его синтаксис и семантикаmarket.yandex.ru
- Падучева Е.В. "О семантике синтаксиса. Материалы к ...market.yandex.ru
- Тюркские конвербы и сериализация. Синтаксис, ...market.yandex.ru
- Рубашкин Валерий Шлемович "Онтологическая ...market.yandex.ru
- Семантика референции и значения собственных именmarket.yandex.ru
Электронные книги купить в России, СНГ и по всему миру
Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.
- Литрес, Litres – большая библиотека электронных книг, где можно купить, скачать и читать онлайн бесплатно
Литрес - это самая большая библиотека электронных книг. Покупай, скачивай, читай и слушай лицензионные электронные книги и аудиокниги для компьютеров, телефонов и планшетов. На Litres публикуются отзывы, рейтинги книг, рекомендации, рецензии, информация об авторах.
www.litres.ru
Нажмите на одну из кнопок выше, чтобы купить учебник Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985 или книгу в интернет магазинах Лабиринт, Буквоед, Читай-город, Литрес, My-shop, Book24, Books.ru, Литгид, Озон.
В этих официальных книжных интернет-магазинах вы можете недорого купить книгу как бумажную, так и или электронную по самой дешевой цене с доставкой по России и в другие страны. Также в этих магазинах можно купить книжные новинки и бестселлеры.
Официальные сайты интернет-магазинов по продаже книг в России и по всему миру:
- Читай-город
- Яндекс Маркет
- My-shop
- Литрес
- Book24
- УчМаг
Для формирования результатов поиска книг использованы сервисы поиска по поисковым системам.
Показаны первые 9 результата(ов).
