Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии

Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии

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

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

Название: Справочная книга по математической логике. Часть 3: теория рекурсии

Автор: Барвайс Д.

Аннотация:

Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Язык:

Рубрика: Математика/Справочники/

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

ed2k: ed2k stats

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

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

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

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

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

Процедура разрешающая      78
Процедура эффективная      10
Процесс полутуэвский      55
Процесс туэвский      59
Пятерка      14 53
Разложение      263
Ранг      89
Расширение поля регулярное      296
Рекурсивность в      33
Рекурсивность относительная      32 114
Рекурсивность по Клини      196 205
Рекурсивность по Клини относительная      196
Рекурсия примитивная      172
Рекурсия сводная      201
Релятивизация      95 169
Релятивизация игрового квантора      256
Релятивизация к I      118
Релятивизация к степени      118
Решетка $\alpha$ -р. п. множеств      143
Сверхскачок      220
Сводимость      27 271
Сводимость нумераций      271
Сводимость по Тьюрингу      33 114
Сводимость точечных множеств      216
Свойство (F)      281
Свойство p-независимое      327
Свойство замены      328
Свойство коамальгамируемости      306
Свойство минимальности      169
Свойство параметризации      249
Свойство перечисления      187 215
Свойство предвполнеупорядоченности      186 215
Семейство p-зависимое      327
Сечение      244
Сигнатура функционала      168
Символ      12 55
Символ начальный      65
Система F-приемлемая      241
Система Q-приемлемая      256
Система автоустойчивая      279
Система индуцированная      95
Система конструктивизируемая      273
Система конструктивно устойчивая      279
Система нумерованная      273
Система нумерованная конструктивная      273
Система нумерованная сильно конструктивная      273
Система обозначений Клини для рекурсивных ординалов      238
Система ординальных обозначений      46
Система почти приемлемая      253
Система приемлемая      253
Система проектируемая      263
Система разложимая      263
Система сильно конструктивизируемая      273
Система соответствия Поста      63
Система степеней полная      125
Система универсальная      190
Система универсальная хорошая      191 201
Скачок      34
Слово      55 98
Слово Поста      56
Сложность внутренняя      104
Соотношение      59
Состояние      12
Состояние начальное      18
Степень      112
Степень n-точная над I      125
Степень высокая      127
Степень клиниевская      213
Степень конструктивная      122
Степень минимальная      117
Степень множества      114
Степень неконструктивности      122
Степень неразрешимости      33 112
Степень низкая      127
Степень почти рекурсивная      130
Степень расщепляемая      119
Степень рекурсивно перечислимая (р. п.)      34 126
Степень рекурсивно перечислимая (р. п.) относительно степени      115
Степень рекурсивных функций      114
Степень тьюрингова      112
Степень функции      114
Степень чашеобразная      119
Страт Галуа      331 332
Стратегия выигрышная      123 233
Стратификация      334
Сужение функционала      176
Схема $\mathscr F$ определимая      241
Схема кодирующая      241
Сцепление      193
ТАГ-проблема      67
Таг-система      67
Тезис Чёрча      15
Теорема      29
Теорема Гёделя о неполноте      81
Теорема Клини обобщенная      251
Теорема Матнясевича      68
Теорема о дереве      98
Теорема о нормальной форме      19
Теорема о нормальной форме для приемлемой системы      254 255
Теорема о параметризации      26
Теорема о перечислении      189 200
Теорема о плотности $\alpha$ -р.п. степеней      143
Теорема о плотности р. п. степеней      126
Теорема о пошаговом сравнении      182
Теорема о пошаговом сравнении вторая      254
Теорема о пошаговом сравнении первая      251
Теорема о предвполнеупорядоченности      186
Теорема о разложении      142 144
Теорема о рекурсии      28
Теорема о рекурсии вторая      191 201
Теорема о рекурсии первая      174
Теорема о транзитивности      43
Теорема о функциональной подстановке      173

Теорема о частичных подстановках      208
Теорема о ядре      275
Теорема об иерархии      41
Теорема об индукционной полноте      175
Теорема об обращении      120
Теорема об ограниченном кванторе      72
Теорема об операции скачка      152
Теорема об униформизации      151
Теорема об ускорении      21
Теорема Спектора — Ганди обобщенная      254
Теория аксиоматизированная      19
Теория алгебраически замкнутых полей      90 275
Теория булевых алгебр      191
Теория вещественно замкнутых полей      91 92
Теория вполне упорядоченных множеств      100
Теория второго порядка вполне упорядоченных множеств      100
Теория второго порядка линейно упорядоченных множеств      99
Теория второго порядка монадическая      97
Теория второго порядка монадическая слабая      97
Теория действительных чисел      88 269
Теория дискретного порядка      85
Теория категоричная в мощности      89
Теория коммутативных групп      94
Теория комплексных чисел      269
Теория конечных полей      94 269
Теория линейно упорядоченных множеств      85 94 99
Теория модельно полная      92
Теория мультипликативной полугруппы целых чисел      94
Теория неразрешимая      79
Теория полная      30 83
Теория поля p-адических чисел      93 269
Теория р. п. степеней      127
Теория разрешимая      78
Теория рациональных чисел      90 269
Теория регулярно замкнутого поля      324
Теория рекурсивно аксиоматизируемая      30
Теория системы      84
Теория сложения натуральных чисел      85
Теория степеней      122
Теория степеней глобальная      125
Теория степеней локальная      25
Теория стратов Галуа      333
Теория умножения натуральных чисел      107
Теория, заданная аксиоматически      82
Теория, заданная семантически      82 84
Техника блочная      162
Тип точки      193
Точка      193
Точка $\mathscr F$ -неподвижная      169
Точка неподвижная      168 169
Формула $\Pi^0_n$ -пренексная      240
Формула $\Sigma^0_n$ -пренексная      240
Формула Q-элементарная      256
Формула ограниченная элементарная      240
Формула универсально истинная      242
Формула экзистенциальная      240
Формула элементарная      240
Формула, T-представляющая предикат      239
Формула, определяющая оператор      246
Функционал      168
Функционал $\mathscr F$ -рекурсивный      169
Функционал вычисления значения функции      170
Функционал добавления переменных      170
Функционал нормальный      182
Функционал оперативный      169
Функционал рекурсивный      22
Функция $\alpha$ -рекурсивная      137
Функция $\lambda$ -определимая      16
Функция $\mathscr K$ -рекурсивная      195
Функция алгебраическая      88
Функция всюду определенная      10
Функция декодирующая      18
Функция длины      195
Функция кодирующая      18 236
Функция нигде не определенная      167
Функция общерекурсивная      16
Функция перехода      12
Функция повышения типа      194
Функция понижения типа      194
Функция пошагового сравнения      182
Функция предельно рекурсивная относительно функции      115
Функция предшествования      172
Функция примитивно рекурсивная      16
Функция продуктивная      36
Функция производящая      23
Функция распознавания типа      195
Функция рекурсивная      10 13 22
Функция следования      98 170
Функция тождественная      170
Функция универсальная      187
Функция характеристическая      170
Функция характеристическая множества равенства      170
Функция частичная      10 167
Функция эффективно вычислимая      10
Характер точки      204
Цепочка      55
Цепочка пустая      55
Часть предиката фундирования      227
Числа действительные рекурсивные      47
Числа натуральные      136
Эквивалентность конструктивных моделей      278
Эквивалентность нумераций      271
Эквивалентность нумерованных систем      278
Эквивалентность по Тьюрингу      33
Элемент $\Phi$ -алгебраический      274
Элемент сглаживающий      331
Ядро      233 234
Язык второго порядка монадический      97
Язык второго порядка монадический слабый      97
Язык первого порядка полный      240
Язык, порожденный полутуэвским процессом      65
Ячейка памяти      12
«Соревнование по трудолюбию» Радо      14

1 2

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте