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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Редекс пустой      305
Редекс сворачиваемый      319
Редекс специальный      340 344
Редукт      63
Редукции H-эквивалентные      304
Редукции сильно эквивалентные      314
Редукции слабо эквивалентные      304
Редукционная диаграмма      80
Редукционная стратегия      81 327
Редукционная стратегия частичная      335
Редукционная цепочка      66
Редукция      66
Редукция внутренняя      299
Редукция головная      180
Редукция изнутри      364
Редукция квазиголовная      352
Редукция квазилевая      188
Редукция левая      328
Редукция одношаговая      305
Редукция пустая      66
Редукция сильная      161
Редукция слабая      161
Редукция собственная      66
Редукция стандартная      80 298
Редукция, не затрагивающая множества      370
Редуцируется      63
Рекурсивные функции      145
Ретракт      28
Ретракция      28
Рефлексивное п.ч.у.м.      116
Решетка алгебраическая      30
Решетка непрерывная      30
Решетка полная      22
Ромба свойство      65
Ромба свойство слабое      69
Свертка      64
Свертывания правило      64
Свойство области      509
Селектор      251
Семейство      177
Сильно нормализуемое отношение      68
Сильно нормализуемый терм      68
Сильно эквивалентные редукции      314
Скелет терма      352
Слабая экстенсиональность      44
Слабое свойство ромба      69
Слабое свойство Чёрча — Россера      69
Совместное подмножество      30
Согласованные множества термов      255
Согласованные наборы термов и переменных      42
Согласованные термы      255
Соглашение о переменных      38
Спаривание      142
Спаривание сюръективное      142 554
Спаривающая функция      см. «Спаривание»
Спектр терма      351
Специальное множество      266
Стандартизация      320
Стратегия      326
Стратегия (1)-оптимальная      328
Стратегия B-(1)-оптимальная      328
Стратегия Гросса — Кнута      331
Стратегия зацикливающая      327
Стратегия кофинальная      327
Стратегия левой редукции      328
Стратегия нормализующая      327
Стратегия одношаговая      326
Стратегия рекурсивная      326
Стратегия скелетная      352
Стратегия со свойством Чёрча — Россера      327
Стратегия эффективная      326
Теорема аппроксимации      492 498
Теорема непрерывности      372
Теорема нормализации      329
Теорема о двойной неподвижной точке      149
Теорема о конечности разверток      292 316
Теорема о консервативности      345
Теорема о кратной неподвижной точке      149
Теорема о неподвижной точке      36 55
Теорема о неподвижной точке бесконечная      191
Теорема о неподвижной точке вторая      151
Теорема о неподвижной точке для п.ч.у.м.      26
Теорема о последовательности вычислений      377
Теорема о рекурсии

Теорема о сильной нормализации (для гёделевской системы $\mathscr{T}$ )      556
Теорема о сильной нормализации (для помеченной редукции)      359
Теорема о стандартизации      301
Теорема об области значений      435
Теорема об устойчивости      378
Теорема Скотта      434
Теорема характеризации      497 500
Теорема Чёрча — Россера (для $\beta$ )      74
Теорема Чёрча — Россера (для $\beta(\eta)\Omega$ )      395
Теорема Чёрча — Россера (для $\beta\eta$ )      78
Теорема Чёрча — Россера (для CL)      162
Теорема Чёрча — Россера (сильная форма)      316
Теорема Чёрча — Россера (через конечность разверток)      294
Теорема Чёрча — Россера (через лемму о полосе)      284
Теорема Чёрча — Россера (через помеченную редукцию)      360
Теория непротиворечивая      44
Теория полная по Гильберту — Посту      95
Теория существенно неразрешимая      153
Терм $\mathscr{T}$ -легкий      432
Терм $\mathscr{T}$ -обратимый      528
Терм R-бесконечный      68
Терм абстракционный      179
Терм аппликационный      179
Терм безымянный      567
Терм замкнутый      36
Терм легкий      402
Терм минимальный      334
Терм над аппликативной структурой      101
Терм Плоткина      453
Терм помеченный      353
Терм порядка 0      444
Терм похожий на переменную      447
Терм производный      340
Терм свободноголовый      528
Терм типа $\sigma$       549
Терм типа I      529
Терм, перечисляющий множество      173
Термы конгруэнтные      38
Термы, порожденные множеством      172
Тип      548
Тип основной      548
Типовая комбинаторная логика      549
Типовая структура комбинаторная      551
Типовая структура экстенсиональная      551
Типовое $\lambda$ -исчисление      549
Топология Виссера      433
Топология гиперсвязная      433
Топология деревьев      59 136 234 518
Топология Скотта      22
Точное преобразование      255
Удовлетворять правилу      112
Узел дерева      205
Узел дерева виртуальный      241
Универсальный генератор      177
Условное выражение      142
Устойчивый элемент      131
Формальное обращение      536
Формулы-типы      559
Функтор декартов      127
Функция $\lambda$ -определимая      50 51 186
Функция алгебраическая      103
Функция исходная      144
Функция представимая      103
Функция предшествования      143
Функция следования      148
Функция числовая частичная      185
Цикл      335
Цифровая система      55 147
Цифровая система адекватная      148
Цифровая система нормальная      148
Цифры      54 143 195
Цифры стандартные      148
Цифры Чёрча      195
Частный случай      250
Частный случай свободноголовый      528
Чёрча — Россера свойство      65
Чистая комбинаторная логика      47
Ширина F-редукционной цепочки      328
Эквивалентность г.н.ф.      242
Эквивалентность г.н.ф. по разрешимости      388
Эквивалентность редукций сильная      314
Эквивалентность термов      242
Экстенсиональная теория      91
Экстенсиональность      см. «Аппликативная структура» «Комбинаторная «
Экстенсиональный коллапс      552

1 2

О проекте