Авторизация
Поиск по указателям
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения
Обсудите книгу на научном форуме Нашли опечатку?
Название: Теория алгоритмов: основные открытия и приложенияАвторы: Успенский В.А., Семенов А.Л. Аннотация: Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теория алгоритмов.
Язык: Рубрика: Computer science /Алгоритмы /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1987Количество страниц: 288Добавлена в каталог: 23.11.2005Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Отношение диофантово 89 Отношение полиномиальное 89 Отношение согласованности 136 Отображение ограниченно-искажающее 75 Отчасти вычислимый анализ 181 Оценка верхняя 220 Оценка нижняя 223 Пансьо, Ж.Ж. 162 267 Параметрическая проблема 169 Парк, Д.М.Р. 104 255 Патерсон, М.С. 104 153 224 255 260 Пауль, В.Дж. 69 142 260 267 Первая теорема о рекурсии 104 Перетятькин, М.Г. 196 261 Перечисления оператор 102 Перечисления проблема 164 Перечислимая степень 97 Перечислимое множество 81 Петров, Б.Н. 145 261 Плиско, В.Е. 167 171 261 Позитивная нумерация 124 Показатель локальности 22 Полиномиально гёделева нумерация 129 Полиномиально главная нумерация 129 Полиномиальное множество 89 Полиномиальное отношение 89 Полиномиальный терм 89 Полная конфигурация 32 Полное множество 95 Полное состояние 32 Полусистема Туэ 53 Поляков, Е.А. 261 Породимое множество 78 Породимость конечноавтоматная 93 Порождаться исчислением (об объекте, множестве) 48 Порождающее правило 45 Порождающий процесс 46 Порожденная сигнатурой 57 Порожденная сигнатурой и заданная совокупностью равенств S алгебраическая система 58 Порядок роста функции 236 Последовательность вычислимо сходящаяся 176 Последовательность вычислимо фундаментальная 176 Последовательность регулярно сходящаяся 176 Последовательность случайная 198 Последовательность случайная по Колмогорову 208 Последовательность случайная по Мартин-Лёфу 210 Последовательность случайная по Мизесу — Кнуту 205 Последовательность случайная по Мизесу — Черчу 204 Последовательность случайная по Мизесу —Колмогорову — Лавлэнду 205 Пост, Э.Л. 15 29 32 35 40 41 55 62 63 65—67 78 81 94—97 101 151 152 252 261 Поста тезис 63 Посылка 46 Поэнару, В. 161 247 Правило выбора 201 Правило выбора допустимое 201 Правило вывода 45 Правило выделения основных состояний 48 Правило извлечения результата 40 48 Правило начала 39 Правило нульпосылочное 47 Правило порождающее 45 Правило разрешительное 45 Предикатное имя 56 Предметное имя 56 Представимости матриц проблема 153 Представительная вычислительная модель 34 39 Представительная порождающая модель 62 Представительный класс алгоритмов 34 Представительный класс исчислений 62 Прелов, В.В. 216 250 Префиксная энтропия 138 Приведенный терм 157 Пример Шпекера 178 Принимать (язык) 243 Принимать за время 243 Приниматься (о слове) 241 243 Принимающее состояние 240 241 Проблема алгебраически корректная 190 Проблема алгоритмическая 146 Проблема Гильберта, десятая 154 Проблема гомеоморфии общая 161 Проблема гомеоморфии частная 161 Проблема достижимости 162 Проблема отделения 147 Проблема отделимости 147 Проблема параметрическая 169 Проблема параметрическая, эффективно опровержимая 169 Проблема перечисления 164 Проблема представимости матриц 153 Проблема продолжения 147 Проблема разрешения 147 Проблема разрешения семантическая 170 Проблема разрешимости 147 Проблема распознавания истинности формул 151 Проблема распознавания равенства абсолютная 157 Проблема распознавания равенства относительная 157 Проблема решимая 12 146 Проблема сводимости Поста 94 Проблема сочетаемости Поста 151 Проблема тождества элементарных функций 154 Проблема эквивалентности слов 151 Проблемная сводимость 192 Проблемная эквивалентность 193 Проблемное различие 191 Проблемный размер 194 Программа 108 Программа вычислимого действительного числа 177 Программа функции 113 Программирование исчислений 119 Программирования метод 113 Программная сводимость 192 Программная эквивалентность 193 Программного типа нумерация 185 Программное устройство 142 Программный ансамбль 108 Программный размер 194 Продолжения проблема 147 Простая колмогоровская энтропия 137 Простая нумерация 122 Простое множество 96 Пространство метрическое конструктивное 179 Пространство метрическое рекурсивное 180 Пространство эффективно метризуемое 181 Пространство эффективно метрическое 179 Пространство эффективно топологическое 180 Прохоров, Ю.В. 219 261 Процедура приведения 157 Прямое произведение нумераций 133 Пур-Эл, М.Б. 130 182 261 Путиам, Х. 90 249 Рабин, М.О. 155 189 196 221 226 261 Рабочая среда 47 Рабочий алфавит 239 240 Равенство сигнатуры 57 Равномерная бернуллиева мера 200 Равномерная сводимость 192 Равномерная эквивалентность 193 Равномерный размер 194 Радиус активной части 22 Различие проблемное 191 Разрешающий алгоритм 78 Разрешения проблема 147 Разрешимая нумерация 122 Разрешимое множество 78 Разрешимое множество относительно нумерации 132 Разрешимости проблема 147 Разрешимость конечноавтоматная 93 Разрешительное правило 45 Райс, Х. 121 179 262 Раков, Ч. 223 266 Распознаваемое множество 65 78 Распознавания истинности формул проблема 151 Распознавать (язык) 239 241 Распознавать за время с вероятностью 242 Распознавать за время с изолированной точкой сечения 242 Распознавать с вероятностью 242 Распознавать с изолированной точкой сечения 242 Распознавать с ленточной сложностью с вероятностью 242 Распознавать с ленточной сложностью с изолированной точкой сечения 242 Распределение вероятностей вычислимое 200 Расширенный ансамбль Б-слов 26 Реализация 242 243 Реализуемая формула 167 Реализуемость по Клини 166 Реальное время 242 Регулярно сходящаяся последовательность 176 Регулятор непрерывности 179 Регулятор сходимости в себе 176 Регулятор фундаментальности 176 Результат 48 Результатная функция 110 Результатное множество 119 Рекурсивная алгебраическая система 187 Рекурсивная сепарабельность 180 Рекурсивное метрическое пространство 180 Рекурсивный оператор 103 Релятивизация 100 Релятивизуемо истинное свойство 116 Релятивизуемо ложное свойство 116 Реляционная алгебраическая система 56 Решение проблемы 146 Решетка Медведева 105 Решетка Мучника 105 Решимая проблема 12 146 Риман, Б. 146 Ричардс, Я. 182 261 Ричардсон, Д. 154 262 Робинсон, Дж. 90 91 145 149 155 249 262 Робинсон, Р.М. 264 Роджерс, Х. 31 38 39 41 79 94—105 112 114 118 120 123 129 168 181 184 185 262 Роджерса теорема 129 Розенберг, А.Л. 221 262 Розенфельд, Б.А. 6 7 247 267 Розенфельд, Дж.Л. 250 Розинас, М.Г. 261 Рот, К.Ф. 149 262 Сакс, Д.Е. 97 98 262 Саломаа, А. 161 262 Санкаппанавар, Х.П. 155 262 Саппес, П. 257 263 Свободная алгебраическая система, порожденная сигнатурой 57 Сводимости проблема Поста 94 Сводимость массовых проблем в смысле Медведева 164 Сводимость множеств за полиномиальное время 101 Сводимость множеств по разрешимости 95 101 Сводимость множеств по Тьюрингу 95 101 Сводимость нумераций 125 Сводимость нумераций по Колмогорову 125 192 Сводимость нумераций проблемная 192 Сводимость нумераций программная 192 Сводимость нумераций равномерная 192 Сводимость проблем разрешения 95 Сводимость совокупностей множеств по Медведеву 105 Сводимость совокупностей множеств по Мучнику 105 Сводимость совокупностей множеств сильная 105 Сводимость совокупностей множеств слабая 105 Свойство r-локальное 27 Свойство инвариантное 159 Свойство локальное 21 27 Свойство марковское 159 Свойство нерелятивизуемое 116 Свойство релятивизуемо истинное 116 Свойство релятивизуемо ложное 116 Свойство «внешнее» 158 Свойство «внутреннее» 158 Свойство «эффективной гёделевости» 171 Сейферас, Дж.И. 83 84 134 142 260 263 Селиванов, В.Л. 131 263 Семантика конструктивная 165 Семантическая проблема разрешения 170 Семантическое следствие 57 60 Семенов, А.Л. 6 8—10 25 86 104 114 150 154 156 192 204 223 226 230 263 266 Семенова, Е.Т. 226 263 Сепарабельность 180 Сепарабельность рекурсивная 180 Сепарабельность эффективная 180 Сигнатура 19 56 Сильная конструктивизация 187 Сильная конструктивизируемость 187 Сильная сводимость 105 Сильная степень трудности 105 Сильно конструктивизируемая модель 196 Сильно конструктивная алгебраическая система 187 Символическая логика 169 Симон, Дж. 142 260 Система дедуктивная 44 Система каноническая 62 Система логистическая 45 Система нормальная 62 Система обозначений для ординалов 184 Ситуация 32 Скотт, Д. 104 197 225 263 Слабая полнота 180 Слабая сводимость 105 Слабая степень трудности 105 Следствие семантическое 57 60 Слисенко, А.О. 17 32 36 71 82 221 223 225 263 Слов эквивалентность 54 Словарная функция 12 Словарное множество 12 Словарный ансамбль 25 Слово в Б 18 Слово двоичное 11 Сложностной класс 134 Сложность вычислений 65 Сложность вычислений временная 234 Сложность вычислений ленточная 234 242 Сложность конструктивного объекта 137 Сложность конструктивного объекта условная 139 Сложность порождения 76 Случайная последовательность 198 Случайная последовательность, количественный подход 199 209 Случайная последовательность, сложностной подход 199 208 Случайная последовательность, теоретико-мерный подход 199 209 Случайная последовательность, частотный подход 199 200 Случайность по Колмогорову 208 Случайность по Мартин-Лёфу 210 Случайность по Мизесу — Кнуту 205 Случайность по Мизесу — Колмогорову — Лавлэнду 205 Случайность по Мизесу — Черчу 204 Смешанное вычисление 227 Соар, Р. 97 264 Соиттола, М. 161 262 Соломонов, Р.Дж. 135 264 Состояние 32 Состояние внутреннее 32 239 240 241 Состояние инициальное 239 240 241 Состояние отвергающее 240 241 Состояние полное 32 Состояние принимающее 240 241 Спектор, К. 97 264 Способ описания 136 Способ описания оптимальный 137 Способ программирования 106 113 Способ программирования вычислимых функций 113 Стандартная нумерация 124 Статистических испытаний метод 232 Степанов, С.А. 146 264 Степень неразрешимости 97 Степень неразрешимости перечислимая 97
Реклама
алгебраическая система 
|
|
О проекте