Авторизация
Поиск по указателям
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения
Обсудите книгу на научном форуме
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Теория алгоритмов: основные открытия и приложения
Авторы: Успенский В.А., Семенов А.Л.
Аннотация: Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теория алгоритмов.
В книге дается обзор важнейших достижений теории алгоритмов за последние полвека, т. е. с момента зарождения этой теории. Излагаются в систематизированном виде основные открытия, связанные с понятием алгоритма, приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Рассматривается влияние теории алгоритмов на алгоритмическую практику.
Для специалистов по математике, информатике, кибернетике, а также для студентов вузов.
Язык:
Рубрика: Computer science /Алгоритмы /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Год издания: 1987
Количество страниц: 288
Добавлена в каталог: 23.11.2005
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
-структура 42
-рекурсивная функция 87
(Б, k)-ансамбль 26
(Б, k)-дерево 19
(Б, k)-дерево корневое 19
(Б, k)-деревьев ансамбль 26
(Б, k)-комплекс 24
(Б, k)-комплексов ансамбль 26
k-посылочное исчисление 46
n-местное имя 56
r-локальное действие 27
r-локальное свойство 27
r-окрестность 27
s — m — n-теорема 112
T-степень 97
X — Y-алгоритм 34
X — Y-представительная модель 40
Y-представительная модель 62
Абсолютная проблема распознавания равенства 157
Авторазмер 194
Автосводимость 192
Автоустойчивая алгебраическая система 195
Автоэквивалентность 193
Агафонов, В.Н. 118 210 220 245
Адлер, А. 161 245
Адян, С.И. 146 150 152 153 159 160 245
АКАМП см. «Алгебраически корректная алгоритмическая массовая проблема»
Аккерман, В. 170 248
Аксиома операторных констант 99
Аксиома протокола 99
Аксиома универсальной функции 100
Аксиома функциональных констант 99
Аксиомы Блюма 134
Активная часть 21
Алгебра 56
Алгебра сигнатуры с образующими и совокупностью определяющих соотношений S 58
Алгебра, порожденная сигнатурой и заданная совокупностью определяющих соотношений S 58
Алгебраическая система 56
Алгебраическая система автоустойчивая 195
Алгебраическая система жесткая 194
Алгебраическая система конечнозаданная 61
Алгебраическая система конечноопределенная 58
Алгебраическая система конструктивизируемая 187
Алгебраическая система конструктивная 187
Алгебраическая система нумерованная 187
Алгебраическая система операционная 56
Алгебраическая система рекурсивная 187
Алгебраическая система реляционная 56
Алгебраическая система свободная, порожденная сигнатурой 57
Алгебраическая система сигнатуры 56
Алгебраическая система сильно конструктивизируемая 187
Алгебраическая система сильно конструктивная 187
Алгебраическая система, порожденная сигнатурой 57
Алгебраическая система, порожденная сигнатурой и заданная совокупностью равенств S 58
Алгебраически корректная алгоритмическая массовая проблема 189
Алгоритм 29
Алгоритм вероятностный 231
Алгоритм Колмогорова — Успенского 36
Алгоритм Колмогорова — Шёнхаге 36
Алгоритм недетерминированный 64
Алгоритм относительный 98
Алгоритм разрешающий 78
Алгоритм с оракулом 98
Алгоритм с полулокальным преобразованием информации 36
Алгоритм стохастический 231
Алгоритм универсальный 110
Алгоритм эффективный 76
Алгоритмическая массовая проблема 148
Алгоритмическая массовая проблема алгебраически корректная 189
Алгоритмическая проблема 146
Алгоритмическая теория информации 216
Алгоритмический процесс 46
Алгоритмический размер 194
Алгоритмический размер колмогоровский 194
Алгоритмический размер мальцевский 194
Алгоритмический размер проблемный 194
Алгоритмический размер программный 194
Алгоритмический размер равномерный 194
Алгоритмы эквивалентные 34
Алгорифм 16
Алфавит внутренних состояний 239 240
Алфавит входной 239 240
Алфавит выходной 239
Алфавит рабочий 239 240
Анализ вычислимый 173
Анализ конструктивный 175
Анализ отчасти вычислимый 181
Ансамблей изоморфизм 26
Ансамбль 25 136
Ансамбль (Б, k)-деревьев 26
Ансамбль (Б, k)-комплексов 26
Ансамбль Б-слов 25
Ансамбль Б-слов расширенный 26
Ансамбль входов 34
Ансамбль выходов 34 48
Ансамбль колмогоровских Б-комплексов 26
Ансамбль нормированный 75
Ансамбль программный 108
Ансамбль словарный 25
Арифметический терм 89
Арифметическое множество 89
Арифметическое отношение 89
Арнольд, В.И. 161 246
Арсланов, М.М. 97 98 121 246
Ассоциативное исчисление 50 54
Атомная формула 60
Ахмедов, А.А. 6 7 247
Ахо, А.В. 32 37 67 68 70 82 85 86 93 101 222 246
Б-комплекс 23
Б-комплекс колмогоровский 23
Б-слов ансамбль 25
Б-слово 18
Барздинь, Я.М. 73 76 216 219 220 224 236 246 253
Батс, Р.Е. 246 254 258 270
Баур, В. 196 246
Бахвалов, Н.С. 17 246
Бейкер, А. 149 246
Бейкер, Т.П. 114 129 267
Бернуллиева мера 200
Бетелин, В.Б. 229 246
Блюм, М. 134 135 246
Борель, Э. 30 173—177 179 246 247
Бореля — Цейтина теорема 179
Браудер, Ф.Е. 246 247 249
Брукс, Ф.П. 224 247 250
Булгаков, П.Г. 6 7 247
Бун, В.В. 161 247 252 267
Бурбаки, Н. 184 198
Бэр, Р. 182
Вайнберг, Ю.Р. 181 247
Валентность 19 187
Валиев, М.К. 104 247
ван Вейнгаарден, А. 42 226
ван Хейенорт, Я. 248 266 267
Вейль, Г. 30 247
Верещагин, Н.К. 161 247
Вероятностный алгоритм 231
Верхняя оценка 220
Вещественный дуплекс 177
Вилль, Ж. 203
Винкльман, К. 114 129 130 258
Внутреннее состояние 32 239 240
Внутренних состояний алфавит 239 240
Вполне перечислимая совокупность 121
Время 66 68
Время линейное 241
Время реальное 242
Вспомогательный элемент 48
Вторая теорема о рекурсии 120
Входная процедура 39
Входной алфавит 239 240
Входов ансамбль 34
Вывод 47
Выдержать тест (о последовательности) 210
Выход 48
Выходная процедура 39 48
Выходной алфавит 239
Выходов ансамбль 34 48
Вычисление в реальное время 221
Вычисление смешанное 227
Вычислимая за линейное время функция 84
Вычислимая мера 200
Вычислимая непрерывность 179
Вычислимая нумерация 126 127 128
Вычислимая операция 102
Вычислимая относительно нумерации функция 132
Вычислимая функция 78
Вычислимая функция вычислимого действительного переменного 178
Вычислимая функция отчасти вычислимого анализа 182
Вычислимо сходящаяся последовательность 176
Вычислимо фундаментальная последовательность 176
Вычислимое действительное число 176
Вычислимое распределение вероятностей 200
Вычислимость относительно нумерации 132
Вычислимый анализ 173
Вычислимый континуум 177
Вычислимый оператор 103
Вычислительная модель 17
Вычислительная структура 115
Вычислительная функция 109
Вычислительный процесс 46
Вычисляться (о функции) 34
Вьюгин, В.В. 131 209 211 247
Вэлиант, Л. 69 86 247 267
Гарднер, М. 163 247
Гаттердам, Р.В. 223 252
Гёделева нумерация 127 128
Гёделева функция 112
Гёдель, К. 29 51 53 59 79 81 89 171 224 226 248
Гёделя теорема о неполноте 61 171
Гёделя теорема о полноте 51 171
Гжегорчик, А. 182 248
Гилл, Дж.Т. 232 237 238 248
Гильберт, Д. 154 170 248
Главная нумерация 127 128
Главная функция 112
Главная функция для X, Y с индексным множеством E 112
Гладкий, А.В. 50 55 62 76 92 145 248
Глушков, В.М. 36 104 171 224 229 248
Головка машины Тьюринга 239 240 241
Гольдбах, Х. 146
Гончаров, С.С. 131 187 190 193—195 248
Грамматика 50
Григорьев, Д.Ю. 71 249
Гриффит, Дж. 250 266
Двусторонняя машина Тьюринга 234
де Беккер, Дж. 104
де Леу, К. 232 235 255
Дедекинд, Р. 177
Дедуктивная система 44
Дедуктика 173
Дейвис, М. 89—91 146 149 248 249 252 261 265 268 269
Дейкстра, Э.В. 230 249
Действие локальное 22 27
Ден, М. 153 159 249
Денисов, С.Д. 132 249
Дескриптивная теория алгоритмов 15
Десятая проблема Гильберта 154
Детерминированная двусторонняя машина Тьюринга 240
Детерминированная одноголовочная, одноленточная машина Тьюринга без входа и выхода 239
Детерминированная одноголовочная, одноленточная машина Тьюринга со входом и выходом 239
Детерминированная односторонняя машина Тьюринга 234
Дёгтев, А.Н. 96 98 249 250
Диофантово множество 89
Диофантово отношение 89
Добрушин, Р.Л. 216 250
Доказуемое слово 173
Допустимое правило выбора 201
Допустимый объект 47
Достижимости проблема 162
Дуплекс 177
Дуплекс вещественный 177
Душский, В.А. 114 165 250
Евклид 29 232
Ейтс, К.Е.М. 96 250
Емкость 66 68 71
Ермаков, С.М. 232 250
Ершов, А.П. 8 9 18 42 80 88 104 112 186 226 227 229 230 250 251 266
Ершов, Ю.Л. 93 123 125 126 128 131 132 155 187 189 196 251
Ершова теорема о ядре 189
Жесткая алгебраическая система 194
Задаваться (об алгебраической системе) 60
Задание формальное 37 63
Замкнутая атомная формула 57
Замкнутый терм 56
Занумерованное множество 132
Заславский, И.Д. 183 251
Захаров, Д.А. 250
Звенигородский, Г.А. 229 230 250 251
Звонкий, А.К. 137 139 209 220 251
Земляченко, В.Н. 86 252
Игра «Жизнь» 163
Иерархия вычислимых функций 88
Изоморфизм ансамблей 26
Изоморфизм нормированных ансамблей 75
Имя n-местное 56
Имя предикатное 56
Имя предметное 56
Имя функциональное 56
Инвариантная теория сложности 133
Инвариантное свойство 159
Инвариантов метод 236
Инверсивное исчисление 153
Инициальное состояние 239 240 241
Инструкция 239 240 241
Интерпретатор 110
Информации теория 216
Информационное устройство 141
Исчисление 44
Исчисление k-посылочное 46
Исчисление ассоциативное 50 54
Исчисление инверсивное 153
Исчисление каноническое 62
Исчисление колмогоровского типа 50
Исчисление нормальное 62
Исчисление однопосылочное 46
Исчисление с локальным преобразованием информации 50
Исчисление со входом 52
Исчисление универсальное 119
Исчислительная операция 52
Исчислительный процесс 46
Каннан, Р. 162 252
Каннонито, Ф.Б. 223 247 252 267
Каноническая система 62
Каноническое исчисление 62
Карп, Р.М. 162 252
Категория нумерованных множеств 132
Квазистандартная нумерация 186
Квазитождество 60
Клауа, Д. 181 252
Клини, С.К. 8 32 41 50 67 79 81 87 89 97 100 103 104 120 166—168 172 184 252
Кнут, Д.Э. 7—9 31 202—205 207 211 212 224 250 253 256 266
Козмидиади, В.А. 246 253 259 261 264 271
Количество информации 215
Колмогоров, А.Н. 17 21—23 29 31 32 35—37 71 73 76 92 95 98 113 118 125 135 137 139 166 167 172 183 185 191—193 199 203—205 207—214 216—218 220 221 253
Колмогорова машина 33 35
Колмогорова — Успенского алгоритм 36
Колмогорова — Шёнхаге алгоритм 36
Колмогоровский Б-ансамбль 26
Колмогоровский Б-комплекс 23
Реклама