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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Конструктивность оценки      470
Конструктивный подход      352
Конструкционная последовательность (construction sequence)      73
Конструкция (construction)      72 158
Контенсивизм (contensivism)      27
Контенсивизм критический      27
Континуум      28
Континуум-гипотеза      49
Контраксиома (counteraxiom)      365 373 432
Контрапозиция (contraposition)      406
Контрбазис (counterbasic)      421
Контроценка (countervaluation)      470
Концептуальный класс      69
Конъюнктивная нормальная форма      424
Конъюнктивное разложение      421
Конъюнктор (conjunctor)      136
Конъюнкция (conjunction)      65 211 255
Копи      23
Косвенный пункт      131
Косский, Филит      23
Котарбиньский      46 51 64
Коупленд      244
Коэн      49
Крайзель      54 189 190 358 436
Крипке      344 358 362 371 396 433 517
Критерий истинности      149
Критический контенсивизм      27
Кронекер      54
Круазо      237 238 239 241
Крэвен      13
Крэйг      502
Куайн      40 43 47 49 52 53 60 102 131 185 434 436 489 490 500 501 504 517
Курода      47
Кутюра      236 434 436
Ладриер      43 44 45 52 184 524
Лайтстоун      504
Ландау      50 105
Леблан      43 45 46 131 503
Левая монотонность      213
Левая просеквенция (left prosequence)      280
Леви      48
Левый конституэнт (left constituent)      280
Левый пункт      66
Леджет      21
Ледли      436
Лезье      237 238 239 241
Лейбниц      46 236
Леммон      517
Лесьневский      51 235 361
Лёвенгейм      25 149 185 189 456
Лжеца парадокс      23
Линденбаум      258
Линдон      7 43 49
Линейный язык (linear languare)      58
Логика      18
Логика брауэровская      242
Логика математическая      18
Логика следствий      351
Логика философская      17
Логистическая система (logistic system)      107 133
Логицизм (logicism)      39
Логическая алгебра (logical algebra)      192
Логическая антиномия      20
Логическая группа      240
Логический парадокс      26
Лоренцен      10 43 47 50 54 90 91 132 151 190 239 349 351 353 362
Лукасевич      46 64 66 96 97 258 271 352 355 356 361 408 418 431 432 434 436 437
Льюис, К.      40 45 46 55 236 516 517
Лэнгфорд      236 516
Люс      526
Майхилл      184 188 190 517
Мак-Кинси      239 240 241 397 431 517
Мак-Колл      516
Мак-Лейн      185
Мак-Нотон      47 48
Максимальная ветвь (maximal branch)      158
Мальцев, А.И.      8 127185 189
Марквальд      44
Марков, А.А.      4 10 56 68 71 114 115 120 129 130 133 134 188
Маркова тезис      188
Мартин      130 141
Маслов, С.Ю.      474
Математическая логика      18
Матрица (matrix)      259
Матричная интерпретация (matrix interpretation)      258
Мацумото      507 517
Машина Тьюринга (Turing machine)      134
Маэхара      357 358 433 481 517
Между      241
Менгер      186 237 241
Мендельсон      43
Мередит      270
Метаисчисление (metacalculus)      137
Металогика (metalogic)      137
Метаматематика (metamathematics)      31 177
Метаметаязык (metametalanguage)      61
Метасемиозис (metasemiosis)      102
Метасистема (metasystem)      102 137
Метатеорема (metatheorem)      137 186
Метаязык (metalanguage)      61
Минимальная логика (minimal logic)      432
Минимальное отрицание (minimal negation)      370 372
Минковский      240
Минц, Г.Е.      8 52 280 493 517
Михайлеску      235
Михайлова, К.А.      134
Мо Шоу-кей      516
Модальная логика (modal logic)      504
Модель (model)      100 473
Модулярная структура (modular lattice)      208
Моисил      240 362 432
Молинаро      238 239
Монотектоничный класс (monotectonic class)      73
Монотонная эквивалентность (monotone equivalence)      161
Монотонное квазиупорядочение (monotone quasi ordering)      161
Монотонное отношение (monotone relation)      161
Монотонность      194
Монотонность прямая      159
Монтегю      503
Монтейро      223 242
Моррис      130 141
Морфология      88 278
Мостовский      43 44 64 184 189 190 490 501
Муди      46
Мулева алгебра (Moolean algebra)      243 437
Мультиассерторическая система (multiassertion system)      109
Мультиплярная просеквенция (multiply prosequence)      279
Мультиплярная система      280
Мультиплярная формулировка      280
Мультиплярное утверждение (multiply assertion)      280
Мультиплярный образ      217
Н-теория необходимости      514
Нагель      30 43 184
Нагорный, Н.М.      129 134
Надтеория (supertheory)      80
Натуральная индукция (natural induction)      155
Натуральная система (natural system)      356
Натуральное число (natural number)      28 32
Начальная команда (starting command)      117 120
Начальное правило      70
Начальный челнок      120
Начальный элемент      70
Недилемматическая операция (nondilemmatic operation)      329
Независимость (independence)      414
Незаключительная команда (non-stop command)      115
Некоммутативная структура      243
Нектор (nector)      136
Необходимость (necessity)      65
Неограниченная предикатная переменная      452
Неограниченное правило      331
Неопределенная (indeterminate)      146 172
Неопределенный об (indeterminate ob)      154
Неполнота (non-completeness)      31 35
Непосредственная обратимость      298
Непосредственная опровержимость (direct refutability)      232
Непосредственное обращение (direct inversion)      298
Непосредственное следование (direct consequence)      83
Непосредственный потомок (direct ancestor)      290
Непротиворечивая теория      81
Непротиворечивость (consistency)      31 365
Неразрешимость (undecidability)      184
Неэлементарное правило      260
Нётер      237
Нил      356
Новиков, П.С.      7 43 134 189
Номинализм      38
Нормализации принцип      114 188
Нормальная интерпретация (normal interpretation)      254
Нормальная конструкционная последовательность (normal construction sequence)      74
Нормальная матрица (normal matrix)      259
Нормальный алгорифм      114
Нулевой элемент (zero element)      209
Ньюмен      43 184
Об (ob)      32 63
Об аксиоматический      109
Об-расширение (ob extension)      147
Об-система      92 146
Область (range)      454
Область действия (scope)      66
Обобщение (generalization)      484
Обобщение индуктивное (inductive generalization)      153
Обобщение по индукции (generalization by induction)      153
Обобщение схематическое (schematic generalization)      153
Обобщение эпитеоретическое (epitheoretic generalization)      153
Обобщенная арифметика      135
Обобщенный сам      93
Общая рекурсия      187
Общая система      193
Общекурсивная функция      187
Общекурсивность      130
Объединение (union, join)      193 241
Объект (object)      63
Огасавара      242
Огден      130
Однозначное дефинициональное расширение      167
Окончательное определяющее (ultimate definiens)      164 166
Окончательный потомок (ultimate ancestor)      290
Окончательный предок (ultimate descendant)      290
Ониси      358 507 517
Ономатика (onomatics)      144
Онтология (ontology)      361
Оператор (operator)      63 136
Операторы описания (descriptive operators)      503
Операционное правило (operational rule)      276 281
Операционное расширение (operational extension)      147
Операция (operation)      63 92
Операция замыкания      192 195
Операция идемпотентная      192
Операция компонентная      159
Описание (description)      503
Описания операторы (descriptive operators)      503
Определение индуктивное (inductive definition)      131
Определенный вопрос (definite question)      69
Определяемое (definiendum)      163 165
Определяющая аксиома      165
Определяющее (definiens)      163 165
Опровержимо (refutable)      65
Опровержимость (refutability)      365
Оревков, В.П.      8
Ослабленные импликации (weakened implications)      358
Основания математики      19
Основная гипотеза (general conjecture)      47
Основной (principal)      165
Остов первоначальный (primitive frame)      88
Отвергается      65
Отверждение (rejection)      432
Отделенность (separability)      402
Открытое множество      196
Отношение монотонное (monotone relation)      161
Отрицание (negation)      65
Отрицательность (negativeness)      312
Оценка (Valuation)      99
Пантактическая система (pantactic system)      98
Парадокс      20
Парадокс Берри      24
Парадокс Бурали-Форти      22
Парадокс Греллинга      24
Парадокс Кантора      23
Парадокс лжеца      23
Парадокс логический      26
Парадокс Рассела      21
Парадокс Ришара      24
Парадокс семантический      26
Парадокс Сколема      25
Парадокс эпистемологический      26
Параметр      288
Параметрические аксиомы      50
Параметрические постулаты      50
Параметрический конституэнт (parametric constituent)      287
Параметрический потомок (parametric ancestor)      290
Параметрический предок (parametric descendant)      290
Патнэм      436
Пеано      22 46 47 50 79 238 241
Первоначальный остов (primitive frame)      88
Переменная подстановочная (substutive variable)      172
Переменная свободная (free variable)      172
Переменная связанная (bound variable)      172
Переменная формальная (formal variable)      171
Пересечение (meet)      193 241
Пересечение множеств      196
Перри      517
Петер      187
Пирс      188 235 236 238 239 240 244 282 352 356 417 439
Платонизм      27
Пликация (ply operation)      65 210
Поглощения закон (law of absorbtion)      204
Подалгебра      196
Подгруппа      196
Поддерево (subtree)      158
Подобные конституэнты      279
Подстановка (subsitution)      122
Подстановки правило (rule of substitution)      113
Подстановочная переменная (substitutive variable)      172
Подтеория (subtheory)      80
Подчиненный конституэнт (subaltern constituent)      287
Позитивная логика (positive logic)      353
Полиадическая алгебра (poliadic algebra)      504
Политектоничный класс      73
Полная абсурдность      371 372
Полная опровержимость      371 372
Полное дефинициональное расширение      167
Полнота (completeness)      82 322 365
Полнота в смысле Поста      82 83
Полнота системы HK      425
Полнота системы LE      390
Полнота системы LK      390
Положительность (positiveness)      312
Полудедуктивная теория      82
Полумодель      100 473
Полуопределенный вопрос      69
Полурегулярное правило      289
Полуструктура (semilattice)      199
Полуструктура импликативная      212
Получелночный алгорифм (semishuttle algorithm)      120
Порецкий, П.С.      436
Порождающий элемент      424
Порт      127 132 136 408 418 431 436 517
Пост      81 82 83 127 128 132 133 134 185 188 243 365 366 432 436 437
Поста алгорифм      128
Постулат      81
1 2 3 4 5
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте