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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Отношение диофантово      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
Порожденная сигнатурой $\sigma$ алгебраическая система      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
Свободная алгебраическая система, порожденная сигнатурой $\sigma$      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
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте