Купить книгу Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985

Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.

Описание

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

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

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

Книги можно купить в интернет магазинах онлайн
  • В бумажном виде в Москве с доставкой по России, СНГ и Европе;
  • В электронном формате (PDF, EPUB) с моментальной загрузкой по всему миру.
География доставки

Доставка доступна в страны:

  • Москва;
  • Россия;
  • страны СНГ;
  • все страны мира.
Сравните цены

Мы собираем лучшие предложения из Яндекс.Маркет, My-Shop, Читай-Город, Литрес и других магазинов.
Выбирайте, где дешевле — и заказывайте напрямую!

Закажите прямо сейчас и получите:
  • Оригинальное издание;
  • Быструю доставку;
  • Гарантию подлинности.
  • Самый дешевый вариант по самой низкой цене.

Бумажные книги с доставкой по всей России

Какая цена на книгу Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985

  1. Ламбда-Исчисление. его синтаксис и семантика...
    Купить книгу в интернет магазине Яндекс Маркет

    Ламбда-Исчисление. его синтаксис и семантика — купить в интернет-магазине Т8 Издательские Технологии на Яндекс Маркете. Доставка на дом или в ближайший пункт выдачи. Отзывы реальных покупателей о продавце и товаре...

    market.yandex.ru
  2. Введение в математическую логику. Учебное пособие.
    Купить книгу в интернет магазине My-shop

    ...Примеры рекурсивности § 2. Машины Тьюринга § 3. Ламбда-исчисление Значение ламбда-исчисления Синтаксис и семантика ламбда-исчисления Вычисление ламбда-выражений Нормальные формы Комбинаторы Задачи Глава 10.

    my-shop.ru
  3. Фреге Г. "Логика и логическая семантика. Выпуск №15..."

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

    market.yandex.ru
  4. Теория вычислений для программистов. Стюарт Том...

    латание Определение констант Удаление констант Часть I. ПРОГРАММЫ И МАШИНЫ Глава 2. Семантика программ В чем смысл слова "смысл"? Синтаксис Операционная семантика Семантика мелких шагов Выражения...

    my-shop.ru
  5. Синтаксис и семантика классического латинского языка...

    Ламбда-Исчисление. его синтаксис и семантика. ... Семантика времени и вида в русском языке; Семантика нарратива.

    market.yandex.ru
  6. Введение в исчисление Маллявэна — купить...

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

    market.yandex.ru
  7. Векторное исчисление в применении к математической...

    Векторное исчисление в применении к математической физике. Пер. с нем. ... Ламбда-Исчисление. его синтаксис и семантика.

    market.yandex.ru
  8. Книга Book Publishers Watches: A Guide By Hodinkee серый...

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

    market.yandex.ru
 

Электронные книги купить в России, СНГ и по всему миру

Ниже показаны результаты поиска известных поисковых систем. В результатах могут быть показаны как эта книга, так и похожие на нее по названию или автору.

  1. Литрес, Litres – большая библиотека электронных книг, где можно купить, скачать и читать онлайн бесплатно
    Купить электронную книгу в интернет магазине Литрес

    Литрес - это самая большая библиотека электронных книг. Покупай, скачивай, читай и слушай лицензионные электронные книги и аудиокниги для компьютеров, телефонов и планшетов. На Litres публикуются отзывы, рейтинги книг, рекомендации, рецензии, информация об авторах.

    www.litres.ru

Нажмите на одну из кнопок выше, чтобы купить учебник Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985 или книгу в интернет магазинах Лабиринт, Буквоед, Читай-город, Литрес, My-shop, Book24, Books.ru, Литгид, Озон.

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

Официальные сайты интернет-магазинов по продаже книг в России и по всему миру:

  • Читай-город
  • Яндекс Маркет
  • My-shop
  • Литрес
  • Book24
  • УчМаг

Для формирования результатов поиска книг использованы сервисы поиска по поисковым системам.

Показаны первые 9 результата(ов).

🗂️ Вернуться на основную страницу книги и страницу скачивания

  1. Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985

Дата генерации страницы: