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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(\mu)$      161
$(\nu)$      161
$(\rho)$      161
$(\sigma)$      161
$HX^*_g$      484
$HX^*_p$      484
$LA_1$      281
$\Lambda e$      260
$\Lambda e_1$      315
$\Lambda e_2$      316
$\Lambda i$      260
$\Lambda K$      264
$\Lambda K’$      264
$\Lambda S$      265
$\lambda$-конверсия      51
$\lambda$-операция      177
$\Lambda^*$      274 291 475
$\Pi e$      481
$\Pi h$      484
$\Pi i$      481
$\Pi P$      484
$\pi$      455
$\Pi^*$      455 474
$\Pi_0$      464
$\Pi_2$      484
$\sideset{^*}{^*}\Lambda$      282
$\sideset{^*}{}\Lambda$      274 475
$\sideset{^*}{}\Pi$      455
$\sideset{^*}{}\Sigma$      455 475
$\sideset{^*}{’}\Pi$      463 475
$\Sigma e$      481
$\Sigma i$      481
$\Sigma P$      484
$\Sigma$      455
$\Sigma^*$      455
$\Sigma_0$      484
$\Sigma_1$      484
$\Sigma_2$      484
$\Sigma’_*$      463 475
$\tau$      169
$\varepsilon$-оператор      503
(p1)      282 294
(P1’)      294
(r1)      288
(r2)      288
(r3)      288
(r4)      288
(r4)"      291
(r4)'      288
(r5)      288
(r6)      288
(r7)      288
(Им)пликация (ply operation)      65
(Им)плицирует (implies)      94
(р2)      282 294
*      274 475
*K*      291 282
*N      374 385
*O      276
*O*      281
*P      275 277 291 475
*P*      282
*V      275 475
*V (мультиплярное)      291
*V (сингулярное)      291
*V*      282
*W*      281 282
*Y      509
*С*      281 282
A-глагол (A verb)      87
A-имя (A noun)      87
A-предложение (A sentence)      87
A1 (предположение)      453 460
A2 (предположение)      453
Assoc (схема аксиом)      237
B-язык      445
Basic logic      131
C      274
Durchschnitt      241
EA      260
EC      268
efg      376
Entity      136
Erweiterter Hauptsatz      493
Etwas      136
Ex falso quodlibet      376
f      374
F*      369 374
F-преобразование (F transformation)      383
Fj      374 475
FN-формулировка      372 386
G-преобразование      380
General logical calculus      47
Gronpe logique      240
HA      260
Halbverband      240
Hauptsatz      246 275
HC      405
HD      405
HE      405
HJ      404
HK      405
HM      402
HX*      483
III-доказательство      335
IV-доказательство      335
Join      241
K      274
K*      475
Kodificat      52
Konsequenzlogik      351
L*-выводимость (L-deducibility)      467
L*-система      456
L-система      271
L-теория необходимости      509
LA*      455
LD      372 386
LD*      455
LE      372 386
LJ      372 386
LJ*      455
LK      372 386
LM      372 486
LM*      455
Logischer Zusammenhang      359
m-арный функтор      62
Metasprache      140
Mitteilungszeichen      138
modus ponens      263 483
N      374
N*      369 374 385
N-формулировка      372
NB      403
NB'      403
NC      403
NI'      403
NK      403
ns      403
O*      276
O-алфавит      88
O-буква      88
O-символ      88
O-язык      88
Ope      241
P*      274 277 474
PB      269
PB'      269
PC      269
Pe      260 261 263
Perm (схема аксиом)      237 415
Ph      484
Ph'      516
PI      264 269
PK      264 269
PS      265 269
PW      269
Px      282
R1 — R8(схемы аксиом)      229
Rueckverorderung der Einsetzungen      176
S-преобразование      384
Satz      136
Schichten      50
Schnitt      353
Simp (схема аксиом)      237 418
Sinn      28
Subformula property      324
Sum (схема аксиом)      237 418
Syll      353
Szam      91
T-правила      481 514
T-теория необходимости      514
T-формулировка      514
TA      260
TA*      338 474 481
Tantet      91
Taut (схема аксиом)      237 418
TC      260
TC*      481
TD      398
TE      398
Tetel      91
TJ      398
TK      481
TM      398
Treillis      240
U-переменная      146 171
U-постоянная      171
U-язык      57
Verband      240
Vereinigung      241
vi      260 261
VK      264
VK'      264
VS      264
w      274
Y      509
Y*      509
Ye      260 261 514
Yh      515
Yi      514
Zeichen      136
Абсолютная алгебра высказываний (absolute propositional algebra)      260 266
Абсолютная структура (absolute lattice)      211
Абстрактная система (abstract system)      98
Абстрактная теория (abstract theory)      134
Абстракция (abstraction)      102
Абстракция функциональная (functional abstraction)      177
Абсурдность (absurdity)      364 432
Автологичное (autological)      25
Автоморфизм (automorphism)      258
Автонимное представление (autonymous representation)      97
Автонимный способ речи (autonymous mode of speech)      59
Адекватная интерпретация      84
Адъюнктор (adjunctor)      136
Адян, С.И.      134
Айдукевич      185
Аккерман      43 47 48 51 53 359 360 417 489 501 503
Аксиом схема (axiom scheme)      94 176
Аксиома (axiom)      81 280
Аксиома бесконечности (axiom of infinity)      33 41
Аксиома выбора      34
Аксиоматизируемость конечная (finite axiomatisibility)      86
Аксиоматическая теория множеств      48
Аксиоматический метод      135
Аксиоматический об (axiomatic oh)      109
Аксиоматическое высказывание (axiomatic proposition)      81
Аксиоматическое расширение (axiomatic extension)      83 147
Аксиоматическое утверждение (axiomatic statement)      109
Аксиомы Пеано      50
Алгебра      132 242 483
Алгебра высказываний (propositional algebra)      100 192
Алгебра Линденбаума      100 192
Алгебра логическая (logical algebra)      192
Алгебра Поста      243 437
Алгебраическое правило (algebraic rule)      454
Алгорифм (algorithm)      114 127
Алгорифм в алфавите      116
Алгорифм марковский      114
Алгорифм над алфавитом      116
Алгорифм нормальный      114
Алгорифм удвоения      116
Алгорифм универсальный      129
Алгорифмическая функция      130
Алететика (aletheutics)      143
Алфавит      58
Анализ конструкционной последовательности      74
Андерсон      360 361 516
Андреа      493
Антецедент (antecedent)      280
Антецедент команды      115
Антимонотонность      212
Антиномия      20
Антиномия логическая      20
Аргумент      62
Аристотель      959
Арифметика (arithmetic)      50
Арифметика обобшенная (generalized arithmetic)      135
Арифметика рекурсивная (recursive arithmetic)      50
Ассер      128 130 133 481 503
Ассерторическая система (assertional system)      107
Ассоциативная система      94
Ассоциативности закон      204
Ассоциативность      101
Атом      92
Атомическое расширение (atomic extension)      147
Аффикс      65
Аффиксативная система      89
База (base)      177
Базис индукции      155
Базисное предложение (basic clause)      165
Базисный об (basic ob)      86
Базисный предикат (basic predicate)      155
Базисный шаг (basic step)      28
Бар-Хиллел      23 44 45 47 48 49 53 54 184 185 239
Баркан-(Маркус)      516
Бахман      48
Беккер      517
Белнап      361
Беман      51
Беннет      237
Бергман      40
Бернайс      27 43 48 50 53 54 131 187 189 238 269 270 353 355 356 358 407 433 445 456 500 501 502 503
Берри      24 185
Берри парадокс      24
Берстейн      436
Бесконечности аксиома      33 41
Бет      44 45 46 47 52 53 54 55 185 189 324 338 340 343 350 413 501 517 360
Бёнер      46
Бинарный инфикс (binary infix)      65
Бинарный инфиксный глагол      65
Бинарный инфиксный коннектор (binary infixed connector)      65
Бинарный инфиксный оператор      65
Бинарный функтор (binary functor)      65
Биркгоф      219 223 235 236 237 238 239 240 241 242 243 419 430 436
Бирн      209 431 436
Бистерфельдт      13
Бланше      43
Блейк      436
Блокирование процесса (blocking of process)      166
Блэк      20 44 54
1 2 3 4 5
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте