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

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

blank
blank
blank
Красота
blank
Карри Х.Б. — Основания математической логики
Карри Х.Б. — Основания математической логики



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



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

Название: Основания математической логики

Автор: Карри Х.Б.

Аннотация:

Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Постулаты Пеано      50
Посылка (premise)      81
Потомок (ancestor)      290
Правая монотонность      212
Правая просеквенция      280
Правила $\Pi$      455
Правила $\Sigma$      455
Правила дизъюнкции      282
Правила для кванторов общности      455
Правила для кванторов существования      455
Правила для необходимости      509
Правила для отрицания      374
Правила импликации      282
Правила Кетонена      292
Правила конъюнкции      282
Правила перестановки (permutation rules)      273 282
Правило      283
Правило $*\vdash$      275
Правило $F_*$      365 374
Правило $F_j$      374
Правило $K_*$      475
Правило $N_*$      369 374 385
Правило $O_*$      276
Правило $P_*$      274 277 474
Правило $V^*$      274 475
Правило $Y^*$      509
Правило $\Lambda e$      280
Правило $\Lambda e_1$      315
Правило $\Lambda e_2$      316
Правило $\Lambda i$      260
Правило $\Lambda^*$      274 291 475
Правило $\mathfrak S$-вывода      282
Правило $\Pi e$      481
Правило $\Pi h$      484
Правило $\Pi i$      481
Правило $\Pi^*$      455 474
Правило $\sideset{^*}{^*}V$      282
Правило $\sideset{^*}{^*}W$      281 282
Правило $\sideset{^*}{^*}\Lambda$      282
Правило $\sideset{^*}{}V$      275 475
Правило $\sideset{^*}{}Y$      509
Правило $\sideset{^*}{}\Lambda$      274 475
Правило $\sideset{^*}{}\Pi$      455
Правило $\sideset{^*}{}\Sigma$      475
Правило $\sideset{^*}{’}\Pi$      463 475
Правило $\sideset{_*}{_*}C$      281 282
Правило $\sideset{_*}{_*}K$      281 282
Правило $\sideset{_*}{_*}O$      281
Правило $\sideset{_*}{_*}P$      282
Правило $\sideset{_*}{}N$      374 385
Правило $\sideset{_*}{}O$      278
Правило $\sideset{_*}{}P$      275 277 291 475
Правило $\Sigma e$      481
Правило $\Sigma i$      481
Правило $\Sigma^*$      455
Правило $\Sigma^{’*}$      463 475
Правило $\vdash *$      275 282 291
Правило $\vdash i$      313
Правило Fj      374 475
Правило K      274
Правило N      374
Правило Pe      260 261 263
Правило Ph      484
Правило Pi      260 261
Правило Px      282
Правило Vi      260 261
Правило W      274
Правило Y      509
Правило Ye      514
Правило Yh      515
Правило Yi      514
Правило вывода (rule of inference)      81
Правило дефинициональной редукции (rule of definitional reduction)      165
Правило допустимое      151
Правило замыкания      70
Правило иррегулярное      289
Правило образования (formation rule)      90
Правило операциональное (operational rule)      281
Правило ослабления      273 282
Правило Пирса      282
Правило подстановки      270
Правило полурегулярное      289
Правило порождения      70
Правило преобразования (transformation rule)      90
Правило регулярное      289
Правило С      274
Правило сокращения      282 283
Правило структурное      281
Правильная интерпретация      84
Правильно построенная формула (well formed formula)      93
Правильно построенное предложение (well formed sentence)      93
Правый конституэнт      280
Правый пункт      66
Прагматика      141
Прайор      43 54 356 517
Предваренная нормальная форма (prenex normal form)      491
Предикат (predicate)      63 445
Предикатная переменная      452
Предикатная постоянная      452
Предикатов исчисление (predicate calculus)      242
Предикатор (predicator)      63 444
Предложение (sentence)      63 136 252
Предложение базисное      131
Предложение индуктивное      131
Предметный язык      61
Представление (representation)      96
Представление по Лукасевичу      97
Префикс      64
Приемлемость теории      84
Прикладное исчисление предикатов (applied predicate calculus)      453
Приложение (application)      110
Применимость алгорифма (applicability of algorithm)      115
Применимость команды (applicability of command)      115
Применимость эффективного процесса (applicability of process)      68
Примитивная рекурсия      187
Примитивно рекурсивная функция      170
Принимается      65
Принцип двойственности      203
Принцип нормализации      114 118
Присоединенный неопределенный атом (adjointed indeterminare atom)      175
Присоединенный неопределенный об (adjointed indeterminate ob)      154
Проблема разрешения (desicion problem)      502
Проблема тождества слов (word problem)      134
Программа Гильберта      32
Произведение (product, meet)      193 241
Пропозициональная алгебра      94 192
Пропозициональная интерпретация      194
Пропозициональная переменная      95
Пропозициональная функция      46
Пропозициональное расширение      147
Пропозициональные связки      255 439
Пропозициональный оператор      445
Просеквенция (prosequence)      279
Простая абсурдность (simple absurdity)      370 372
Простая опровержимость (simple refutability)      370 372
Противоречие (contradiction)      81
Прямая интерпретация      99
Прямая монотонность      159
Прямой пункт      131
Псевдодополнение (pseudocomplement)      404
Псевдопарадокс каталога      22
Псевдопарадокс парикмахера      22
Пуанкаре      54
Пункт      66
Пункт косвенный      131
Пункт прямой      131
Пустой квантор      450
Равенство      107
Равенство по определению      168
Равнозначность (equisignificance)      252
Разделительная сумма      231
Размеченная диаграмма      72
Разность множеств      224
Разрешимая теория      81
Рамсей      25 26 33 40 47
Ранг дерева      299 332
Расёва      185 481 498 517
Рассел      21 22 23 24 25 32 33 40 41 43 47 53 54 55 102 133 140 149 237 238 352 417 418 430 433 434
Рассела парадокс      21
Расширение (extension)      80
Расширение аксиоматическое      147
Расширение атомическое      147
Расширение дефинициональное      165
Расширение инференциональное      147
Расширение операциональное      147
Реализация      95
Реальная переменная (real variable)      443
Регулярная интерпретация      257
Регулярное правило      289
Регулярный вывод      289
Редукция дефинициональная      165
Редукция стандартная      166
Резидуальная структура      241 243
Результат (resultate)      343
Рекурсивная арифметика      50
Рекурсивная функция      169
Рекурсивно-перечислимый класс      69
Рекурсивное множество      69
Рекурсивное расширение      168
Рекурсия общая      187
Рекурсия примитивная      187
Реляционная система (relational system)      107 192
Рефлексивность      193
Решетка (lattice, treillis, Verband)      240
Рибейро      13
Ричардс      130
Ришар      24
Ришара парадокс      24
Робинсон, А.      185 189
Робинсон, Р.      184 189 504
Робинсон, Т.      362
Роджерс      188
Розенблюм      43 132 243 434 436 437
Россер      43 133 184 418 431 489503 530
Росскопф      131
Рубин      517
Руне      32 44
Сам      89
Санчес      13
Саппс      43 48 131 185
Свободная Булева алгебра      424
Свободная переменная      172 177
Свободная система      133
Свободное (булево) расширение      424
Свойство композиции (composition property)      324
Свойство композиции для составных конституэнтов      324
Свойство отделения (separation property)      325
Свойство подформулы (subformula property)      324
Свойство подформульности (subformula property)      324
Свойство сохранения      327
Связанная переменная      172 177
Связка (connective)      63
Семантика      141
Семантические таблицы (semantic tableaux)      52 340
Семантический парадокс      26
Семантическое утверждение      143
Семиотика      58
Семиотическая система      141
Серпинский      48
Сечение (cut)      353
Сикорский      185 438 498 517
Символ      58
Симметричная разность (symmetric difference)      231 241
Симметричность      194
Сингулярная просеквенция (singular prosequence)      279
Сингулярная формулировка (система)      280
Сингулярное утверждение (singular assertion)      280
Сингулярный образ (singular transform)      317
Синтаксическое утверждение      143
Синтактика      141
Система      56 86
Система $HX_g$      484
Система $HX_p$      484
Система $LA_1$      281
Система $LA_m$      281
Система $LC_1$      281
Система $LC_m$      281
Система EA      260
Система EC      260 268
Система HA      260 263 266
Система HC      260
Система HD      405
Система HE      405
Система HJ      404
Система HK      405
Система HM      402
Система HX*      483
Система LA      272 371
Система LA*      455
Система LC      272
Система LD      371 372 386
Система LD*      455
Система LE      372 386
Система LJ      371 372 386
Система LJ*      455
Система LK      371 372 386
Система LM      371 372 386
Система LM*      455
Система LXY      509
Система TA      260
Система TA*      481
Система TC      260
Система TC*      481
Система TD      398
Система TE      398
Система TJ      398
Система TK      398
Система TK*      481
Система TM      398
Система ассерторическая      107
Система аффиксативная      89
Система логистическая      138
Система мультиассерторическая      109
Система реляционная (relational system)      107 192
Система с (бинарным) отношением (system with binary relation)      107
Система семиотическая      141
Система формальная      136
Сколем      25 48 50 149 185 187 189 190 212 237 239 242
Сколема парадокс      25
Сколемовская нормальная форма (Skolem normal form)      495
Сколемовская структура      211 241 243
Слабая импликация      359
Следование (entailment)      359
Следования отношение (consequence relation)      82
Следствие (consequence)      360
Слисенко, А.О.      8
Слово (word)      58
Сложение      65 193 241
Слупецкий      51 64
Смешанная формулировка (система)      260
Смитон      528
Смысл      28
Собоциньский      64 418 436
Собственная комбинация      158
Собственная компонента      158
Собственно теория (proper theory)      88
Собственное исчисление предикатов (proper predicate calculus)      484 487
Собственное расширение (proper extension)      166
Собственный об (proper ob)      174
Содержательное высказывание      80
1 2 3 4 5
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте