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

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

Авторизация

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

Красота

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

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

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

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

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

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

Аннотация:

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

скрины

Язык:

Рубрика: Разное/

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

ed2k: ed2k stats

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

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

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

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

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

Подмножество <subset>      20
Подмножество <subset> истинное <proper>      20
Подставить <substitute>      127
Покрывает <is a cover of>      64
Поле <domain>      123
Последовательность Коши <Cauchy sequence>      133
Пост <E.L. Post>      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> сложное <compositе>      72
Предложение <sentence> условное <conditional>      72
Предметная <individual> переменная <variable>      109
Предметная <individual> постоянная <constant>      109
Предупорядочение <preordering>      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>      24 69
Произведение декартово <cartesian>      40
Произведение прямое <cartesian>      40
Прообраз <inverse image, counter image>      60
Пропозициональные буквы      168
Простые <prime> компоненты      75 82
Противоречивый <inconsistent>      103
Противоречие <contradiction>      103
Процедура оценочная <valuation>      123 179
Процедура оценочная <valuation> разрешающая <decision>      187
Процедура оценочная <valuation> эффективная      165
Прямая <line>      147
Прямое умножение <cartesian multiplication>      43
Пучок прямых <pencil of lines>      151
Равносильны      87
Разбиение <partition>      24
Рассел <B. Russell>      19 71 152 168 184 188
Расчленённая <disjoint> система      24
Расчленённые <disjoint> множества      24
Россер <J.B. Posser>      145 190
Самодвойственный <self-dual>      32 69
Свободная для y <free for у>      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
Соединение <join, union>      23 192
Соответствие <correspondence>      50
Стоун <M.H. Stone>      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
Теорема Гёделя о неполноте <Goedel’s incompleteness theorem>      189
Теорема Гёделя о полноте <Goedel’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
Уайтхед <A.N. Whitehead>      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
Форма от х <formal in х>      15 112 113
Формальное доказательство <formal proof>      142
Формальный вывод <formal deduction>      142
Формула      82 117 168 174 178
Формула общезначимая <valid>      85 126 180
Формула простая <prime>      82 117 127
Формула разрешимая <decidable>      186
Формула свободная для y <is free for y>      128
Формула составная <composite>      82 117
Формула тождественно-истинная      85
Формула элементарная      82 117
Фреге <G. Frege>      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
Функция сохраняющая порядок <order-preserving>      66
Функция характеристическая      53
Хантингтон <E.V. Huntington>      193
Цепочка <string>      96
Цепь <chain>      64
Цермело <E. Zermelo>      188
Цорн <M. Zorn>      184 214
Чёрч <A. Church>      189 190
Член <member>      11
Членство <membership>      13
Эквивалентны <equivalent>      87
Эквиваленция      73
Элемент      11
Элемент единичный <identity>      146
Элемент единичный <unit>      193
Элемент максимальный      68
Элемент минимальный      68
Элемент наибольший <greatest>      68
Элемент наименьший <least>      68
Элемент нулевой <zero>      193
Элемент обратный <inverse>      146
Эрбран <J. Herbrand>      171
Язык-объект      183
Язык-объект предметный <object>      183
Язык-объект синтаксический      183

1 2

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте