Поиск материала «Ламбда-исчисление, Его синтаксис и семантика, Барендрегт X., 1985» для чтения, скачивания и покупки

Найденные материалы, документы, бумажные и электронные книги и файлы:

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

Search results:

1. Конспект монографии по λ-исчислению

   30 мар. 2012 г. — Данный текст представляет собой чрезвычайно сжатый конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его ...

   habr.com
2. Учебные материалы [МОЭВМ Вики [se.moevm.info]]

   λ-исчисление и типы. Литература. Ламбда-исчисление, его синтаксис и семантика, Барендрегт Х., Изд: Мир, (1985). Introduction to Lambda Calculus. Henk ...

   se.moevm.info
3. Форум - Бесплатные электронные книги по физике [25]

   21 сент. 2003 г. — Барендрегт. Ламбда-исчисление. Его синтаксис и семантика. Москва, Мир. 1985. 606 с. Barendregt-LambdaCalculus.pdf. Берлекамп Алгебраическая ...

   exir.ru
4. Барендрегт, Хенк

   Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика (рус.). — М. : Мир, 1985. — 606 с. — 4800 экз. Henk Barendregt, Wil Dekkers, Richard Statman.

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

   Редкая книга! Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики - так называемом ламбда-исчислении ...

   www.libex.ru
6. Шалак В.И. «Шейнфинкель и комбинаторная логика» // ...

   4.2 В 1985 году в издательстве «Мир» вышла книга Х. Барендрегта «Ламбда-исчисление. Его синтаксис и семантика». Ее по праву называют энциклопедией λ-исчисления.

   iphras.ru
7. Все курсы

   – М.: МЦНМО, 2012. Х.Барендрегт, Ламбда-исчисление, его синтаксис и семантика. ... Дело, пожалуй, в том, что сложность его структуры ... Онлайн-курс ...

   pusk.mipt.ru