Авторизация
Поиск по указателям
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения
Обсудите книгу на научном форуме Нашли опечатку?
Название: Теория алгоритмов: основные открытия и приложенияАвторы: Успенский В.А., Семенов А.Л. Аннотация: Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теория алгоритмов.
Язык: Рубрика: Computer science /Алгоритмы /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1987Количество страниц: 288Добавлена в каталог: 23.11.2005Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Степень неразрешимости Тьюрингова 97 Степень трудности 105 Степень трудности сильная 105 Степень трудности слабая 105 Стирнз, Р.Е. 238 264 Стокмейер, Л.Дж. 224 264 Стоп-состояние 239 Стохастический алгоритм 231 Стоцкин, Э.Д. 50 55 62 264 Структура вычислительная 115 Структура нумерованная 184 Сужение нумерации 133 Схема программ 104 Схема Янова 104 Сэвич, В.Дж. 93 264 Сэсердоут, С. 162 264 Тайманов, А.Д. 155 251 Тайцлин, М.А. 155 251 Тарский, А. 155 170 264 Тверской, А.А. 188 198 264 Тезис Поста 63 Тезис Чёрча 41 Тенненбаум, П. 91 188 197 198 Тенненбаума теорема 197 Тенни, Р.Л. 162 264 Теорема s—m — n 112 Теорема Бореля — Цейтина 179 Теорема Гёделя о неполноте 51 171 Теорема Гёделя о полноте 51 171 Теорема Ершова о ядре 189 Теорема Майхилла 96 Теорема Мартин-Лёфа 183 Теорема Мартин-Лёфа, общая формулировка 183 Теорема Мучника 115 Теорема о линейном ускорении 84 Теорема о неподвижной точке 104 Теорема о рекурсивной связи различных мер сложности 134 Теорема о рекурсии, вторая 120 Теорема о рекурсии, первая 104 Теорема об иерархии 83 Теорема об ускорении 135 Теорема Роджерса 129 Теорема Теиненбаума 197 Теорема Цейтина — Московакиса 179 Теорема Шнорра 129 Теория алгоритмов дескриптивная 15 Теория алгоритмов метрическая 15 Теория информации 216 Теория информации алгоритмическая 215 Теория нумераций 122 Теория сложности инвариантная 133 Теория сложности машинно-независимая 133 Терм 60 Терм арифметический 89 Терм замкнутый 56 Терм полиномиальный 89 Терм приведенный 157 Тест 210 Тождества элементарных функций проблема 154 Тождество 59 Тотальная нумерация 123 Транслятор 111 Трансляция 111 Трансформация 201 Трансформация допустимая 208 Трахтенброт, Б.А. 73 83 172 182 232 254 264 Туэ, А. 18 19 53—55 149 151 152 265 Тыугу, Э.Х. 229 265 Тышкевич, Р.И. 86 252 Тьюринг, А. 29 30 32 35 40 41 66 67 81 95 101 104 106 151 171 173 175—177 265 Тьюринга машина 66 233 Тьюрингова сводимость 95 Тьюрингова степень 97 Тьюрингова степень неразрешимости 97 Уанг, П. 154 265 Удобная вычислительная модель 141 Улам, С. 232 Уланов, Г.М. 145 261 Ульман, Дж.Д. 32 37 67 68 70 82—86 93 101 222 246 268 Ульянов, С.В. 145 261 Универсальная функция 112 Универсальная функция для X, Y с индексным множеством 112 Универсальный алгоритм 110 Управляющее устройство 141 Условная сложность конструктивного объекта 139 Условная энтропия 139 217 Успенский, В.А. 6 8—10 22 23 25 31 32 36 66 67 86 88 99 102 103 113 114 121—123 125—127 132 150 154 168—173 178 179 181 182 192 204 230 251 253 261 263 265 266 Устойчивое подмножество 190 Устройство информационное 141 Устройство программное 142 Устройство управляющее 141 Уэзерелл, Ч. 163 266 Фактор-нумерация 133 Факторизация нумераций 133 Ферма, П. 146 Ферранте, Дж. 223 266 Фишер, М.Дж. 84 224 260 263 Фишер, П. 222 266 Фомин, С.В. 183 253 фон Мизес, Р. 199 200 202—207 210—212 258 фон Нейман, Дж. 227 232 259 Формальное задание 37 63 Формула атомная 60 Формула замкнутая атомная 57 Формула неопровержимая 167 Формула реализуемая 167 Фреге, Г. 45 266 Фрейвалд, Р.В. 232 233 235—238 266 Фрейман, К.В. 250 266 Фридберг, Р.М. 94 96 97 130 267 Функционал частичнорекурсивный 103 Функциональное имя 56 Функция 87 Функция вычислимая 78 Функция вычислимая за линейное время 84 Функция вычислимая относительно нумерации 132 Функция вычислимая отчасти вычислимого анализа 182 Функция вычислительная 109 Функция гёделева 112 Функция главная 112 Функция главная для X, Y с индексным множеством E 112 Функция оптимальная 118 Функция отделяющая 147 Функция результатная 110 Функция словарная 12 Функция универсальная 112 Функция универсальная для X, Y с индексным множеством E 112 Функция числовая 12 80 Функция экономная по норме 118 Функция, конструируемая по времени 82 Функция, конструируемая по емкости 82 Хакен, В. 161 247 266 Хартманис, Дж. 114 129 130 135 238 264 267 Хаусдорф, Ф. 181 Хачиян, Л.Г. 86 267 Хермес, Х. 87 88 267 Хинтикка, Я. 246 254 258 270 Хомский, Н. 86 Хоор, К.А.Р. 227 267 Хопкрофт, Дж.Е. 16 32 37 67—70 82—86 93 101 135 162 222 246 267 268 Хорезми, Мухаммад ибн Муса ал-Хорезми 6—8 29 232 267 Хуторецкий, А.Б. 130 131 268 Цейтин, Г.С. 48 52 63 69 83 84 93 104 122 152 175 178 181 183 248 251 268 Цейтина — Московакиса теорема 179 Цейтлин, Г.Е. 104 248 Чандлер, Б. 160 268 Чандра, А.К. 224 264 Частичнорекурсивный оператор 103 Частичнорекурсивный функционал 103 Частная проблема гомеоморфии 161 Ченцов, Н.Н. 233 268 Чёрч, А. 30 41 63 65 79 81 98 100 111 123 150 151 169—171 173 202—205 207 210 211 268 Чёрча тезис 41 Числовая нумерация 122 Числовая функция 12 80 Числовое множество 12 80 Шанин, Н.А. 21 45 46 50 165 167 177 179 180 268 Шенион, К. 216—218 232 269 Шенноновская сложность слова 219 Шенноновская удельная энтропия 219 Шень, А.Х. 94 100 126 204 205 207 208 210 212 269 Шепердсон, Дж. 121 255 Шёнфилд, Дж.Р. 21 25 97 250 269 Шёнхаге машина 36 42 Шёнхаге, А. 25 36 37 42 68 71 77 269 Шмульян, Р.М. 172 269 Шнорр, К.П. 118 129 139 208 211 270 Шнорра теорема 129 Шноррова нумерация 127 128 Шор, Р.А. 9798 270 Шпекер, Э. 176—178 181 182 270 Шпекера пример 178 Шредер, Э. 14 270 Штрассен, Ф. 222 Эббинхауз, Г.Д. 45 270 Эквивалентности слов проблема 151 Эквивалентность алгоритмов 34 Эквивалентность нумераций 125 Эквивалентность нумераций относительно колмогоровской сводимости 125 Эквивалентность нумераций по Колмогорову 125 193 Эквивалентность нумераций по Мальцеву 193 Эквивалентность нумераций проблемная 191 Эквивалентность нумераций программная 193 Эквивалентность нумераций равномерная 193 Эквивалентность слов 54 Экономная по норме функция 118 Экономная по объему номеров нумерация 127 128 Элемент вспомогательный 48 Элемент основной 48 Энтропия 137 Энтропия монотонная 138 Энтропия префиксная 138 Энтропия простая колмогоровская 137 Энтропия разрешения 137 Энтропия с ограничениями на сложность вычислений 139 Энтропия условная 139 217 Энтропия шенноновская удельная 219 Эрбран, Ж. 79 226 Эффективная почти полнота 180 Эффективная сепарабельность 180 Эффективно метризуемое пространство 181 Эффективно метрическое пространство 179 Эффективно опровержимая параметрическая проблема 169 Эффективно открытое множество 181 Эффективно пренебрежимое множество 182 Эффективно топологическое пространство 180 Юшкевич, А.П. 6 270 Ющенко, Е.Л. 104 248 Яблонский, С.В. 255 270 Язык 238 Язык арифметики 170 Язык предикатный 169 Язык теории множеств 170 Языки программирования 41 Якобс, К. 203 209 270 Янг, П. 114 129 130 258 Янгер, Д.Х. 86 271 Янов, Ю.И. 104 271 Янова схема 104 Яновская, С.А. 42 45 69 70 83 84 187 188 271 «Внешнее» свойство 158 «Внутреннее» свойство 158 «Жизнь» (игра) 163 «Точная» вероятностная машина 237 «Эффективной гёделевости» свойство 171
Реклама
-рекурсивная 
|
|
О проекте