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

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

blank
blank
blank
Красота
blank
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения
Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения



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



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


Название: Теория алгоритмов: основные открытия и приложения

Авторы: Успенский В.А., Семенов А.Л.

Аннотация:

Понятие алгоритма является одним из наиболее фундаментальных понятий информатики и математики. Систематическое изучение алгоритмов привело к созданию особой дисциплины, пограничной между математикой и информатикой — теория алгоритмов.
В книге дается обзор важнейших достижений теории алгоритмов за последние полвека, т. е. с момента зарождения этой теории. Излагаются в систематизированном виде основные открытия, связанные с понятием алгоритма, приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Рассматривается влияние теории алгоритмов на алгоритмическую практику.
Для специалистов по математике, информатике, кибернетике, а также для студентов вузов.


Язык: ru

Рубрика: Computer science/Алгоритмы/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\Delta$-структура      42
$\mu$-рекурсивная функция      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
Алгебра сигнатуры $\rho$ с образующими $a_1, \dots, a_i$ и совокупностью определяющих соотношений S      58
Алгебра, порожденная сигнатурой $\rho\cup\{a_1, \dots, a_i\}$ и заданная совокупностью определяющих соотношений S      58
Алгебраическая система      56
Алгебраическая система автоустойчивая      195
Алгебраическая система жесткая      194
Алгебраическая система конечнозаданная      61
Алгебраическая система конечноопределенная      58
Алгебраическая система конструктивизируемая      187
Алгебраическая система конструктивная      187
Алгебраическая система нумерованная      187
Алгебраическая система операционная      56
Алгебраическая система рекурсивная      187
Алгебраическая система реляционная      56
Алгебраическая система свободная, порожденная сигнатурой $\sigma$      57
Алгебраическая система сигнатуры $\sigma$      56
Алгебраическая система сильно конструктивизируемая      187
Алгебраическая система сильно конструктивная      187
Алгебраическая система, порожденная сигнатурой $\sigma$      57
Алгебраическая система, порожденная сигнатурой $\sigma$ и заданная совокупностью равенств 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
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте