|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Кушнер Б.А. — Лекции по конструктивному математическому анализу |
|
|
|
| Предметный указатель |
F-число 126
FR-число 126
Абель 178
Абстракция потенциальной осуществимости 29
Адлер 427
Алгорифм 30—31
Алгорифм в данном алфавите 49
Алгорифм над данным алфавитом 60
Алгорифм нормальный 52—53
Алгорифм нормальный арифметический полный 102
Алгорифм нормальный в данном алфавите 52—53
Алгорифм нормальный метрический (КМП) 356
Алгорифм нормальный непополнимый 96
Алгорифм нормальный несамоприменимый 92
Алгорифм нормальный полный 95
Алгорифм нормальный пополнимый 96
Алгорифм нормальный предельного перехода (в КМП) 363
Алгорифм нормальный самоприменимый 92
Алгорифм нормальный слабого предельного перехода (в КМП) 363
Алгорифм нормальный согласованный (в КМП) 379
Алгорифм нормальный стройный 104
Алгорифм нормальный универсальный 83
Алгорифм типа  50
Алгорифмическая предельная точка 395
Алгорифмический оператор 382—383
Александров, П.С. 103 252 427
Алфавит 47
Банах 16 18 378 427
Бар-Хиллел 10—12 427 438
Бернштейн, С.Н. 252
Бертран 178
Бишоп 11 14 24—26 427
Больцано 9 13 256 262 263
Борель 10 21 41 44 186 235 310 320 409 427
Брауэр 10 11 17 32
Буква 47
Буняковский, В.Я. 358
Бэр 252 376 399 423
Вайнберг, Ю.Р. 398
Вандивер 427
Вейерштрасс 9 13 184
Вейль 10 15 16 36 427
Вектор 30
Вхождение 51
Вхождение первое 52
Вычислимое действительное число 16—17
Гаусс 10
Гейтинг 11 23 32 34 36 427 428
Гелбаум 208 374 428
Гёдель 16
Гжегорчик 18 20—22 216 226 232 262 411 428
Гильберт 27 428
Грань верхняя 227
Грань верхняя точная 227
Грань нижняя 227
Грань нижняя точная 227
Графическое неравенство 46
Графическое равенство 48
Гудстейн 23 24 174 216 223 226 233 265 427 428
Даламбер 178
Дарбу 293 297
Дедекинд 9 10
Действительный образ рационального числа 129
Демут 26 820 428
Детловс, В.К. 109 429
Дирихле 178 217
Длина слова 48
Дробление 221
Дробление данного сегмента 221
Дробление интегральное 284
Дробление положительное 221
Дробление правильное 284
Дробление рациональное 221
Дробь n-ичная 210
Дробь систематическая 210
Замыкание нормального алгорифма 55
Запись нормального алгорифма 38 84 114 355
Заславский, И.Д. 9 21 25 26 41 115 174 183 208 223 225 236 252 310—311 313 314 318 321—324 327 331 336 341 350 429 439
Звонкин, А.К. 26 430
Значение интегральной суммы 285
Измельченность дробления (интегрального дробления, интегральной суммы) 285
Изображение нормального алгорифма 83
Ильзе 20 430
Ильин, В.А. 274 430
Индикатор интегрируемости 303
Индикатор фундаментальности 203
Интегральная сумма 285
Интегральный шифр 291
Интервал 160
К-оператор 233
К-оператор почти непрерывный 234
Камке 404 430
Канович, М.И. 430
Кантор 9 163 187
Карри 10 430
Квазиоператор 424
Квазичисло 126
Кёниг 310 430
Клауа 20 21 430
Клив 431
Клини 10 16 20 22 31 34 86 92 217 234 310 392 411 412 431
Колмогоров, А.Н. 11 26 32 34 358 359 376 379 431
Конструктивная ось 158
Конструктивная прямая 158
Конструктивная функция (КФ) 216
Конструктивная функция дифференцируемая 265—267
Конструктивная функция линейная 220
Конструктивная функция непрерывная 224
Конструктивная функция полигональная 221
Конструктивная функция псевдополигональная 244
Конструктивная функция равномерно непрерывная 225
Конструктивная функция угловая 243
Конструктивная функция эффективно не равномерно непрерывная 327
Конструктивная функция эффективно неинтегрируемая 332
Конструктивная функция, интегрируемая по Риману (R-интегрируемая) 285
Конструктивное действительное число (КДЧ) 126
Конструктивное метрическое пространство (КМП) 356
Конструктивное метрическое пространство полное 363
Конструктивное метрическое пространство сепарабельное 364
Конструктивное метрическое пространство слабо полное 363
Конструктивное метрическое пространство совершенное 377
Конструктивный континуум 158
Конструктивный объект 28
Конструктивный разрыв 224 385
Корпут 233 431
Кортеж 30
Косовский, Н.К. 26 431
Коши 9 14 103 175 178 256 262 263 269 275 358
Крайзел 21 22 311 314 318 385 392 410 431
Кронекер 10 443
Кузнецов, А.В. 359 432
Куммер 177
Куратовский 310 432
Кучера 432
Кушнер, Б.А. 129 209 233 234 301 331 332 335 341 377 399 403 409 430 432
Лагранж 269 275 276
Лакомб 21 22 216 226 232 262 311 314 318 327 331 353 385 392 407 410 431 432
Ландау 115 433
Лахлан 20 411 433
Лебег 320
Левин, Л.А. 26 430
Лейбниц 177 303 307
Леман 20 433
Линделёф 404
Липшиц 274
Лифшиц, В.А. 26 186 232 331 332 409 433
Лоренц, А.А. 26 433
Лоренцен 433
Люстерник, Л.А. 379 433
Мазур 16 18—20 184 223 427 434
| Майхилл 18 385 392 434
Мальцев, А.И. 47 86 98 190 234 434
Манукян, С.Н. 26 223 430 434
Марков, А.А. 9 19 20 20 26 28—35 45 47 49 51 54 64 65 68 71 73 76 78 79 82—86 106 107 144 147 216 217 223 224 291 310 332 354 385 388 411 412 423 434
Мартин-Лёф 26 434
Матиясевич, Ю.В. 434
Мендельсон 434
Мерэ 9
Мешковский 18 435
Минц, Г.Е. 206 207 281 353 435
Михалинец 328 435
Множество 36
Множество бесконечное 107
Множество нефинитное 107
Множество перечислимое 100
Множество разрешимое 100
Множество точек КМП замкнутое 418
Множество точек КМП лакомбово 407
Множество точек КМП нигде не плотное 421
Множество точек КМП открытое 398
Множество точек КМП первой категории 375
Множество точек КМП плотное 364
Множество точек КМП правильное 357
Множество точек КМП прослеживаемое 396
Множество точек КМП сепарабельное 364
Множество точек КМП согласованное 379
Множество точек КМП эффективно нигде не плотное 375
Множество точек КМП, алгорифмически замкнутое 395
Множество финитное 107
Множество эффективно несчетное 187
Московакис 353 363 379 392 396 398 400 401 403 407 408 413 435
Мостовский 16 20 210 212 215 311 432 435
Мучник, А.А. 413 422
Нагорный, Н.М. 64 435
Натансон, И.П. 252 435
Натуральное число 30 115
Ногина, Е.Ю. 26 353 409 435
Носитель КМП 356
Ньютон 303 307
Обобщенный интеграл 336
Объединение последовательности множеств 375
Олмстед 208 374 428
Оревков, В.П. 26 233 353 363 426 436
Основа КДЧ 136
П-оператор 232
П-оператор почти непрерывный 234
Петер 18 436
Подпространство КМП 357
Подпространство КМП правильное 358
Позняк, Э.Г. 274 430
Покрытие  -ограниченное 313
Покрытие интервальное 311
Покрытие невырожденное 313
Покрытие рациональное 353
Покрытие сегментное 311
Покрытие сегментное дизъюнктное 312
Покрытие сингулярное 313
Покрытие точное 313
Полигональный шифр 221
Пополнение КМП 366
Последовательность интервалов 172
Последовательность интервалов -ограниченная 313
Последовательность интервалов вложенная 172
Последовательность интервалов универсальная 313
Последовательность конструктивных действительных чисел (ПДЧ) 163
Последовательность конструктивных действительных чисел квазифундаментальная 164
Последовательность конструктивных действительных чисел псевдофундаментальная 164
Последовательность конструктивных действительных чисел сходящаяся 164
Последовательность конструктивных действительных чисел фундаментальная 164
Последовательность конструктивных действительных чисел шпекерова 183
Последовательность конструктивных функций 241
Последовательность конструктивных функций расширяющаяся 253
Последовательность конструктивных функций согласованная 241
Последовательность конструктивных функций, согласованная с данным покрытием 324
Последовательность множеств 375
Последовательность натуральных чисел (ПНЧ) 126
Последовательность перечислимых множеств 112
Последовательность рациональных чисел (ПРЧ) 126
Последовательность рациональных чисел квазифундаментальная 126
Последовательность рациональных чисел псевдофундаментальная 126
Последовательность рациональных чисел фундаментальная 126
Последовательность рациональных чисел, эффективно не сходящаяся 320
Последовательность сегментов 172
Последовательность сегментов -ограниченная 313
Последовательность сегментов вложенная 172
Последовательность сегментов регулярная 172
Последовательность согласованных множеств 381
Последовательность точек КМП 361
Последовательность точек КМП регулярная 361
Последовательность точек КМП сходящаяся 361
Последовательность точек КМП фундаментальная 361
Последовательность точек КМП, регулярно сходящаяся 361
Последовательность шаров вложенная 372
Последовательность шаров регулярная 372
Пост 16
Принцип захвата 388
Принцип конструктивного подбора 34
Принцип Маркова 33—34
Принцип нормализации 85
Проблема распознавания применимости 94
Производная 272
Производное число 265
Промежуток 160
Псевдооператор 423—424
Псевдочисло 127
Раабе 178
Рабин 436
Равномерный шифр 226
Расёва 18
Рассел 15 92 437
Рациональное число 120
Регулятор интегрируемости 285
Регулятор непрерывности 224
Регулятор равномерной непрерывности 225
Регулятор сходимости в себе 126 163—164
Регулятор сходимости к данному КДЧ 164
Регулятор фундаментальности 126 164 361
Риман 229 284—287
Ричардсон 436
Ришар 10
Ролль 269 272 276
Рош 274
Рудин 179 436
Сегмент 160
Система интервалов 237
Система сегментов 237
Система слов 30
Скарпеллини 436
Склейка последовательности функций 324
Слисенко, А.О. 217 223 372 423 424 437
Слово 28 48
Слово в данном алфавите 48
Слово непредельное 392
Слово предельное 392
Слово пустое 48
Соболев, В.И. 379 433
Сор 437
Схема нормального алгорифма 54
Тейлор 269 274 275 276
Теорема композиции 68
Теорема Мостовского — Успенского 212
Теорема о вложенных шарах 372
Теорема о выборе перечислимого покрытия 403
Теорема о непополнимом алгорифме 96
Теорема о непрерывности 224—225 401 409
Теорема о неразрывности 224 386
Теорема о переводе 65
Теорема о полноте конструктивного континуума 169—170
Теорема о пополнении КМП 366
Теорема об универсальном алгорифме 83 85
|
|
|
| Реклама |
|
|
|
|
|
О проекте