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

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

Авторизация

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

Марков А.А., Нагорный Н.М. — Теория алгорифмов

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

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

Название: Теория алгорифмов

Авторы: Марков А.А., Нагорный Н.М.

Аннотация:

В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории. Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$\mathfrak{U}$ -ряд      346
$\mathfrak{U}$ -ряд, его высота и протяжение      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

1 2

О проекте