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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Колмогоровский исчисление      50
Колмогоровский комплекс      22
Колмогоровский комплекс над алфавитом Б      23
Колмогоровский размер      194
Колмогоровских Б-комплексов ансамбль      26
Колмогоровского типа вычислительная модель      32
Колмогоровское r-локальное Б-действие      28
Команда      239 240 241
Комплекс колмогоровский      22
Конвей, Дж.      163
Конечноавтоматная породимость      93
Конечноавтоматная разрешимость      93
Конечнозаданная алгебраическая система      61
Конечноопределенная алгебраическая система      58
Конечный объект      20
Конструируемая по времени функция      82
Конструируемая по емкости функция      82
Конструктивизация      187
Конструктивизация сильная      187
Конструктивизируемая алгебраическая система      187
Конструктивизируемая модель      196
Конструктивизируемость сильная      187
Конструктивная алгебраическая система      187
Конструктивная модель      196
Конструктивная нумерация      187
Конструктивная семантика      165
Конструктивное метрическое пространство      179
Конструктивное направление в математике      165
Конструктивное определение      169
Конструктивный анализ      175
Конструктивный континуум      178
Конструктивный носитель меры      183
Конструктивный объект      20
Конструктивный ординал      184
Континуум вычислимый      177
Континуум конструктивный      178
Конфигурация      32
Конфигурация полная      32
Корень (о дереве)      19
Корневое дерево      19
Корнеенко, Н.М.      86 252
Корпелевич, Г.М.      93 253
Кортеж      26
Кортежное распространение нумерации      133
Косараю, С.      162
Косовский, Н.К.      253
Котов, В.Е.      104 225 254
Коэн, П.Дж.      197 254
Крайзель, Г.      196 254
Креативное множество      96
Криницкий, Н.А.      21 38 254
Кубинец, М.В.      37 254
Кузнецов, А.В.      182 187 188 254
Купер, С.Б.      98 254
Кучера, А.      94
Кушнер, Б.А.      165 166 174—176 178—180 254
Кушниренко, А.Г.      229 254
Лавлэнд, Д.      203—205 207 210 211 254
Лавров, И.А.      122 126 131 155 251 254
Лавров, С.С.      229 255
Лакомб, Д.      182 255
Лакхэм, Д.      104 255
Левенштейн, В.И.      219 255
Левин, Л.А.      138—139 141 209 211 213 219 220 251 255
Лента      67 239
Лента входная      240 241
Лента рабочая      234 239 240 241
Линдон, Р.К.      247 252 267
Линейное время      84 241
Липтон, Р.Дж.      162 252
Логика задач      166
Логика математическая      169
Логика символическая      169
Логистика      169
Логистическая система      45
Локальная операция      35
Локальное действие      22 27
Локальное свойство      21 27
Локальности показатель      22
Лупанов, О.Б.      93 255 270
Льюис, П.М.      11 238 264
Ляпунов, А.А.      88 251
Магнус, В.      160 268
Майр, Э.В.      162 255
Майхилл, Дж.      96 121 255
Майхилла теорема      96
Маканин, Г.С      150 160 245
Маккарти, Дж.      42 104 230
Мальцев, А.И.      13 32 60 67 88 122—125 129 131 132 155 186 187 190 191 193—195 255 256
Мальцевский размер      194
Маниа, З.      104 256
Манин, Ю.И.      21 90 145 217 256
Марков, А.А.      16 18 21 29—32 35 38 41 137 150—153 159 161 163 165 166 176 178 229 256 257
Марковское инвариантное свойство      159
Мартин-Лёф, П.      87 179 181 183 199 202 203 208—212 220 257
Мартин-Лёфа теорема      183
Марченков, С.С.      96 131 257
Марчук, Г.И.      232 257
Маслов, С.Ю.      44 45 50 62 145 257
Массовая проблема      146
Массовая проблема алгебраически корректная      190
Массовая проблема алгоритмическая      148
Массовая проблема в смысле Медведева      163
Массовая проблема отделимости      147
Массовая проблема разрешимости      147
Математическая логика      169
Матиясевич, Ю.В.      89—91 145 149 150 152 154 160 249 257
Матросов, В.Л.      257
Мачти, М.      114 129 130 258
Машина вероятностная      233
Машина вероятностная «точная»      237
Машина Колмогорова      33 35
Машина Колмогорова ориентированная      36
Машина недетерминированная      242
Машина с модифицируемой памятью      36
Машина Тьюринга      66 233
Машина Тьюринга без входа и выхода      234
Машина Тьюринга двусторонняя      234
Машина Тьюринга детерминированная двусторонняя      240
Машина Тьюринга детерминированная одноголовочная, одноленточная, без входа и выхода      239
Машина Тьюринга детерминированная одноголовочная, одноленточная, со входом и выходом      239
Машина Тьюринга детерминированная односторонняя      240
Машина Тьюринга многоленточная      67
Машина Тьюринга одноленточная      67
Машина Тьюринга односторонняя      234
Машина Тьюринга со входом и выходом      234
Машина Шёнхаге      36 42
Машинно-независимая теория сложности      133
Медведев, Ф.А.      30 258
Медведев, Ю.Т.      105 106 163 164 167—169 258
Медведева решетка      105
Мейер, А.Р.      84 223 224 258 260 263
Мера бернуллиева      200
Мера вычислимая      200
Мера равномерная бернуллиева      200
Мера сложности      134
Метод инвариантов      236
Метод Монте-Карло      214 232
Метод приоритета      94
Метод программирования      113
Метод статистических испытаний      232
Метрическая теория алгоритмов      15
Миллар, Т.С.      197 258
Миллер, Р.Е.      162 252
Минский, М.Л.      62 173 258
Многоленточная машина Тьюринга      67
Множества неотделимые      172
Множество арифметическое      89
Множество диофантово      89
Множество занумерованное      132
Множество креативное      96
Множество натурально (за)нумерованное      132
Множество неразрешимое породимое      91
Множество номерное      122
Множество нумерованное      132
Множество перечислимое      81
Множество полиномиальное      89
Множество полное      95
Множество породимое      78
Множество простое      96
Множество разрешимое      78
Множество распознаваемое      65 78
Множество результатное      119
Множество словарное      12
Множество числовое      12 80
Множество эффективно открытое      181
Множество эффективно пренебрежимое      182
Модели арифметики      197
Моделирование в реальное время      77
Модель (для множества формул) конструктивизируемая      196
Модель вычислительная      17
Модель вычислительная X — Y-представительная      40
Модель вычислительная колмогоровского типа      32
Модель вычислительная представительная      34 39
Модель вычислительная с локальным преобразованием информации      32
Модель вычислительная удобная      141
Модель конструктивная      196
Модель порождающая Y-представительная      62
Модель порождающая представительная      62
Модель сильно конструктивизируемая      196
Модель сильно конструктивная      196
Монотонная энтропия      137
Монте-Карло метод      214 232
Морфизм      132
Московакис, Я.Н.      179—181 258
Мостовский, А.      155 196 197 259 264
Мучник, А.А.      88 94 97 105 106 147 165 167 168 246 253 259 261 264 271
Мучник, Ан.А.      38 114—117 259
Мучника решетка      105
Мучника теорема      115
Мюллер, Г.      162 259
Нагорный, Н.М.      20 21 38 54 106 152 153 229 257 259
Натуральная нумерация      122
Натурально (за)нумерованное множество      132
Натуральный ряд      11
Недетерминированная машина      242
Недетерминированный алгоритм      64
Неопровержимая формула      167
Неотделимые множества      172
Непомнящий, В.А.      88 93 227 259
Непосредственной переработки оператор      35
Неразрешимое породимое множество      91
Нерелятивизуемое свойство      116
Нижняя оценка      223
Новиков, П.С.      42 69 150 153 159 166 167 260
Ногина, Е.Ю.      179—181 247 260
Номер      122
Номерное множество      122
Норма      74
Нормальная система      62
Нормальное исчисление      62
Нормированный ансамбль      75
Нормированных ансамблей изоморфизм      75
Носитель меры конструктивный      183
Нульпосылочное правило      47
Нумерации автоэквивалентные      193
Нумерации изоморфные      123
Нумерации проблемно эквивалентные      191
Нумерации программно эквивалентные      193
Нумерации равномерно эквивалентные      193
Нумерации эквивалентные по Колмогорову      125 193
Нумерации эквивалентные по Мальцеву      193
Нумераций сводимость      125
Нумераций теория      122
Нумерация      122 123
Нумерация без повторений      122
Нумерация вычислимая      126 127 128
Нумерация гёделева      127 128
Нумерация главная      127 128
Нумерация квазистандартная      186
Нумерация конструктивная      187
Нумерация натуральная      122
Нумерация однозначная      122
Нумерация оптимальная      127 128
Нумерация позитивная      124
Нумерация полиномиально гёделева      129
Нумерация полиномиально главная      129
Нумерация программного типа      185
Нумерация простая      122
Нумерация разрешимая      122
Нумерация стандартная      124
Нумерация тотальная      123
Нумерация числовая      122
Нумерация шноррова      127 128
Нумерация экономная по объему номеров      127 128
Нумерованная алгебраическая система      187
Нумерованная структура      184
Нумерованное множество      132
Нуртазин, А.Т.      194 260
О линейном ускорении теорема      84
О неподвижной точке теорема      104
Об иерархии теорема      83
Об ускорении теорема      135
Область определения      34
Область применимости      34
Общая проблема гомеоморфии      161
Общая формулировка теоремы Мартин-Лёфа      183
Общезначимость      170
Объект допустимый      47
Объект конечный      20
Объект конструктивный      20
Объем      137
Оганесян, Г.У.      153 245
Ограниченно-искажающее отображение      75
Однозначная нумерация      122
Одноленточная машина Тьюринга      67
Однопосылочное исчисление      46
Односторонняя машина Тьюринга      234
Оператор вычислимый      103
Оператор непосредственной переработки      35
Оператор перечисления      102
Оператор рекурсивный      103
Оператор частичнорекурсивный      103
Операционная алгебраическая система      56
Операция вычислимая      102
Операция исчислительная      52
Операция локальная      35
Описание      136
Определение конструктивное      169
Определение случайной последовательности      198
Определение случайности по Колмогорову      208
Определение случайности по Мартин-Лёфу      210
Определение случайности по Мизесу — Кнуту      205
Определение случайности по Мизесу — Колмогорову — Лавлэнду      205
Определение случайности по Мизесу — Черчу      204
Оптимальная нумерация      127 128
Оптимальная функция      118
Оптимальный способ описания      137
Ординал конструктивный      184
Ориентированная машина Колмогорова      36
Основание нумерации      122
Основной элемент      48
Отвергаться (о слове)      239 240 241
Отвергающее состояние      240 241
Отделения проблема      147
Отделимости проблема      147
Отделяющая функция      147
Относительная проблема распознавания равенства      157
Относительный алгоритм      98
Отношение арифметическое      89
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте