Успенский В.А. — Лекции о вычислимых функциях :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Успенский В.А. — Лекции о вычислимых функциях

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

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

Название: Лекции о вычислимых функциях

Автор: Успенский В.А.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

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

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

$KB_{1}$       387
$KB_{2}$       387
$KB_{3}$       387
$KB_{3}'$       387
$KH_{1}$       384
$KH_{2}$       384
$KH_{3}$       384
$KH_{3}'$       385
i-я ось      см. «прямая параллельная
i-я экспонента      115
k-го ранга объект      191
l-ленточная машина      417
l-разбиение      439
l-разрежение      см. «вычислимая с l-разрежением функция»
l-секцин      439
m-реализовать запись числа относительно l-разрежения (об одноленточных машинах)      439
q-ичная нумерация      362
q-ичная нумерация вычислимых действительных чисел      362
q-ично вычислимое действительное число      359
q-ично задавать действительное число      341
q-ичное обозначение      362
q-ичное обозначение вычислимого действительного числа      362
q-ичный номер      362
q-ичный номер вычислимого действительного числа      302
q-ное определение действительного числа      341
R-частично-рекурсивная функция      344
s-мерное множество      27
s-местная высказывательная форма      56
s-местная функция      29
Активная головка      418
Активная лента      418
Алгоритм      16
Алфавит      19
Алфавит внешней памяти      408 417
Алфавит печати      404
Большого размаха функция      43
Буква      19
Введение фиктивного аргумента      31
Вектор полного состояния      420
Внешнее произведение      26
Внешняя память      408 417
Внутреннее состояние      402 417
Внутренняя память      401 407 417
Вполне обще-рекурсивное множество      297
Вполне продуктивное множество      389
Вполне рекурсивно-перечислимое множество      297
Вполне сопряженная функция      344
Всюду вычислимая функция      159
Всюду определенная функция      29
Выбора аргумента функция      31
Высказывание      53
Высказывательная форма      54
Выходная лента      404
Выходной алфавит      404
Вычислимая на l-ленточный машине функция      426
Вычислимая нумерация множества R      341
Вычислимая нумерация системы $P^{(s)}$       304
Вычислимая нумерация системы $\mathscr{L}^{(s)}$       299
Вычислимая по Тьюрингу функция      438 459 470
Вычислимая последовательность рациональных чисел      347
Вычислимая последовательность сегментов      354
Вычислимая с l-разрежением функция      439
Вычислимая функция      15 17 20 22 23 153—154 157—159 159 381 388 395
Вычислимо сходящаяся последовательность      348
Вычислимое в смысле Дедекинда действительное число      351
Вычислимое действительное число      359
Геометрическое произведение      26
Гипериммунное множество      289 290 385 394
Гиперпростое множество      290 394
Главная нумерация      297
Главная нумерация системы $P^{(s)}$       305 308
Главная нумерация системы $\mathscr{L}^{(s)}$       299 302
Главная универсальная для системы $\mathscr{L}^{(s)}$ функция      300 301 302
Главное универсальное для системы $P^{(s)}$ множество      305 307 308
Головка      408 417
График функции      21 39 40
График частичного отображения      40
Дважды универсальная пара      272 273
Дедекинда номер      361
Дедекинда номер вычислимого действительного числа      361
Дедекинда нумерация      361
Дедекинда нумерация вычислимых действительных чисел      361
Дедекиндово обозначение      361
Дедекиндово обозначение вычислимого действительного числа      361
Десятичная нумерация      362
Десятичная нумерация вычислимых действительных чисел      362
Десятично вычислимое действительное число      357
Десятично задавать действительное число      340
Десятичное обозначение      362
Десятичное обозначение вычислимого действительного числа      362
Десятичное определение действительного числа      340
Десятичной номер      362
Десятичный номер вычислимого действительного числа      362
Дизъюнкция      57 58 72
Длина кортежа      25
Задавать действительное число по Дедекинду      339
Задавать действительное число по Кантору      338
Задавать нумерацию множества R      341
Заключительная тройка      427
Заключительное внутреннее состояние      403
Замкнутое относительно предиката множество      199
Замкнутый относительно операции класс      38
Замыкание множества относительно предиката      200
Занумерованное множество      295
Запись числа      425
Идентификация аргументов      34
Иммунное множество      286 382 383 394
Импликация      57 59 72
Интуитивно-вычислимая функция      23 157
Истинностное значение      61
Исходные объекты      361
Канторов номер      361
Канторов номер вычислимого действительного числа      361
Канторова нумерация      361
Канторова нумерация вычислимых действительных чисел      361
Канторово обозначение      361
Канторово обозначение вычислимого действительного числа      361
Квантор общности      60 72
Квантор существования      60 72
Кольцо множеств      141
Команда      403 411 419 440
Компонента кортежа      25
Константная функция      31
Конструктивная операция      331 332
Конструктивно бесконечное в слабом смысле множество      383
Конструктивно бесконечное множество      387
Конструктивно неконечное в слабом смысле множество      385
Конструктивно неконечное множество      381 382 383 384 394
Конструктивно неотделимые множества      396
Конструктивно неперечислимое множество      389 394
Конструктивно счетное множество      376
Конструктивный аналог      382
Конструктивный континуум      359
Конструктивный объект      19
Конструктивный оператор      326 327
Конъюнкции      57 58 70
Координата кортежа      25 52
Кортеж      25
Креативное множество      389
Критерий Больцано — Коши      338
Кусочное задание      104 113
Лента внешней памяти      408 417
Лента для печати      404
Линейное множество      27
Мажорироваться      102
Машина типа I      401
Машина типа II      407
Машина Тьюринга      419
Машинно-вычислимая функция      426 427 434 443
Многоленточная машина      417

Множество в      27
Множество истинности      68
Множество уровня      103 170
Навешивание квантора      60 73
Напечатана последовательность чисел      414
Натуральная последовательность нумерации      295
Натуральное число      26
Натуральный ряд      26
Неограниченные кванторы      79
Неотделимые множества      395
Непересекающиеся кортежи      289
Нестрого ограниченные кванторы      79
Нетривиальное свойство      310
Нигде не определенная функция      29
Нижняя точка      118
Номер      193 203 265 295
Номер R-частично-рекурсивной функции      361
Номер пары линейных множеств      397
Номер полного состояния      420 470 471
Номер слова      420
Нульместная высказывательная форма      55
Нульместная функция      29 31
Нульместный предикат      66
Нумерация      193 203 266 294
Область определения      29
Образ при подстановке      138
Образ при частичном отображении      38
Обще-рекурсивная последовательность символов      413
Обще-рекурсивная функция      22 153—154 157 159 176—177 414 415
Обще-рекурсивно замкнутый класс      177
Обще-рекурсивно сводиться      295
Обще-рекурсивно эквивалентные нумерации      296 297
Обще-рекурсивное множество      143 178 179 181 186 297
Обще-рекурсивное описание      177
Обще-рекурсивное отображение      180 181
Обще-рекурсивное применение оператора $\mu$       176
Обще-рекурсивное соответствие      188 189 297
Обще-рекурсивный предикат      182
Объект k-го ранга      191
Ограниченные кванторы      79
Ограниченный оператор «наибольшее число» (ограниченный оператор $\mu'$ )      85
Ограниченный оператор «наименьшее число» (ограниченный оператор $\mu$ )      83
Ограниченный оператор «число тех, которые» (ограниченный оператор $\nu$ )      86
Одноленточная машина      419
Однолистная функция      187
Оператор      325
Оператор типа $\langle s_{1},\ldots,s_{k}\rangle \rightarrow r$       325
Оператор «наименьшее число» (Оператор $\mu$ )      82
Операция      155 331
Операция типа $\langle s_{1},\ldots,s_{k}\rangle \rightarrow r$       331
Определение действительного числа по Дедекинду      338
Определение действительного числа по Кантору      337
Основание нумерации      295
Основная гипотеза      157
Основная лемма      200 397
Осуществлять отображение      39 126 127
Осуществлять соответствие      44
Отделимые множества      395
Отделять      281
Отрицание      57 58 70
Перестановка аргументов      34
Пересчет      117
Пересчитывать множество      117
Перечислимое множество      21 148 184 289 381 388 394 395
Перечислять множество      117
Плоское множество      27
Подстановка алгебраическая      138
Подстановка вместо свободной переменной      56
Подстановка функций      33
Полное состояние      410 418
Полный прообраз      39
Порождать множество      117
Последовательность      404
Постоянно-печатающая машина      404 411
Предикат      65
Представляющая функция      46
Применять оператор и к функции      83
Примитивная рекурсия      48 50
Примитивно-рекурсивная функция      92 97 98
Примитивно-рекурсивно      48 50
Примитивно-рекурсивно замкнутый класс      91 94
Примитивно-рекурсивно сводиться      295
Примитивно-рекурсивно эквивалентные нумерации      296
Примитивно-рекурсивное множество      99 103
Примитивно-рекурсивное описание      97
Примитивно-рекурсивное отображение      103 126 127
Примитивно-рекурсивное последовательность символов      413 470
Примитивно-рекурсивное предикат      106
Примитивно-рекурсивное соответствие      105 119 123 125 128 133 135 296
Принадлежать к примитивно-рекурсивно замкнутому классу функций (о множестве, о предикате)      99 106
Программа      411 419
Продолжение      254
Проекция      29
Простейшая дизъюнкция      72
Простейшая импликация      72
Простейшая конъюнкция      71
Простейшее распространение оператора      327
Простейшее распространение операции      331
Простое множество      287 394
Пространство      27
Прямая, параллельная i-й оси      27
Прямой пересчет      117
Пустое слово      409
Пустой кортеж      25
Пустой объект      191 192
Пустой символ      408
Разнозначная функция      187
Разреженно-вычислимая функция      440 443 459
Разрежённо-вычислимая функция      440 443 459
Разрешимое множество      20 149 180 293 394
Распространение оператора      326
Рациональнозначная частично-рекурсивная (R-частично-рекурсивная) функция      344
Реализовать запись кортежа (об одноленточных машинах)      438
Реализовать запись кортежа на данных лентах (о многоленточных машинах)      426
Реализовать запись кортежа относительно l-разбиения (об одноленточных машинах)      439
Реализовать запись числа (о многоленточных машинах)      426
Регулярная подстановка      32
Регулятор сходимости      337
Резольвента      395
Рекурсивно-перечислимое множество в $N^{s}$       136 137 143 146 147 148 172 173 174 184 186 187 187 188 188 197
Рекурсивно-перечислимое множество в занумерованном множестве      297
Рекурсивно-перечислимое множество объектов k-го ранга      197—198
Рекурсивно-перечислимое множество пар $\langle a,b \rangle \in[N\infty^{p},N\infty^{q}]$       199
Рекурсивно-перечислимый предикат в $N^{s}$       149 182
Рекурсивно-перечислимый предикат на $[N\infty^{p},N\infty^{q}]$       199
Рекурсивное множество      144
Свободная переменная      55 56
Свободное вхождение      56
Сводить (о функции)      295
Сводиться (о нумерациях)      364
Связанная переменная      55 56
Связанное вхождение      56
Связанное обозначение      362
Связанный номер      362
Сегментная нумерация      361
Сегментная нумерация вычислимых действительных чисел      361
Сегментно вычислимое действительное число      354
Сегментно задавать действительное число      339
Сегментное обозначение вычислимого действительного числа      362
Сегментное определение действительного числа      339
Сегментный номер вычислимого действительного числа      362
Сильная теорема о нормальной форме      251
Симметрическая разность      381
Слабая теорема о нормальной форме      168
Слабо вычислимое в смысле Кантора действительное число      348
Следования функция      32
Слово      19 408
Соответствующая вычислимая нумерация      299 305
Сопряженная функция      344
Сохранять вычислимость      326

1 2

О проекте