Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Гудстейн Р.Л. — Математическая логика и основания математики. Рекурсивный математический анализ Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Математическая логика и основания математики. Рекурсивный математический анализ Автор: Гудстейн Р.Л. Язык: Рубрика: Математика/Алгебра/Математическая логика/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1970 Количество страниц: 472 Добавлена в каталог: 01.12.2004 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель Аккерман      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 Константа       141 Константа       141 Константа       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 Оператор       148 Оператор       148 Оператор       148 Оператор       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 Предикат       235 Предикат       232 Предикат       233 Предикат       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 Система       193 Система       197 Система       237 Система счисления      391 Система формальная      94 Сколем      227 Сложение      96 Сложение, ассоциативность      114 Сомножитель простой      175 Схема       187 Схема       187 Схема       189 Схема       191 Схема       191 Схема       192 Схема       185 Схема       185 Схема       186 Схема A      197 Схема E      197 Схема K      186 Схема P      197 Схема S      201 Схема T      185 Схема U      185 Схема доказательства      119 Схема индукции       206 Схема индукции       208 Схема индукции       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 Функция       230 Функция       235 Функция       122 Функция       99 102 114 Функция или       172 Функция       106 Функция       123 Функция       175 Функция       100 115 Функция       231 Функция       120 Функция       123 Функция       120 Функция       123 Функция       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 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте