Столл Р.Р. — Множества. Логика. Аксиоматические теории :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Столл Р.Р. — Множества. Логика. Аксиоматические теории

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

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

Название: Множества. Логика. Аксиоматические теории

Автор: Столл Р.Р.

Аннотация:

В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств. математической логики, оснований математики и теории булевых алгебр.

Язык:

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

ed2k: ed2k stats

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

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

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

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

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

Соединение (join, union)      23 192
Соответствие (correspondence)      50
Стоун      215
Строго включает (properly includes)      20
Строчка (string)      166
Структура (lattice)      197
Сужение (restriction)      51
Сумма (sum)      23
Суперпозиция      56
Супремум      68
Схема аксиом      169
Схема аксиомная      169
Схема доказательства      170
Схема теорем      170
Схема теоремная      170
Тавтология      85 127
Тезис Чёрча      190
Теорема      140 142 169 175
Теорема Гёделя о неполноте (Godel’s incompleteness theorem)      189
Теорема Гёделя о полноте (Godel’s completeness theorem)      176 181
Теорема дедукционная (deduction theorem)      171
Теорема о дедукции (deduction theorem)      171
Теорема о представлении (representation theorem)      162
Теорема полноты (completeness theorem)      172
Теория      141
Теория абсолютно полная (absolutely consistent)      185
Теория групп      146
Теория категоричная (categorical)      159
Теория непротиворечивая (consistent)      156
Теория неразрешимая (undecidable)      187
Теория несовместная (inconsistent)      155
Теория неформальная (informal)      145
Теория первого порядка (first-order)      176
Теория полная (complete)      157
Теория противоречивая (inconsistent)      155
Теория разрешимая (decidable)      187
Теория со стандартной формализацией      176
Теория совместная (consistent)      156
Теория содержательная (informal)      145
Теория элементарная      182
Терм (term)      109 178
Тогда и только тогда, когда (if and only if или iff)      73
Тождество (identity)      29
Только тогда (only if)      73
Точка (point)      147
Трансфинитные числа      9
Уайтхед      71 168 188
Узкое исчисление предикатов (restricted predicate calculus)      117
Унарный (unary)      54
Универсум рассуждения      25
Упорядочение (ordering) линейное (linear)      64
Упорядочение (ordering) простое (simple)      64
Упорядочение (ordering) частичное (partial)      62
Упорядоченная (ordered) n-ка (n-tuple)      38
Упорядоченная (ordered) пара (pair)      37
Упорядоченная (ordered) тройка (triple)      38

Упорядочивает (orders) просто (simply)      64
Упорядочивает (orders) частично (partially)      62
Условие достаточное (sufficient)      73
Условие необходимое (necessary)      73
Фактормножество (quotient set)      46
Форма высказывательная      123
Форма от x (formula in x)      15 132 113
Формальное доказательство (formal proof)      142
Формальный вывод (formal deduction)      142
Формула      82 117 168 174 178
Формула общезначимая (valid)      85 126 180
Формула простая (prime)      82 117 127
Формула разрешимая (decidable)      386
Формула свободная для y (is free for y)      128
Формула составная (composite)      82 117
Формула тождественно-истинная      85
Формула элементарная      82 117
Фреге      71 167
Функция      49
Функция взаимно-однозначная (one-to-one)      52
Функция высказывательная (statement)      110
Функция изотопная      66
Функция истинностная (truth)      83
Функция логарифмическая      60
Функция логическая      123
Функция обратная (inverse)      59
Функция определена на X (on X)      51
Функция от n переменных (of n variables)      53
Функция со значениями в Y (into Y)      51
Функция со значениями на (onto)      58
Функция со значениями на Y (onto Y)      51
Функция характеристическая      53
Функция, сохраняющая порядок (order-preserving)      66
Хантингтон      193
ЦЕПОЧКА (STRING)      96
Цепь (chain)      64
Цермело      188
Цорн      184 214
Чёрч      189 190
Член (member)      11
Членство (membership)      13
Эквивалентна      73
Эквивалентны (equivalent)      87
Элемент      11
Элемент единичный (identity)      146
Элемент единичный (identity) (unit)      193
Элемент максимальный      68
Элемент минимальный      66
Элемент наибольший (greatest)      68
Элемент наименьший (least)      68
Элемент нулевой (zero)      193
Элемент обратный (inverse)      146
Эрбран      171
Язык-объект      183
Язык-объект предметный (object)      183
Язык-объект синтаксический      183

1 2

О проекте