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

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

blank
blank
blank
Красота
blank
Драгалин А.Г. — Конструктивная теория доказательств и нестандартный анализ
Драгалин А.Г. — Конструктивная теория доказательств и нестандартный анализ



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



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


Название: Конструктивная теория доказательств и нестандартный анализ

Автор: Драгалин А.Г.

Аннотация:

В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А. Г. Драгалина «Математический интуиционизм. Введение в теорию доказательств» явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретике-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.
Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.


Язык: ru

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Функция частично-рекурсивная [partial recursive function]      247 253
Функция [function]      148
Функция, заданная законом [function given by a law]      148 159 270 302
Функция, проходящая через кортеж [function passing through a finite sequence]      93
Фурукава (Furukawa, K.)      396
Фучи (Fuchi, K.)      396
Хазенъегер (Hasenjaeger, G.)      123
Халмош (Halmos, P.)      193 229
Харроп (Harrop, R.)      30 45 46 48 50 229
Хината (Hinata, S.)      51 229
Хироуз (Hirose, K.)      396
Ховард (Howard, W.)      154 229
Хсианг (Hsiang, J.)      396
Цейтин, Г.С. (Tseitin, G.S.)      83 84 102 230 236 267 281
Цепная псевдобулева алгебра [chain pseudo-Boolean algebra]      88
Цермело (Zermelo, E.)      225 253 334 335 337 477 486 490 493 494 497 499 501
Цукер (Zucker, J.)      204 230
Чень (Chang, Chin-Liang)      373 396 471
Чёрч (Church, A.)      154 249 256 262 265 335 508 511
Чёрча $\lambda$-обозначение [Church's $\lambda$-notation]      271 274
Чёрча правило [Church's rule]      429
Число действительное [real number]      34 329 451
Число кардинальное [cardinal number]      250 488
Число натуральное [natural number]      34 36 137 240
Число ординальное [ordinal number]      217 247
Число трансфинитное [transfinite number]      233
Чон (Chon, S.C.)      396
Шанин, Н.А. (Shanin, N.A.)      50 59 230 237 245 254 266 268 280 281
Шенкер (Shanker, N.)      397
Шенфилд (Shoenfield, J.R.)      84 230 248 335
Шехтман, В.Б. (Shehtman, V.B.)      103 230
Шломюк (Schlomiuk, D.)      147 230
Штрих Ацела [Aczel stroke]      144 326
Штрих-реализуемость [stroke realizability]      141 202 326
Шютте (Shuette, K.)      147 175 230 235 309
Эвбулид      496
Эквивалентность естественная [natural equivalence]      86 399
Экзистенциальности свойство исчисления [existentiality property of a calculus]      46 70 78 138 327
Элемент открытый [open element]      90 296 405
Элемент полный [complete element]      94 297 407 411
Элемент стабильный [stable element]      403 411
Эндрюс (Andrews, P.B.)      396
Эпименид      496
Эрбран (Herbrand, J.)      394 454 465 467 468
Эсакиа, Л.Л. (Esakia, L.L.)      103 230
Эффективная процедура [effective procedure]      32 266 388 471
Язык pp-выражений [language of pp-expressions]      454
Язык аналитический [analitical language]      52
Язык арифметический [arithmetical language]      54
Язык высшего порядка [higher order language]      386
Язык логико-математический [logico-mathematical language]      31 103
Язык многосортный [many-sorted language]      54 436
Язык предметный [object language]      498
Янков, В.А. (Yankov, V.A.)      83 103
Ярус элемента дерева [level of an element of a tree]      121
Ясуги (Yasugi, M.)      238 245
«Исторические аргументы Брауэра» [«historical arguments of Brouwer»]      156
«Непосредственно выше» отношение [«directly above» relation]      121
1 2 3 4
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте