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

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

blank
blank
blank
Красота
blank
Клини С. — Математическая логика
Клини С. — Математическая логика



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



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


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

Автор: Клини С.

Аннотация:

Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда <Введение в метаматематику> (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой,
рекурсивными, функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант <чисто логической>
части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый, материал.
Книга может быть использована,как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\alpha_0$-выполнимость      379
$\alpha_0$-секвенция      367
$\lambda$-определимость      280 290 296 317 433
$\omega$-непротиворечивость      328 394
(Слабое удаление отрицания)      59
0-местная функция      177
0-местный предикат      177
D-выполнимость      341
D-общезначимость      111—116
Modus (ponendo) ponens (MP)      48 78
Modus (tollendo) tollens      78
n-значная логика      65
n-значное исчисление высказываний      65
Абелева группа      265
Абстрактная система      388
Абстракция отождествления      189
Автонимия      15 243
Адам Бальзамский (Парвипонтанус)      207
Аддисон      241 333 451
Аккерман      36 106 133 153 258 307 308 311 339 341 384 451 455
Аксиома      47 48 144 229 237 238 240 247
Аксиома бесконечности      226
Аксиома выбора      204 226 383
Аксиома выделения      225 300
Аксиома множества-степени      226
Аксиома объединения      226
Аксиома объемности      225
Аксиома пары      226
Аксиома подстановки      226
Аксиома фундирования      225
Аксиоматико-дедуктивный метод      228
Аксиоматическая система      385
Аксиоматическая теория      433
Аксиоматический метод      228
Аксиомная схема      48
Аксиомы Пеано      252
Аксиомы порядка      350
Аксиомы равенства      287 205 252 256 253
Активированный терм      355
Активное состояние      282
Актуальная бесконечность      221 233
Алгоритм      270
Алгорифм      270 и след. 279 293 352
Алеф-нуль      220
Алфавит      247
Амброз      451
Анализ вывода      55 133
Анализ доказательства      49
Анализ по истинности      44 109 143
Андера      414 455
Антецедент      343 355
Антецедентная подформула      403
Аргумент      177
Аристотель      169 170
Арифметика      231 242—259 299—312
Арифметика Гильберта      391
Арифметическая формула      267
Арифметическая функция      213
Арифметический предикат (по Гёделю)      327
Ассоциативность      27
Атом      13 80 99 178
Бар-Хиллел      217 225 317 451 464
Бахман      217 451
Бельтрами      230 432
Бенакерраф      451 454
Бернайс      101 188 203 225 302 306 308 315 336 351 366 383 384 385 418 451 455
Бернстайн      394 451
Берри      223 225
Бескванторная формула      417
Бесконечный контрпример      349
Бет      340 341 365 397 402 437 451 456
Бинарная связка      43
Бинарное отношение      94
Биусловное предложение      89
Бойяи, Я.      17 229
Боковая формула      353 422 423 426
Болл      238 452
Больцано      207 452
Борель      333 452
Бохенский      27 452
Брауэр      234—237 361 452
Бриттон      517 452
Буль      64 239 452
Бун      317 452 463
Бурали-Форти      221 225 453
Бюхи      317 453
Ван Хао      42 201 255 453
ван Хейеноорт      201 383 384 414 454 458 460 461 464
Варьирование переменных      130—133 375
Введение логического символа      26 49 59
Введение логического символа в импликацию      149
Введение логического символа в эквивалентность      149
Вейль      223 234 453
Великая теорема Ферма      339
Венн      92 453
Весли      311 333 361 397 458
Взаимнооднозначное соответствие      207
Витгенштейн      22 453
Включительная дизъюнкция      21
Возможность      65
Вполне упорядоченное множество      304
Вспомогательный вывод      68
Вторая теорема Гёделя      306 311 329
Вывод      47 50 89 133
Выводимая формула      50 134 375
Выводимое правило      67 145 153 161 402
Выводимость      50 89
Выполнимая формула      381
Выполнимость      341 384
Выполняющее распределение      341 381
Выражение одних связок через другие      27
Вырожденная система      231
Высказывание      12 94 97 112 177
Вычисление истинностной таблицы      110
Вычисление истинностных значений      108
Вычислимая функции      276 277 280 299
Вычислимость      297
Вычислимость по Тьюрингу      281 284 290 296 310 314 317 320
Вычислительная процедура (алгорифм)      273 277—279 297
Вычисляющая процедура      278
Галилей      207
Гаусс      221
Гейтинг      194 281 453
Генкин      241 341 367 391—394 414 428 451 453
Генцен      50 59 154 307 308 329 337 365 395 396 400 402 409 410 453 456
Герц      155 365 454
Гёделев номер      302 306 319
Гёделева нумерация      302 327
Гёдель      143 145 227 259 280 300 302 303 308 336 365 370 377 385 390 391 437 440 454
Гибельная дилемма      78
Гилмор, П.      428
Гильберт      36 101 106 133 153 189 203 232 233 236 238—242 279 302 303 306 309 315 339 341 351 366 383—385 391 418 454 455
Гильбертовская программа      396
Гипотетический силлогизм      77
Главная формула      353 422
Главный оператор      353
Группа      259—261
Гурёвич      241
Давыдов      465
Данный вывод      55 68 138 140
Двойственность      64 125
де Морган      27 64 176 455
Дедекинд      208 455
Дедуктивная эквивалентность      89
Дедуктивное правило      243
Дедуктивное равенство      449
Дедукция      47
Действие машины Тьюринга      282
Действительное предложение      236
Действительное число      215
Дейтон      308 414 418 455
Декарт, Р.      233
Ден      317 455
Дерево секвенций      344
Дизъюнктивная нормальная форма      46
Дизъюнктивный силлогизм      78
Дизъюнктные множества      330
Дизъюнкция      14
Дилемма крокодила      224
Дистрибутивность      27
Доджсон (Льюис Кэррол)      89 455
Доказательство      47 50 133 237 238 365
Доказательство в форме дерева      366
Доказательство в форме последовательности      366
Доказательство на языке исследователя      61
Доказательство разбором случаев      41 60
Доказуемая формула      143
Доказуемость      50 89 352
Дополнение множества      169
Допп, Дж.      463
Дребен      308 384 414 418 455
Дэвис      255 323 454 455 463
Дюген, П.      207
Евклид      11 229 232 237 238
Единичное множество      164 217
Ершов      241 455
Естественная интерпретация      240 249
Зависимая переменная      94
Зависимость      437
Заключение      48
Закон двойного отрицания      26 27
Закон исключенного третьего      27 234 385
Закон утверждения консеквента      26
Законы де Моргана      27
Закс      326 456
Замкнутая формула      130
Замкнутое дерево      345
Замкнутые аксиомы равенства      184 367
Замыкание формулы      130 184
Значение      196
Значение истинности      18
Идеальное предложение      236 309
Идельсон      453 456 457
Идемпотентность      27
Изоморфизм      230
Импликация      14
Импортация      26
Индекс машины Тьюринга      292
Индивид      94 177
Индивидная переменная      106
Индивидный символ      245
Индуктивное определение      246
Интенсионал      166
Интенсиональный контекст      196
Интенсиональный объект      166 195
Интерполяционная теорема Крейга      418—432 437 438 440
Интерполяционная формула      419
Интерпретация      162 233 432
Интерпретация всеобщности      128 165 250 251 301 350 380 433
Интерпретация называющей формы      97
Интуиционистская логика      65 81 396
Интуиционистская математика      234 235 310
Интуиционистские системы      268 311
Интуиционистское исчисление высказываний      65 144 160 400
Интуиционистское исчисление предикатов      160 420 421
Интуиционисты      236 311
Информатика      42
Ион      241
Иррефлексивность      219
Исключающая дизъюнкция      21
Истинное высказывание      17
Истинностная таблица      143
Истинностное значение      18 112
Исходное правило вывода      67
Исчисление высказываний      11—92 107 162 241 272
Исчисление предикатов      93—176 241 248 339
Исчисление предикатов второй ступени (второго порядка)      106
Исчисление предикатов высших ступеней (порядков)      106
Исчисление предикатов первой ступени (первого порядка)      106
Исчисление предикатов с равенством      177—205
Исчисление предикатов с равенством и функциями      441
Исчисление предикатов с функциональными символами      241
Исчисление предложений      12
Исчисление пропозициональных функций      94
Исчисление секвенций      365 395
Исчисления с двумя сортами переменных      106
Исчисления с одним сортом переменных      106
Кажущаяся переменная      101
Кальмар      61 290 377 456
Кангер      341 365 456
Кантор      193 207 217—219 221 224 225 305 386 456
Канторовский диагональный метод      214 218 223 296
Кардинальное число      207 217 218 321
Карнап      241 456
Карри      399 400 410 456
Категорический силлогизм      167 173
Категоричность систем аксиом      230 389 392
Квантор      93 156
Квантор общности (всеобщности)      100
Квантор существования      100
Кванторные обороты      93
Кеменн      393 456
Кетонен      365 456
Кёниг      361 456
Кислер      85
Кларк      80 82 456
Класс      163 228 385
Класс эквивалентности      218 191 195 378
Классическая логика      17 81 143 166 232
Классическая математика      80 232 235 310
Классические системы      268 311
Классическое исчисление высказываний      65 80 143 160 400
Классическое исчисление предикатов      104 106 144 162
Клейн      229 432
Клепхем      317 457
Клини      50 280 290 302 307 308 310 311 320 321 326 330 333 337 341 352 361 383 384 391 396 397 403 408 428 442 456 457 458 465
Коксетер      452
Колмогоров      308 458
Коммутативная группа      265
Коммутативность      27
Коммутативный закон      265
Компактность      272 387
Конгруэнтность формул      102 124
Конечная аксиоматизация      334
Конечное множество      208 217
Конечный контрпример      350
Константа      128
Конструктивная математика      235
Контрапозиция      23 27 433
Контрапозиция с удалением двойного отрицания      148
Контрпример      341 381
Конфигурация машины Тьюринга      283
Концевая секвенция      365
Конъюнкция      14
Косвенное доказательство      235 401
Косвенный метод      74
Коэн      227 458
Крайзель      305 308 311 418 458
Крейг      340 418 428 437 458
Куайн      44 89 458
Куратовский      217 458
Курош      458
Кэли      230 432
Лавров      455
Лазерови      451
Лакомб      326
Лейбниц      194
Лемма Кёнига      361 363
Лемма о перестановке      408
Лемма о перестановке чистоте переменных      406
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте