Карри Х.Б. — Основания математической логики :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Сокращаемый конституэнт      332
Сокращение (contraction)      165 332
Составное утверждение      254 272
Сочленение (concatenation)      89
Специальные функторы      66
Стандартизованное дефинициональное расширение      166
Стандартная реализация по Лукасевичу      96
Стандартная редукция      166
Стандартная формулировка HD      405
Стандартная формулировка HE      405
Стандартная формулировка HJ      405
Стандартная формулировка HK      406
Стандартная формулировка HM      403
Стандартное представление по Лукасевичу      97
Стениус      53
Стенли      501
Степень дерева (degree of tree)      299
Степень предиката (degree of predicate)      87
Степень функтора (degree of functor)      62
Столл, Р.Р.      43
Стоун      219 239 240 244 420 434
Стратифицированное свойство (stratified property)      49
Строгая импликация (strict implication)      359 432 514
Строго семантическое утверждение      143
Строгое отрицание      371
Строусон      44
Структура (lattice, treillis, Verband)      133
Структура абсолютная      211
Структура импликативная      210 215
Структура модулярная      208
Структура некоммутативная      243
Структура резидуальная      241 243
Структура с дополнениями (complemented lattice)      409
Структура с относительными псевдодополнениями (relatively pseudocomplemented lattice)      241
Структура с псевдодополнениями      404
Структура сколемовская      211 241 243
Структура субтрактивная (subtractive lattice)      217
Структурная индукция      155
Структурное правило      231 273
Стяжкин.Н.И.      46
Субнектор (subnector)      63
Субнекция (subnexus)      63
Субтрактивная структура      217
Суждение      95 136 250
Сумма      193 241
Суффикс      64
Сущность      136
Схема      264
Схема $NK_{(1)}$       403
Схема $\Lambda K$       264
Схема $\Lambda K’$       264
Схема $\Lambda S$       265
Схема $\Pi P$       484
Схема $\Pi_0$       484
Схема $\Pi_1$       484
Схема $\Pi_2$       484
Схема $\Sigma P$       484
Схема $\Sigma_0$       484
Схема $\Sigma_1$       484
Схема $\Sigma_2$       484
Схема NB      403
Схема NB'      403
Схема NC      403
Схема NI'      403
Схема NS      403
Схема NW      403
Схема PB      269
Схема PB'      269
Схема PC      269
Схема PI      264 269
Схема PK      264 269
Схема PS      265 269
Схема PW      269
Схема VK      264
Схема VK'      264
Схема аксиом (axiom scheme)      94
Схема доказательств (demonstration scheme)      154
Схематическое дефинициальное расширение      167
Схематическое обобщение      153
Таблица доказательств (proof tableau)      338 358 474
Таблица истинности (truth table)      99 129
Тавтология (tautology)      100
Такеути      47
Тан      517
Тантет      89
Тарский      43 44 53 83 109 132 133 139 143 184 186 189 239 240 241 244 258 270 352 356 357 431 437 504 517
Тезис Маркова      188
Тезис Чёрча      188
Тектоника      104
Теорема      186
Теорема Гёделя о неполноте      31 35 149 181 188
Теорема Гёделя о полноте      149 185 189 497
Теорема Гливенко      396
Теорема инверсионная      295 357 462
Теорема Лёвенгейма — Сколема      149 185 189
Теорема о дедукции (deduction theorem)      265 270
Теорема о замене (replacement theorem)      100 312
Теорема об устранимости сечений      246 275
Теорема элементарная      186
Теорема элиминационная      246 275 378 510
Теорема Эрбрана — Генцена      493
Теоретическое расширение      147
Теория      56
Теория абстрактная      134
Теория типов      47
Теория формальной выводимости      256
Терм (term)      136 439 448
Термовая переменная (termal variable)      443
Термовое расширение      444
Термовый оператор (termal operator)      444
Термовый функтор (termal functor)      444
Тетел      89
ТЗ      160 312
Тиле      480
Титгеймейер      186
Тождество дефинициональное      168
Точечная система обозначений (dot notation)      66
Традиционный подход      352
Транзитивность      193
Тьюринг      126 130 133 134 188
Тьюринга машина      134
Тюркетт      437
Уайтхед      21 24 47 133 140 149 236 237 238 352 417 418 430
Удаляемое высказывание      302
Удаляемый конституэнт      302
Узел (node)      72
Уилдер      43 44 53 54
Уитни      241
Умедзава      358 437
Умножение (meet)      65 193 241
Унарная операция      65
Унарный глагол      65
Универсальная категория      173
Универсальное расширение      167
Универсальный алгорифм      129

Универсальный предикат      173
Уоллес      360.
Уорд      240 241 243
Утверждение (statement, assertion)      63 107 136 252 276
Утверждение аксиоматическое      109
Фаза      121
Феврие      239
Фейс      14 40 43 51 61 77 79 110 111 130—137 141 144 163 169 171 179 183 235 348 358 432 443 450 517
Философская логика      17
Финдлей      184
Финитный      31 55
Фитч      43 51 360 517
фон Нейман      40 48 239
фон Райт      517
Формализация      31 102
Формализм      27
Формальная выводимость      152
Формальная переменная      171
Формальная система      56 135
Формальное высказывание (formal proposition)      80
Формальное доказательство (formal demonstration)      82
Формальный объект      56 86
Формула правильно построенная (well formed formula)      93
Формулировка I      281
Формулировка II      290
Формулировка III      334
Формулировка IIK      290 292
Формулировка IK      290 292
Формулировка IV      336
Формулы де Моргана      415
Фостер      243
Фраза (phrase)      61 63
Фреге      21 28 32 46 47 48 102 131 133 140 188 238 352 355 417 434 439
Френкель      23 44 45 47 48 49 53 54 184 185 239
Фридман, А.А.      134
Фринк      434 437
Функтор      63
Функтор предложений      445
Функтор утверждений      445
Функциональная абстракция      177
Функциональное исчисление      483
Функция      63 111
Функция алгорифмическая      130
Функция вполне алгорифмическая      130
Функция общерекурсивная      187
Функция примитивно рекурсивная      170
Функция пропозициональная      46
Функция рекурсивная      168
Функция утверждений (statement function)      445
Функция частично рекурсивная      169
Халмош      109 504
Хантингтон      107 139 236 238 418 430 431 436
Характеристическая переменная (characteristic variable)      455
Харди      39
Харроп      436
Хаусдорф      48
Хиж      437
Хинтикка      504 517
Холден      517
Хомский      252
Цермело      40 48
Цилиндрическая алгебра (cylindric algebra)      504
Цифровой автомат      188
Чан      243
Частичная интерпретация      84
Частичная рекурсивность      130
Частично рекурсивная функция      168
Частично рекурсивное дефинициональное расширение      167
Частично упорядоченная система (quasi ordered system)      192
Частичное упорядочение (quasi ordering)      192
Чаудхури      243
Чашка (cup)      241
Челнок      120
Челночный алгорифм      124
Чернявский, В.С.      120 121 129 130 134
Чёрч      6 7 22 24 28 32 43 44 45 46 47 51 52 53 54 55 71 75 91 109 114 135 168 177 185 186 240 241 269 270 353 355 356 357 359 362 408 417 432 433 434 436 437 439 445 456 467 497 500 501 502 503
Чёрча тезис      188
Чип      244
Чистая морфология      88
Чисто синтаксическое утверждение      143
Чистое исчисление предметов      453
Член (member)      421
Шанин, Н.А.      8 51 190 436
Шапка (cap)      241
Шейнфинкель, М.Н.      501
Шеффер      417 436
Шильп      21
Шмидт      44 45 52 53 105 106 133 270 357 360 397 407 437 503 517
Шмульян      52 184
Шольц      43 44 45 46 139 140 355 407 408 434
Шпеккер      49 53
Шредер      47 236 237 238 239 241 244 436
Шрётер      132 270 355 356 434 503
Штегмюллер      130
Штрих Шеффера      417
Шураньи      480 503
Шютте      43 47 50 51 52 54 189 357 489 490 503
Эвбулид      23
Эвтектическая система      97
Эквациональная система (equational system)      107
Эквивалентность (equivalence)      380 386
Эквивалентность монотонная      161
Эквиваленция (equivalence operation)      65
Эквиморфные инскрипции (equimorphe inscriptions)      59
Экснер      131
ЭЛЕМЕНТ (ELEMENT)      63 257
Элементарная дедуктивная теория (elementary deductive theory)      82
Элементарная система (elementary system)      112
Элементарная теорема (elementary theorem)      79 186
Элементарное высказывание (elementary proposition)      79 81 272 279 448
Элементарное правило (elementary rule)      260
Элементарное утверждение (elementary statement)      280
Элиминационная теорема (elimination theorem)      246 275 302 378
Элфорд      13
Эндоморфизм      258
Эндрюс      47 493
Эпивысказывание (epistatement)      146
Эпименид      23
Эпистемологический парадокс      20
Эпитеорема      100 146 186
Эпитеоретическое обобщение      153
Эпитеория      146
Эрбран      132 187 240 356 357 493 500 502 503
ЭТ      302 393
Эффективная вычислимость      188
Эффективная монотектоничность      73
Эффективный процесс      68
Юнктор (junctor)      136
Явное определение      168
Язык      68
Язык естественный (natural language)      58
Язык коммуникативный      58
Язык предметный      61
Язык-объект      61
Яновская, С.А.      7 8 278
Яськовский      356 437 490 501

1 2 3 4 5

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте