Алгебра 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
Класс моделей сигнатуры  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
Семейство  -перечислимое 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
Формула сигнатуры 267
Формула тождественно истинная 267
Функции, равенство 19
Функция Аккермана 106
Функция алгоритмически вычислимая (относительно...) 45
Функция всюду определенная 19
Функция вычислимая 12
Функция вычислимая по Тьюрингу 226
Функция вычислимая правильно 231
Функция Гёделя 62
Функция диофантова 326
Функция канторовская 60
Функция Клини универсальная 135
Функция конечно определённая 154
Функция нигде не определенная 20
Функция обратная 41
Функция общерекурсивная 46
Функция общерекурсивная универсальная 100
Функция показательно диофантова 340
Функция представляющая 89 206
Функция примитивно рекурсивная 35
Функция примитивно рекурсивная относительно  35
Функция продуктивная 159
Функция простейшая 23
Функция рекурсивная 12
Функция словарная 206
Функция словарная нормально вычислимая 290
Функция словарная примитивно рекурсивная 210
Функция словарная простейшая 200 209
Функция словарная частично рекурсивная 206
Функция универсальная 98
Функция характеристическая 43
|
|
|
О проекте