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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

ed2k: ed2k stats

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

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

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

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

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

modus ponens      100
p-класс эквивалентности (p-equivalence class)      44
p-образ (p-relative)      41
p-относится к (is p-related to)      38
Абелева (abelian) группа      122 150
Абстракция актуальной бесконечности      12
Аккерман      173
Аксиома      140 142 143
Аксиомы нелогические      181
Аксиомы Пеано      148
Алгебра множеств      191
Алгоритм      165
Алгорифм      165
Антецедент (antecedent)      73
Антиизоморфизм      196
Аргумент      50
Арифметика (number theory)      182
Атом      210
Аффинная (affine) геометрия      147 151
Бернайс      168
Бойаи      140 141 156
Больше, чем (is greater than)      63
Булева алгебра (boolean algebra)      192
Булева алгебра атомная (Boolean algebra atomic)      216
Булева алгебра дистрибутивная      216
Булева алгебра полная (Boolean algebra complete)      216
Булева алгебра свободная (Boolean algebra free)      920
Вектор      38
Вектор n-мерный      38
Взаимно-однозначное соответствие (one-to-one correspondence)      52
Включать (include)      20
Включение (inclusion)      20
Влечет (implies)      73
Вхождение (occurrence) свободное (free)      120
Вхождение (occurrence) связанное (bound)      120
Выводимо (is deducible)      142 169 175
Выполнять (satisfy)      179
Высказывание (statement)      15 121
Высказывание (statement) доказуемое (provable)      142
Высказывательные буквы (statement letters)      168
Гёдель      176 188 189
Гильберт      143 156 161 173 134 188 189
Гомоморфизм      207
Граница (bound) верхняя (upper)      63
Граница (bound) наибольшая нижняя      68
Граница (bound) наименьшая верхняя      68
Граница (bound) нижняя (lower)      68
График (graph)      41
Двойственный (dual)      31 69 194
Двуместный      54
Дедекинд      148
Диаграмма Веина      25
Дизъюнкция (disjunction)      72
Доказательство (proof)      169
Доказательство (proof) (demonstration)      142 169 175
Доказательство (proof) reductio ad absurdum      104
Доказательство (proof) косвенное (indirect)      104
Доказательство (proof) от противного (by contradiction)      104
Доказательство (proof) формальное      142
Дополнение (complement)      24
Дополнение (complement) абсолютное      24
Дополнение (complement) для a (of a)      193
Дополнение (complement) до B (relative to B)      25
Дополнение (complement) относительное (relative)      24
Допущение (assumption)      142
Евклид      139 140 141 156
Единица      146
Если (if)      73
Если..., то (if ..., then)      72
Зависимый (dependent)      161
Закон ассоциативный      30
Закон де Моргана      32
Закон дистрибутивный      30
Закон идемпотентности      32
Закон коммутативный      30
Закон Лейбница      178
Закон поглощения (absorption)      32
Замкнутый (closed) интервал      69
Значение (value)      50
Значение (value) истинностное (truth)      76
И (and)      72
Идеал      208
Идеал главный (principal)      208
Идеал единичный (unit)      208
Идеал максимальный      213
Идеал нулевой (zero)      208
Изоморфизм      66 158
Изоморфные      67 158 159 196
Или (or)      72
Импликация      72
Интерпретация      148 179
Инфимум      68
Истинностные таблицы (truth tables)      76
Истинность (truth)      76
Истинный (true)      180
Исчисление предикатов (predicate calculus)      117
Исчисление предикатов (predicate calculus) прикладное (applied)      177
Исчисление предикатов (predicate calculus) с равенством (with equality)      177
Исчисление предикатов (predicate calculus) узкое (restricted)      117
Исчисление предикатов (predicate calculus) чистое (pure)      177
Кантор      9 10 11 12 13 15
Квантор (quantifier) общности (universal)      112
Квантор (quantifier) ограниченный (restricted)      132
Квантор (quantifier) существования (existential)      112
Класс вычетов по модулю n (residue class modulo n)      46
Класс эквивалентности (equivalence)      44
Клейн      141
Клини      85
Композиция (composite, composition)      56
Консеквент (consequent)      73
Константа      152
Константы логические      178
Константы нелогические      178
Конъюнкция (conjunction)      72
Координата      38
Кортеж      38
Коши      133
Круг Эйлера      25
Кэли      141
Лейбниц      178
Лемма Цорна      214
Лобачевский, Н.И.      140 141 156
Ложность (falsity)      76
Меньше, чем (is less than)      63
Метаматематика      184
Метатеорема      183
Метаязык      183
Множество (set)      11
Множество (set) p-образов (of p-relatives)      41
Множество (set) вполне упорядоченное (well-ordered)      68
Множество (set) единичное (unit)      14
Множество (set) просто упорядоченное (simply ordered)      64
Множество (set) пустое (empty)      21
Множество (set) степень (the power-set)      22
Множество (set) универсальное      25
Множество (set) частично упорядоченное (partially ordered)      64 158
Модель      149 180
Мощность (power)      9
Не (not)      72
Негатив (denial)      90
Независимый (independent)      161
Неизвестное (unknown)      108
Непересекающиеся (disjoint)      24
Непротиворечивый (consistent)      105
Область действия (scope)      119
Область значений (range)      40
Область определения (domain)      40
Образ (image)      50
Образ (image) гомоморфный      207
Образ (image) изоморфный      66

Обратный для a (inverse of a)      146
Обращение (inversion)      59
Общезначимый (valid)      85 126 180
Общезначимый (valid) в данном поле (in a given domain)      126
Объединение (join, union)      23 192 197
Объем (size)      9
Одноместный      54
Оператор      50
Операция      54 70
Операция n-арная (n-ary)      54
Операция ассоциативная      70
Операция бинарная (binary)      54
Операция двуместная      54
Операция идемпотентная      70
Операция коммутативная      70
Операция одноместная      54
Операция сингулярная      54
Операция унарная (unary)      54
Описание (description)      109
Определена на X (on X)      51
Отношение (relation)      38
Отношение (relation) n-арное (n-ary)      38
Отношение (relation) n-местное      38
Отношение (relation) антисимметричное      62
Отношение (relation) бинарное (binary)      38 113
Отношение (relation) в X (in X)      40
Отношение (relation) двуместное      38
Отношение (relation) инцидентности (incidence relation, relation of incidence)      119 147
Отношение (relation) иррефлексивное      63
Отношение (relation) конгруэнтности (congruence)      205
Отношение (relation) обратное (converse of p)      62
Отношение (relation) от X к Y (from X to Y)      40
Отношение (relation) порядка (ordering)      10
Отношение (relation) пустое (void)      40
Отношение (relation) рефлексивное      43
Отношение (relation) симметричное      43
Отношение (relation) сравнимости по модулю n (of congruence modulo n)      44
Отношение (relation) тернарное (ternary)      39 113
Отношение (relation) тождественное (identity)      40
Отношение (relation) транзитивное      43
Отношение (relation) универсальное      40
Отношение (relation) частичного порядка      62
Отношение (relation) эквивалентности (equivalence)      44
Отображение (map, mapping)      50
Отображение естественное (natural)      57
Отображение инъективное (injection)      52
Отображение каноническое      57
Отображение тождественное (identity)      52
Отрезок      69
Отрицание (negation)      72
Отрицательная полнота (negation completeness)      185
Параллельный      148
Параметр      133
Пеано      148 157 182 188
Первичный термин (primitive term)      140 113
Переводить (carry)      50
Переменная (variable)      108
Переменная (variable) свободная (tree)      120
Переменная (variable) связанная (bound)      120
Пересекающиеся (intersect)      24
Пересечение (intersection, meet)      24 192 197
Пиери      143 161
Подмножество (subset)      20
Подмножество (subset) истинное (proper)      20
Подставить (substitute)      127
Покрывает (is a cover of)      64
Поле (domain)      123
Последовательность Коши (Cauchy sequence)      133
Пост      172
Постулат      140
Посылка (assumption)      142
Правило (rule) вывода (of inference)      96
Правило (rule) замены равного равным      177
Правило (rule) конкретизации (of specification)      174
Правило (rule) обобщения (of generalization)      174
Правило (rule) отделения (of detachment)      100
Правило (rule) универсального обобщения (of universal generalization)      134
Правило (rule) универсальной конкретизации (of universal specification)      134
Правило (rule) экзистенциального обобщения (of existential generalization)      136
Правило (rule) экзистенциальной конкретизации (of existential specification)      136
Правило cp      99
Правило eg      136
Правило es      136
Правило modus ponens      100
Правило p      96
Правило t      96
Правило ug      134
Правило us      134
Предикат (predicate)      110 123
Предикат (predicate) 0-местный (0-place)      110
Предикат (predicate) n-местный (n-place)      110
Предложение (sentence) биусловное (biconditional)      73
Предложение (sentence) простое (prime)      72
Предложение (sentence) сложное (composite)      72
Предложение (sentence) условное (conditional)      72
Предметная (individual) переменная (variable)      109
Предметная (individual) постоянная (constant)      109
Предупорядочение (reordering)      62
Предшествовать (precede)      63
Преобразование (transformation)      50
При условии (provided)      73
Принадлежность (membership)      13
Принцип (principle) абстракции (of abstraction)      16
Принцип (principle) выбора (of choice)      19
Принцип (principle) двойственности (of duality)      31 194
Принцип (principle) объемности (of extension)      13
Принцип (principle) свёртывания      16
Принцип (principle) экстенсиональности      13
Приписывание Assignment)      123
Проблема о представлении (representation)      162
Проблема разрешения (decision)      187
Продолжение (extension)      52
Произведение (product)      54 69
Произведение (product) декартово (cartesian)      40
Произведение (product) прямое (cartesian)      40
Прообраз (inverse image, counter image)      60
Пропозициональные буквы      168
Простые (prime) компоненты      75 82
Противоречивый (inconsistent)      103
Противоречие contradiction)      103
Процедура аффективная      165
Процедура оценочная (valuation)      123 179
Процедура разрешающая (decision)      167
Прямая (line)      147
Прямое умножение (cartesian multiplication)      43
Пучок прямых (pencil of lines)      151
Равносильны      87
Разбиение (partition)      24
Рассел      19 71 152 168 184 188
Расчлененные (disjoint) множества      24
Расчленённая (disjoint) система      24
Россер      145 190
Самодвойственный (self-dual)      32 69
Свободная для y (free for y)      128
Свойство (property)      17
Свойство (property) определяющее (defining)      17
Свойство (property) подставимости (substitutivity)      87
Свойство (property) подстановочное (substitution)      177
Сентенциальные связки (sentential connectives)      72
Символ      143
Символ операции      178
Символ отношения      178
Символ предикатный (predicate letter)      117 176
Симметрическая разность (symmetric difference)      25
Сингулярный      54
Система множеств (collection of sets)      15
Следствие логическое (valid consequence)      94 133 180
Со значениями в Y (into Y)      51
Со значениями на Y (onto Y)      51
Содержится (is contained)      82

1 2

О проекте