Барендрегт Х. - Ламбда-исчисление. Его синтаксис и семантика :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/8840
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 04:23:57 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

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

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

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

Автор: Барендрегт Х.

Аннотация:

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

Язык:

Рубрика: Computer science/Вычислимость/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1985

Количество страниц: 606

Добавлена в каталог: 09.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\alpha$ -конверсия      38
$\alpha$ -конгруэнтность      38
$\alpha$ -постоянный терм      375
$\alpha-\mathfrac{U}$ -точное преобразование      255
$\beta$ -конверсия      35
$\beta$ -нормальная форма      45
$\beta$ -редукция      63
$\beta\eta$ -нормальная форма      45
$\beta\eta$ -редукция      75
$\delta$ -редукция      399
$\delta$ -символ Черча      400
$\eta$ -конверсия      43
$\eta$ -редукция      63
$\lambda I$ -определимая функция      195
$\lambda I$ -терм      48
$\lambda I(\beta)$ -исчисление      48
$\lambda I(\beta)\eta$ -исчисление      49
$\lambda K(\beta)$ -исчисление      35
$\lambda K(\beta)\eta$ -исчисление      43
$\lambda$ -алгебра      106
$\lambda$ -алгебра богатая      136
$\lambda$ -алгебра жесткая      110
$\lambda$ -модель      107
$\lambda$ -модель категоричная      131
$\lambda$ -модель непрерывная      134 501
$\lambda$ -модель системы $\mathscr{T}$       557
$\lambda$ -модель системы $\mathscr{T}$ экстенсиональная      557
$\lambda$ -определимая функция      50 51 186
$\lambda$ -теория      88
$\lambda$ -теория осмысленная      90 410
$\lambda$ -теория полуосмысленная      90
$\lambda$ -терм      36
$\lambda$ -терм замкнутый      36
$\lambda$ -терм помеченный      353
$\lambda'$ -терм      281
$\lambda(\beta)$ -исчисление      35
$\lambda(\beta)\eta$ -исчисление      43
$\lambda\bot$ -терм      365
$\mathbf{CL}$ -терм      158
$\mathbf{CPO}$       26
$\mathscr{T}$ -отделимое множество      430
$\mathscr{T}$ -разрешимый терм      430
$\omega$ -модель системы $\mathscr{T}$       557
$\omega$ -правило      91
$\omega$ -правило Париха      462
$\Omega$ -редукция      63
$\Omega$ -терм      447
B-1-оптимальная стратегия      328
B-оптимальная стратегия      328
CR = Черч - Россер
F-(редукционная) цепочка      327
fun      466
I-базис      200
I-отделимое множество      264
I-равномерная последовательность      203
I-разрешимый терм      194
I-редекс      80 297
K-разрешимый терм      194
K-редекс      297
R-бесконечный терм      68
x-прямой блок      266
А.н.ф.      см. 'Аппроксимативная нормальная форма'
Алгебраическое п.ч.у.м.      28
Аппликативная структура      101
Аппликативная структура экстенсиональная      93 101
Аппроксимативная нормальная форма      366
Аппроксимация      366
Базис      172
Бесконечная $\eta$ -нормальная форма      241
Бесконечное $\eta$ -расширение      238
Бесконечный $\eta$ -редукт      237
Бесконечный терм      558
Блок      265
Блок оригинальный      104 246
Вкладывается      104 246
Внутренность      110
Вхождение      37
Выворачивание по Бему      249 252
Выталкивание на бесконечность      230
Г.н.ф.      см. 'Головная нормальная форма'
Генератор      176
Генератор универсальный      177
Головная нормальная форма      52 180
Головная нормальная форма $\lambda$ -свободная      251
Головная нормальная форма главная      184
Головная нормальная форма с оригинальной головой      251
Головная переменная      180
Головная редукция      180
Головной редекс      180
Гомоморфизм      104 106
Готовое множество      255
Готовый терм      251
Граф (редукционный)      67
Группа алгебры      525
Группа комбинаторная      526
Группа рекурсивная      540
Двойственная функция      513
Декартово замкнутая категория      119
Декартово произведение      119
Декс (-часть)      340
Дерево      205
Дерево Бема      см. 'Дерево бемоское'
Дерево бемовского типа      226
Дерево бемовское      58 221
Дерево Накадзимы      504
Дерево помеченное      220
Дерево частично помеченное      224
Дерево эффективное бемовское      225
Дерево, лежащее в основе      220 224
Дерево, похожее на $\lambda I$ -дерево      233
Диаграмма      308
Диаграмма расщепляющаяся      307
Диаграмма элементарная      307
Дискретное множество      268
Дискриминатор      511
Длина редукционной цепочки      328
Длина терма      35
Дно      22
Замкнутость относительно аппликации      207
Замкнутость относительно композиции      144 186
Замкнутость относительно минимизации      144 186
Замкнутость относительно правила      91
Замкнутость относительно примитивной рекурсии      144 186
Замкнутость относительно равенства      151
Замкнутость относительно равенства комбинаторов      152
Замкнутый терм      36
Замыкание      36 335
Замыкание рефлексивное      62
Замыкание совместимое      62
Замыкание транзитивное      62
Изоморфизм      104
Иллативная комбинаторная логика      47 561
Индексирование      491
Индикатор переменных      232
Интерпретация      101 114
Истинностные значения      141 195
Каноническое отображение      94
Категория декартово замкнутая      119
Категория декартово замкнутая строго конкретная      124
Квази-GK-редукция      333
Квазилевая редукция      188
Когерентное п.ч.у.м.      30
Код конечной последовательности      11
Код конечной последовательности (не)обеспеченный      459
Комбинатор      36
Комбинатор неподвижной точки      54 140
Комбинатор неподвижной точки бемовский      150
Комбинатор собственный      191
Комбинаторная алгебра      92 103
Комбинаторная алгебра экстенсиональная      93

Комбинаторная группа      526
Комбинаторная логика      47 56 158
Комбинаторная модель      129
Комбинаторная модель устойчивая      129
Комбинаторная полнота      42 102
Комбинаторная полугруппа      136 525
Комбинаторные аксиомы      107 167
Коммутирующие отношения      75
Компактный элемент      28
Композиция      142
Конвертируемость      35 63
Конечность разверток      292
Контекст      41
Контекст кратно нумерованный      374
Критическая последовательность      210
Левый редекс      187
Лемма о генеричности      373
Лемма о кубе      317
Лемма о Хиндли - Розена      76
Локально представимое отображение      135 513
Локальный K      215
Магическая тройка      461
Мальцевское многообразие      94
Метка      220 224
Модель вторая Клини      218
Модель из замкнутых термов      93 109
Модель из открытых термов      93 109
Модель из термов      93 109
Модель первая Клини      218
Мультиблок      266
Мультимножество      310
Н.ф.      см. 'Нормальная форма'
Направленное множество      22
Наследственно не- $\Omega$ -универсальный генератор      447
Находится левее      187
Не- $\Omega$ -терм      447
Независимое множество      420
Непротиворечивая теория      44
Неразрешимый терм      52 178
Несравнимые термы      45
Нормальная форма      45 64
Нормальная форма аппроксимативная      366
Нормальная форма бесконечная      241
Нормальная форма головная      52 180
Нумерованное множество      156
Нумерованное множество позитивное      523
Нумерованное множество полное      523
Нумерованное множество предполное      157
Обеспеченное число      459
Область (значений)      509
Оболочка Каруби      125
Операция замыкания      384
Определимое отображение      509
Оригинальное множество      261
Осмысленная $\lambda$ -теория      410
Остаток      286
Отделимое множество      258 260
Откладывание $\delta$ -редукции      405
Откладывание $\eta$ - и $\Omega$ -редукции      392
Откладывание $\eta$ -редукции      386
Откладывание $\Omega$ -редукции      84 391
Отношение конгруэнтности      61
Отношение равенства      61
Отношение редукции      62
Отношение совместимое      61
Отображение алгебраическое      103
Отображение определимое      509
Отображение представимое      103 509
Оценка      101
П.о.      см. 'Полуосмысленная теория'
П.ч.у.м.      22
П.ч.у.м. алгебраическое      28
П.ч.у.м. когерентное      30
Парадоксальный комбинатор      141
Переменная      34 565
Переменная свободная      36 565
Переменная связанная      36 565
Перестановка конечная наследственная      137 533
Перестановка наследственная      137 533
Перестановщик      251
Перечисление      173
Поддерево      205 227
Подстановка      39
Подстановочное отношение      66
Подстановщик      495
Подструктура      104
Подтерм      37
Подтерм активный      37
Подтерм пассивный      37
Подтерм подчеркнутый      445
Подтерм соответствующий      448
Подтерм точно подчеркнутый      448
Подчеркнутый $\lambda$ -терм      445
Подчеркнутый CL-терм      436
Подъем      286 309 360
Полезный узел      260
Полная решетка      22
Полное нумерованное множество      523
Полное частично упорядоченное множество      22
Полнота комбинаторная      42 102
Полнота по Гильберту - Посту      95
Полнота редукций изнутри      364
Полугруппа комбинаторная      525
Полугруппа модели      525
Полуосмысленная теория      20 429
Полупрямое произведение      539
Понятие редукции      62
Порожденное множество      172
Правило $\xi$       91
Правило ext      91 161
Правило свертывания      64
Правило слабой экстенсиональности      44
Правило термов      91
Превосходит      246
Предиаграмма      309
Представимое отображение      103 509
Преобразование      250
Преобразование бемовское      250 264
Преобразование разрешающее      250 264
Приличная теория      515
Примитивно рекурсивные функционалы      555
Причина пометки      375
Проверка на нуль      143 148
Проективный предел      27 540
Проективный предел рекурсивный      137 540
Проектирование      286 309 360
Проекции      119
Проекция      471
Противоречивая теория      44
Р.п. = рекурсивно перечислимое
Равенство (отношение)      62
Равенство (формула)      44
Равенство замкнутое      44
Равномерная последовательность      57 175 514
Равномерно рекурсивная система      540
Развертка      79 288
Развертка полная      288
Различимое множество      261
Различимое множество нормальное      265
Разрежение редукции      320
Разрешимый терм      52 57 70 178
Расширение      131 236 237 238
Ре (-часть)      340
Регулярное множество      271
Редекс      64
Редекс внутренний      299
Редекс головной      180
Редекс зацикливающий      346
Редекс левый      187
Редекс обеспеченный      319

1 2

О проекте