|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Марков А.А., Нагорный Н.М. — Теория алгорифмов |
|
|
|
| Предметный указатель |
 -ряд 346
-ряд, его высота и протяжение 372
10-я проблема Гильберта 312 344
K-система 348
Reductio ad absurdum 64
T-изоморфизм 397
Абстракция отождествления 35
Абстракция потенциальной осуществимости 34
Адян, С.И. 20 370 397 422
Алгорифм 135
Алгорифм вербальный 136
Алгорифм вербальный в алфавите 136
Алгорифм вербальный над алфавитом 137
Алгорифм двойного проектирования 174 180
Алгорифм нормальный 139
Алгорифм побуквенного кодирования 171
Алгорифм, его применимость к исходному данному 136
Алгорифм, результат его работы 136
Александров, П.С. 7
Алфавит 25 31
Аннулирующий алгорифм 150
Арифметическая индукция, ограниченная 83
Арифметические действия над конструктивными действительными числами 412
Ассоциативная система 348
Ассоциативное исчисление 344
Ассоциативное исчисление абелево 393
Ассоциативное исчисление групповое 392
Ассоциативное исчисление единичное 392
Ассоциативное исчисление конечное 392
Ассоциативное исчисление полугрупповое 393
Ассоциативное исчисление разрешимое 393
Ассоциативное исчисление, его определяющая система 344
Ассоциативное исчисление, его соотношение 344
Ассоциативное исчисление, смежность слов в нем 345
Ассоциативное исчисление, эквивалентность слов в нем 345
Атом 108
Барздинь, Я.М. 318 323 422
Бернайс, П. 12 21 54 63 422
Бинарное отношение 385
Борисов, В.В. 370 422
Брауэр 6 14 18 38 314 422
Бриттон 370 422
Буква 24
Бун 370 422
Бурсиан, В.Р. 7
Вейль, Г. 6
Вербоид 258
Взаимная простота слов 79
Вхождение 94 97
Вхождение концевое 98
Вхождение начальное 98
Вхождение первое 101
Вхождение, его левое крыло 97
Вхождение, его основа 97
Вхождение, его правое крыло 97
Вывод в исчислении 28
Вывод с анализом 29
Высказывание 32
Высказывание о существовании 37
Высказывание общности 39
Высказывание полуразрешимое 52
Высказывание разрешимое 49
Высота слова 174 372
Вычислимая вербальная функция 330
Вычислимый инвариант бинарного отношения 385
Вычислимый оператор над вычислимыми вербальными функциями 336
Гейтинг 38 314 422
Гёдель 10 143 422
Гильберт 9 11 12 18 21 54 63 312 344 422
Гомоморфизм 389
Графическое равенство 29
Графическое различие 29
Двойник 199
Девис 11
Детловс, В.К. 12 20 144 422
Дизъюнкция 37
Дизъюнкция, ее конструктивное понимание 37
Длина слова 86
Дополнение слова концевое 84
Дополнение слова начальное 84
Драгалин, А.Г. 20
Дэн 370 422
Жаров, В.Г. 17 163 282 296 422
Законы сокращения слов 73
Замыкание нормального алгорифма 197
Заславский, И.Д. 20
Изоморфизм 390
Илюшкин, В.А. 318
Импликация 43 54
Импликация дедуктивная 63
Импликация материальная 56
Импликация усиленная 59
Инвариантные свойства ассоциативных исчислений 394
Инвариантные свойства ассоциативных исчислений, проблемы распознавания их 394
Инвариантные свойства вычислимых вербальных функций 339
Инвариантные свойства вычислимых вербальных функций нетривиальные 339
Индуктивное определение 28
Индукция по началам слова 82
Индукция по переводной системе 131
Индукция по шагам работы алгорифма 132
Интуиционизм 38
Интуиция общности 40
Исчисление 28
Исчисление, его аксиомы 28
Исчисление, его правила вывода 28
Итерационная цепь алгорифма 231
Кантор 19
Клини 10—12 143 312 329 335 423
Колмогоров, А.Н. 144 163 423
Композиция алгорифмов 198 217 335
Конец слова 74
Конец слова собственный 77
Конструктивная действительная функция 400
Конструктивная действительная функция, ее непрерывность 415
Конструктивная действительная функция, ее неразрывность 415
Конструктивная действительная функция, ее регулятор непрерывности 415
Конструктивная математическая логика 38
Конструктивная последовательность натуральных чисел 399
Конструктивная последовательность рациональных чисел 399
Конструктивная последовательность рациональных чисел фундаментальная 399
Конструктивная последовательность рациональных чисел, ее регулятор сходимости 399
Конструктивное действительное число 399
Конструктивное действительное число иррациональное 401
Конструктивное действительное число псевдорациональное 401
Конструктивное действительное число рациональное 401
Конструктивное действительное число, его абсолютная величина 413
Конструктивный объект 23
Конструктивный объект, его построение 29
Конструктивный объект, его существование 36
Конструктивный процесс 23
Коши 9 414 419
Кусочное задание конструктивной действительной функции 414
Кушнер, Б.А. 20 399 413 423
Линник, Ю.В. 7 423
Литероид 254
Лп-слово 67
Мажорирование 81 409
Мальцев, А.И. 12 423
Манин, Ю.И. 12 423
Марков, А.А. 6—9 11—17 34 65 163 254 281 312 317 318 343 344 350 368 369 383 385 394 396 401 415 418 422—424
Мартин-Лёф 416 424
Массовая алгорифмическая проблема 299
Матиясевич, Ю.В. 11 312 344 370 424
Мендельсон 12 424
Метод деления отрезка пополам 405 420
Нагорный, Н.М. 11 140 164 254 275 389 396 424 425
Наибольшее общее начало слов 81
Наследственные свойства ассоциативных исчислений 391
Наследственные свойства ассоциативных исчислений, проблемы распознавания их 395
Натуральное число 23 81
| Начало слова 74
Начало слова собственное 77
Неотличимость по инвариантам 385
Непустое слово 28
Новиков, П.С. 312 329 344 370 425
Нормальная массовая проблема 302
Нормальная массовая проблема разрешимая 302
Нормальный алгорифм 139
Нормальный алгорифм замкнутый 196
Нормальный алгорифм несамоприменимый 303
Нормальный алгорифм полный 323
Нормальный алгорифм самоприменимый 302
Нормальный алгорифм, его алфавит 139
Нормальный алгорифм, его запись 297
Нормальный алгорифм, его изображение 281
Нормальный алгорифм, его пополнение 323
Нормальный алгорифм, его сложность 319
Нормальный алгорифм, его схема 139
Обращающий алгорифм 166
Обращение слова 69
Объединение алгорифмов 219 224 335
Объединение алфавитов 73
Оперативная буква 352
Орловский, Э.С. 282 425
Остроухов, Д.А. 163 282 425
Отделимость перечислимых множеств разрешимыми 328
Отрицание 38 47
Отрицание прямое 49
Отрицание прямое предиката 50
Отрицание редукционное 64
Отрицание усиленное 53
Оценка сложности нормального алгорифма верхняя 323
Оценка сложности нормального алгорифма нижняя 323
Пара слов 93
Парадокс деревенского брадобрея 319
Парадокс Рассела 304 319
Перевод буквы 261
Перевод вхождения 264
Перевод нормального алгорифма 271 275
Перевод слова 261
Перевод формулы подстановки 270
Переводная система схемы 120
Переводная система схемы естественная 130
Переменная 44
Переменная вербальная 44
Переменная литеральная 45
Переменная натуральная 44
Переменная предикатная 46
Переменная пропозициональная 44
Переменная свободная 44
Переменная связанная 46
Перечислимое множество 312
Петер 12 425
Петри, Н.В. 323 425
Повторение алгорифма 230 245 247
Подстановка слова вместо вхождения 105
Полная индукция 41
Полугруппа 348
Пост 10 11 143 312 343 425
Правило modus ponens 43 56 59
Правило силлогизма 56 60
Предикат 45
Предикат арифметический 101
Предикат вербальный 45
Предшествование вхождений 99
Пример Шпеккера 402
Принцип конструктивного подбора 417
Принцип нормализации 141—142 145—146
Присоединение буквы левое 67
Присоединение буквы правое 31
Присоединяющий алгорифм 146
Присоединяющий алгорифм левый 148
Присоединяющий алгорифм правый 148
Проблема гомеоморфии полиэдров 17 312 344
Проблема изоморфии 396
Проблема распознавания аннулирования 315
Проблема распознавания несамоприменимости 305
Проблема распознавания применимости 308 317
Проблема распознавания применимости ограниченная 321
Проблема распознавания самоприменимости 305
Проблема тождества для групп 312
Проблема тождества для полугрупп 312 343 350
Проблема Туэ 343
Проблема эквивалентности для ассоциативных исчислений 349
Проекция слова на алфавит 88 173
Пустое слово 25
Пустой алгорифм 148
Рабин 397 425
Равносоставленность алфавитов 31
Развертка разрешимого предиката 90
Разветвление алгорифмов 224 230
Разветвляющий алгорифм 153
Разность алфавитов 73
Разрешимое множество 312
Райс 338 339 425
Распространение нормального алгорифма 187
Распространение нормального алгорифма естественное 193
Распространение нормального алгорифма формальное 196
Рассел 304 319
Растягивающий алгорифм 164
Расширение алфавита 73
Рациональное число 26
Рациональное число, его действительный образ 401
Рекурсивное определение 69
Роджерс 12 425
Семантические соглашения 32
Семенов, Л.Л. 12 426
Семиотика 31
Система слов 106
Система слов многочленная 231
Система слов пустая 110
Система слов, ее внутренний член 116
Система слов, ее объем 110
Система слов, ее первый член 110
Система слов, ее последний член 110
Система слов, ее член 110
Система слов, ее элемент 108
Слово в алфавите 25 27 66
Сложность нормального алгорифма 163
Совершенное число 45
Соединение слов 30
Сокращающий алгорифм 144
Схема в алфавите 118
Схема в алфавите, ее действие на слово 118
Сыркин, Г.И. 279 425
Тезис Чёрча 144
Теорема композиции 198 217
Теорема Коши о нуле знакопеременной непрерывной функции 414 419
Теорема о двух концах 77
Теорема о двух началах 77
Теорема о наименьшем числе 89
Теорема о неподвижной точке 335 337
Теорема о непополнимом нормальном алгорифме 324
Теорема об универсальном алгорифме 281
Теорема об универсальном алгорифме видоизмененная 298
Теорема объединения 220 224
Теорема повторения 231 245 247
Теорема приведения 274
Теорема приведения усиленная 274—275
Теорема разветвления 225
Теорема Успенского — Райса 339
Тождественный алгорифм 148
Туэ 11 12 343 425
Тьюринг 10 11 143 144 312 398 425
Удваивающий алгорифм 157
Условное равенство 187
Успенский, В.А. 12 144 329 338 339 423 426
Формула подстановки 117
Формула подстановки заключительная 117
Формула подстановки простая 117
|
|
|
| Реклама |
|
|
|
|
|
О проекте