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

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

blank
blank
blank
Красота
blank
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ
Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ



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



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


Название: Математическая логика и основания математики. Рекурсивный математический анализ

Автор: Гудстейн Р.Л.

Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Аккерман      261 410
Аксиома A      197
Аксиома P      197
Анализ рекурсивный      267
Арифметика рекурсивная      77 267
Бернайс      261 279 387 410
Буль      94
Возведение в степень      99
Высказывание      140
Гейтинг      410
Гёдель      227
Гильберт      279 410
Дарбу      366
Девис      409
Делитель наибольший общий      182
Делитель наименьший      171
Дифференцируемость относительная      330
Дифференцируемость рекурсивная      330
Доказательство      111
Значение среднее      334 338
Индукция      152
Интеграл относительный      363 364
Иррациональность рекурсивная      401
Исчисление равенств      111
Итерация      102
Карри      409
Клини      269 270 409
Коммутативность сложения      112
Коммутативность умножения      114
Константа $\&$      141
Константа $\leftrightarrow$      141
Константа $\sim$      141
Константа $\to$      141
Константа 0      89
Константа 1      189
Константа V      141
Крайзель      410
Кривая плоская      420
Кривая простая и замкнутая      420
Кривая простая и открытая      420
Кривая, вершина      427
Кривая, точка внешняя      431
Кривая, точка внутренняя      431
Лакомб      410
Логарифм относительный      373
Мажорантный      275
Марков, А.А.      410
Мешковский      409
Непрерывность относительная      311
Непрерывность рекурсивная      310
Неравенства о среднем значении      334
Неравенство      131
Номер гёделевский      228
Нумерация примитивно рекурсивных функций      224
Оператор $A^n_x$      148
Оператор $E^n_x$      148
Оператор $L^n_x$      148
Оператор $N^n_x$      159
Оператор минимизации      148 270
Оператор считающий      93 159
Ординал типа n      397
Ординал трансфинитный      383
Остаток      168
Остаточный член в форме Лагранжа      349
Относительно непостоянная      361
Оценка рекурсивная      318
Пентация      100
Переменная      96
Переменная связанная      150
Переменная числовая      89
Перестановка      212
Петер      108 204 303 386 409
Подстановка      105 370
Полином рекурсивный      298
Последовательность приведенная      277
Предел      280
Предикат $St_f(v/n)$      235
Предикат $Sub_f(v/n)$      232
Предикат $S_1(m, n)$      233
Предикат $S_2(m, n)$      234
Предикат E(m, n, p)      234
Предикат E(n)      233
Предикат Pf(n)      235
Предикат Pr(m, n)      235
Предикат T(m, n, p)      234
Предикат T(n)      233
Процедура эффективная      295
Равенство вводящее      112
Равенство верифицируемое      133
Равенство доказанное      111
Равенство относительное      275
Разложение рекурсивное      300
Райс      409
Рассел      85
Расходимость рекурсивная      280
Рекурсия возвратная      202
Рекурсия двойная      107
Рекурсия однократная      106
Рекурсия примитивная      106 202
Рекурсия с подстановкой вместо параметра      204
Система $\mathscr R$      193
Система $\mathscr R^*$      197
Система $\mathscr R^+$      237
Система счисления      391
Система формальная      94
Сколем      227
Сложение      96
Сложение, ассоциативность      114
Сомножитель простой      175
Схема $E_1$      187
Схема $E_2$      187
Схема $E_3$      189
Схема $I_1$      191
Схема $I_2$      191
Схема $I_3$      192
Схема $Sb_1$      185
Схема $Sb_2$      185
Схема $U_$      186
Схема A      197
Схема E      197
Схема K      186
Схема P      197
Схема S      201
Схема T      185
Схема U      185
Схема доказательства      119
Схема индукции $I_g$      206
Схема индукции $I’_g$      208
Схема индукции $I’’_g$      210
Сходимость относительная      277
Сходимость рекурсивная      276
Сходимость, признак      281
Сходимость, признак Гаусса      285 291
Сходимость, признак Даламбера      282
Сходимость, признак Коши      283
Сходимость, признак Куммера      282
Сходимость, признак Рабе      284
Счет      90
Теорема дедукционная      194
Теорема Коши      346
Теорема Коши равномерная      354
Теорема о нумерации      270 271
Теорема Тейлора      347
Тетрация      100
Трансцендентность рекурсивная      401
Тэйт      390
Умножение      99
Форма стандартная      276
Фреге      84
Функции круговые      375
Функция      101
Функция $l_f$      230
Функция $N_p$      235
Функция $\alpha(x)$      122
Функция $\cdot$      99 102 114
Функция $\mathfrak p(n)$ или $\mathfrak p_n$      172
Функция $\mathscr J(x)$      106
Функция $\mu_f$      123
Функция $\nu(n, k)$      175
Функция $\overset{.}{-}$      100 115
Функция $\Pi^{\wedge}$      231
Функция $\Pi_f$      120
Функция $\rho(x)$      123
Функция $\Sigma_f$      120
Функция $\theta_f$      123
Функция $\wedge$      231
Функция $\|$      101 118
Функция +      97 102 112
Функция Alt(x)      104
Функция E(x)      218
Функция g(n)      178
Функция h(a, b)      179
Функция H(p, n. a)      107
Функция Hf(x)      104
Функция J(u, v)      218
Функция Q(a, b)      168
Функция R(a, b)      168
Функция Rf(x)      104
Функция Sx      90
Функция U(x)      218
Функция V(x)      218
Функция Z(x)      106
Функция возвратная      202
Функция исходная      105
Функция линейчатая      363
Функция показательная относительно      372
Функция приведенная      278
Функция пропозициональная      146
Функция рациональная      272
Функция рекурсивная      109 268
Функция с относительно сходящейся вариацией      436
Цифра      86
Частное      168
Чёрч      390 409
Число      83
Число простое      171
Число рациональное      272
Число рекурсивно иррациональное      401
Число рекурсивно трансцендентное      401
Число рекурсивное вещественное      292
Шпеккер      279 303
Эквивалент      275
Эквивалент линейчатый      364
Эквивалент равномерный      343
Эквивалент равномерный дважды      320
Эквивалентность p-кривых      421
Эффективно непостоянная      350
Эффективно постоянная      350
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте