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

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

Авторизация

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

Мальцев А.И. — Алгоритмы и рекурсивные функции

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

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

Название: Алгоритмы и рекурсивные функции

Автор: Мальцев А.И.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Алгебра      24 26
Алгебра конечно порожденная      27
Алгебра Робинсон      112
Алгебра Робинсона      75
Алгебра частичная      24
Алгебра, основное множество      24
Алгебра, основные операции      24
Алгебра, сигнатура      24
Алгебры однотипные      24
Алгебры, изоморфизм      24
Алгоритм (алгорифм)      9—11
Алгоритм нормальный      289
Алгоритм операторный      291
Алгоритм, детерминированность      10
Алгоритм, дискретность      10
Алгоритм, интуитивное понятие      11
Алгоритм, массовость      10
Алгоритм, направленность      10
Алфавит      17
Алфавит бесконечный      29
Алфавит машины внешний      219
Алфавит машины внутренний      220
Алфавит редуцированный      225
Буква      17
Гипотеза Клини      13
Гипотеза примитивно рекурсивная      88
Гипотеза рекурсивная      88
Гипотеза рекурсивно перечислимая      88
Гипотеза функции      88
Гипотеза Чёрча      12
Декартова степень      19
Декартово произведение      19
Значение терма      21
Значение функции      19
Иерархия арифметическая      280
Иерархия Клини      280
Изоморфизм алгебр      24
Изоморфизм нумерованных множеств      173
Канторовский номер n-ки      62
Канторовский номер пары      60
Квадратичный остаток числа      57
Класс алгебр      24
Класс моделей сигнатуры $\sigma$       267
Класс нумерационный      172
Клиниевский номер функции      136
Кодирование      27
Команда машинная      222
Команда подстановочная      223
Композит машин      233
Композиция бинарных отношений      218
Композиция слов      18
Конфигурация машины      221
Лента      18 219
Машина      14 218
Машина А (перенос нуля)      234
Машина Б+ (правый сдвиг)      234
Машина Б+Б+ (двойной перенос)      237
Машина Б- (левый сдвиг)      234
Машина В (транспозиция)      234
Машина Г (удвоение)      236
Машина Гг (копирование)      237
Машина Минского      305
Машина многоленточная      302
Машина Тьюринга      14 219
Машина Тьюринга универсальная      250
Машина Тьюринга — Поста      219
Машина Ц (циклический сдвиг)      237
Множества нумерованные, гомоморфизм      172
Множества нумерованные, изоморфизм      173
Множества рекурсивно неотделимые      199
Множества рекурсивно отделимые      199
Множества сильно неотделимые      203
Множества эффективно неотделимые      201
Множества, m-эквивалентные      158
Множества, креативная система      196
Множества, сводимость      156
Множества, слабо креативная система      197
Множество m-универсальное      157
Множество n-ок натуральных чисел      86
Множество n-ок примитивно рекурсивное      86
Множество n-ок рекурсивно перечислимое      86
Множество n-ок рекурсивное      86
Множество арифметическое      271
Множество гипергипериммунное      168
Множество гипергиперпростое      168
Множество гипериммунное      168
Множество гиперпростое      168
Множество диофантово      325
Множество замкнутое относительно частичной операции      25
Множество иммунное      163
Множество креативное (творческое)      161
Множество максимальное      164
Множество мезоичное      167
Множество нерекурсивное рекурсивно перечислимое      124
Множество номерное      172
Множество порожденное      25 33
Множество примитивно рекурсивное (относительно...)      43 77
Множество продуктивное      159
Множество простое      163
Множество рекурсивно перечислимое      79
Множество рекурсивное      77
Множество ретрассируемое      169
Множество сжатое      164
Множество слабо продуктивное      168
Множество словарное      205
Множество частично рекурсивное (относительно...)      43
Множество эффективно иммунное      171
Множество эффективно простое      171
Модель      267
Номер функции      99 136
Нормальная форма Клини      120
Нумерации рекурсивно изоморфные      174
Нумерации эквивалентные      173
Нумерации, односводимость      176
Нумерации, одноэквивалентность      176
Нумерация      133
Нумерация алфавитная      205
Нумерация вычислимая      146
Нумерация геделевская      133
Нумерация Клини      136
Нумерация однозначная      146 172
Нумерация полная      183
Нумерация Поста      139
Нумерация простая      172
Нумерация стандартная      147
Оператор минимизации      39 41
Оператор обращения      41
Оператор примитивной рекурсии      33
Оператор словарный      209
Операция      20 82
Операция итерирования одноместной частичной функции      69
Операция композиции одноместных частичных функций      68 69
Операция мажорированного обращения      49 52
Операция минимизации      41
Операция минимизации специального вида      66
Операция общерекурсивная      89
Операция подстановки      31
Операция примитивной рекурсии      33
Операция примитивной рекурсии специального вида      64
Операция сложения одноместных частичных функций      68
Операция суммирования      49 50
Операция суперпозиции      31
Операция термальная      23
Операция частично рекурсивная      89
Операция, изображенная термом      21
Определяющие соотношения      257
Особый объект      183
Отношение бинарное      218
Память внешняя      219
Память внутренняя      220

Подалгебра замкнутая      26
Подалгебра частичная      26
Полугруппа      254 255
Полугруппа свободная      255
Порождающие      27 257
Последовательность Фибоначчи      59
Предикат      263
Предикат арифметический      271
Предикат диофантовый      325
Предикат показательно диофантовый      339
Предикат рекурсивно перечислимый      140
Предикат рекурсивный      140 280
Представление Ейтса      169
Примитивная рекурсия      33
Проблема алгоритмическая      11
Проблема вхождения      77
Проблема выводимости      319
Проблема Гильберта (№ 10)      15 363
Проблема делимости слева      277
Проблема комбинаторная Поста общая      279
Проблема комбинаторная Поста ограниченная      279
Проблема конфигураций      312
Проблема нахождения правого обратного элемента      278
Проблема остановки      252 311 319
Проблема равенства слов в полугруппах      254
Проблема тождества в теории групп      14
Проблема тождественной истинности формул в исчислении первой ступени, неразрешимость      13 269 270
Программа      222
Программа операторного алгоритма      292
Программа подстановок      228
Продукции однородные      315
Продукции Поста      284
Прямой пересчет      169
Рекурсия      57
Рекурсия возвратная      57
Рекурсия ограниченная      130
Рекурсия примитивная      33
Рекурсия словарная примитивная      210
Рекурсия совместная      76
Рекурсия ступени      95
Сводимость множеств      156
Сводимость табличная      170
Семейство $\gamma$ -перечислимое      147
Семейство внутренне продуктивное      191
Семейство вполне креативное      188
Семейство вполне перечислимое      188
Семейство вполне рекурсивное      188
Символ индивидуальный      23
Символ переменный      23
Символ предикатный      264
Символ предметный      20 264
Символ предметный свободный      265
Символ предметный связанный      265
Символ функциональный      20 264
Символ функциональный n-местный      20 264
Система аксиом выполнимая      268
Система множеств креативная      196
Система множеств слабо креативная      197
Система подстановок      286
Система полу-Туэ      286
Система продукций Поста      287
Система формальная      284
Слова, графическое равенство      18
Словарная минимизация      211
Словарная примитивно рекурсивная функция      210
Слово      18
Слово машинное      221
Слово пустое      18
Слово расширенное машинное      224
Слово, вхождение      19
Слово, длина      18
Слово, подстановка      19
Слово, результат переработки      226 289 292
Состояние внутренней памяти      220
Состояние заключительное      220
Состояние машины      221
Состояние начальное      226
Стандартный номер множества чисел      147
Стандартный номер функции      154
ТАГ-проблема      319
Тезис Тьюринга      45
Тезис Чёрча      12 44
Теорема Аккермана      106
Теорема Гёделя      66 272
Теорема Гильберта — Гёделя      268
Теорема Девиса      330 343
Теорема Клини о неподвижной точке      137
Теорема Майхила о неподвижной точке      142
Теорема Маркова      129
Теорема Минского      294 307 312 316
Теорема о возвратной рекурсии      58
Теорема о графике частично рекурсивной функции      58
Теорема о мажорируемых неявных функциях      52
Теорема о представлении предикатов      140
Теорема о рекурсии второй ступени      96
Теорема о совместном продолжении      143
Теорема о существовании универсальной функции для одноместных примитивно рекурсивных функции      100
Теорема об изоморфизме нумераций      177
Теорема Патнема      336 343
Теорема Поста      82
Теорема Поста о кванторном представлении      281
Теорема Поста — Маркова      261
Теорема Поста — Минского      319
Теорема Раиса      138
Теорема Робинсон, Ю.      109 343
Теорема Робинсона      69 75
Теорема Скулема      127
Теорема Фридберга      154 155 165
Теорема Чёрча      269
Терм      20
Терм операторный      32
Уравнение показательное      339
Финитное соответствие      178
Формула      266
Формула второй ступени      276
Формула Патнема      338
Формула подстановочная заключительная      289
Формула подстановочная простая      289
Формула сигнатуры $\sigma$       267
Формула тождественно истинная      267
Функции, равенство      19
Функция Аккермана      106
Функция алгоритмически вычислимая (относительно...)      45
Функция всюду определенная      19
Функция вычислимая      12
Функция вычислимая по Тьюрингу      226
Функция вычислимая правильно      231
Функция Гёделя      62
Функция диофантова      326
Функция канторовская      60
Функция Клини универсальная      135
Функция конечно определённая      154
Функция нигде не определенная      20
Функция обратная      41
Функция общерекурсивная      46
Функция общерекурсивная универсальная      100
Функция показательно диофантова      340
Функция представляющая      89 206
Функция примитивно рекурсивная      35
Функция примитивно рекурсивная относительно $\mathfrak G$       35
Функция продуктивная      159
Функция простейшая      23
Функция рекурсивная      12
Функция словарная      206
Функция словарная нормально вычислимая      290
Функция словарная примитивно рекурсивная      210
Функция словарная простейшая      200 209
Функция словарная частично рекурсивная      206
Функция универсальная      98
Функция характеристическая      43

1 2

О проекте