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

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

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



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



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

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

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

Аннотация:

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


скрины



Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(a)$      208
$(x)$      112
$(\exists x)$      112 174
$(\forall x)$      112
$0$      150 193
$1$      193
$<$      63
$<math>f\colon X \to Y</math>$      51
$<x, y>$      37
$<x>$      54
$<x_1, x_2, ..., x_n>$      38
$>$      63
$A + B$      25
$A(x)$      211
$a^-1$      112
$a^\prime$      193
$A_1\bigcup A_2\bigcup ... \bigcup A_n$      30
$A_d$      90
$D_\rho$      40
$e$      146
$eq$      87 127
$f \mid A$      51
$F$      76
$F(x)$      50
$fx$      50
$f^-1$      59
$F^n$      61
$f_1 \circ f_2 \circ ... \circ f_n$      57
$g \circ f$      56
$i _X$      52
$inf A$      68
$M(x)$      215
$n^ X$      53
$Q^+$      11
$R^+$      11
$R_\rho$      40
$sup A$      68
$X - A$      24
$x \equiv y (mod n)$      44
$X \xrightarrow{f} Y$      51
$X/ \rho$      46
$xf$      50
$x\rho y$      38
$X\times Y$      40
$x^f$      50
$X^n$      54
$x_1, x_2, ..., x_n \in$A      13
$Y^X$      51
$Z^+$      11
$[a, b]$      69
$\bigcap$      24
$\bigcup$      23
$\bigvee$      73
$\bigwedge$      73
$\C$      11
$\chi _A$      53
$\geqslant$      63
$\in$      13
$\iota _X$      40
$\iota$      40
$\leftrightarrow$      73
$\leqslant$      63
$\mathfrak{\Rho} (A)$      22
$\models$      85 94 126 133
$\neq$      14
$\not \subset$      20
$\notin$      13
$\nsubseteq$      23
$\overline{A}$      24 25
$\Phi$      21
$\Q$      11
$\R$      11
$\rho [A]$      41
$\rho$-класс эквивалентности <$\rho$-equivalence class>      44
$\rho$-образ <$\rho$-relative>      41
$\rho$-относится к <is $\rho$-related to>      38
$\rightarrow$      73
$\sim$      73
$\subseteq$      20
$\supseteq$      20
$\top$      76
$\vDash$      142 169 175
$\widetilde {\rho}$      62
$\Z$      11
$\Z_n$      46
$\{f(x)\mid P(x)\}$      18
$\{x \in A\mid P(x)\}$      18
$\{x\mid P(x)\}$      17
$\{x_1, x_2, ..., x_n\}$      14
$—$ a      150
=      13
i      52
modus ponens      100
Абелева <abelian> группа      122 150
Абстракция актуальной бесконечности      12
Аккерман <W. Ackermann>      173
Аксиома      140 142 143
Аксиомы нелогические      181
Аксиомы Пеано      148
Алгебра множеств      191
Алгоритм      165
Алгорифм      165
Антецедент <antecedent>      73
Антиизоморфизм      196
Аргумент      50
Арифметика <number> theory      182
Атом      210
Аффинная <affine> геометрия      147 151
Бернайс <P. Bernays>      168
Бойаи <J. Bolyai>      140 141 156
Больше, чем <is greater than>      63
Булева алгебра <Boolean algebra>      192
Булева алгебра <Boolean algebra> атомная <atomic>      216
Булева алгебра <Boolean algebra> дистрибутивная      216
Булева алгебра <Boolean algebra> полная <complete>      216
Булева алгебра <Boolean algebra> свободная <free>      220
Вектор      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
Гёдель <K. Goedel>      176 188 189
Гильберт <D. Hilbert>      143 156 161 173 184 188 189
Гомоморфизм      207
Граница <bound> верхняя <upper>      68
Граница <bound> наибольшая нижняя      68
Граница <bound> наименьшая верхняя      68
Граница <bound> нижняя <lower>      68
График <graph>      41
Двойственный <dual>      31 69 194
Двуместный      54
Дедекинд <R. Dedekind>      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
Евклид <Euclid>      139 140 141 156
Единица      146
Если ... , то <if ... , then>      72
Если <if>      73
Зависимый <dependent>      161
Закон ассоциативный      30
Закон де Моргана      32
Закон дистрибутивный      30
Закон идемпотентности      32
Закон коммутативный      30
Закон Лейбница      178
Закон поглощения <absorbtion>      32
Замкнутый <closed> интервал      69
Значение <value>      50
Значение <value> истинностное <truth>      76
И <and>      72
Идеал      208
Идеал главный <principal>      208
Идеал единичный <unit>      208
Идеал максимальный      213
Идеал нулевой <zero>      208
Изоморфизм      66 158
Изоморфные      67 158 159 196
Или <ог>      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
Кантор <G. Cantor>      9 10 11 12 13 15
Квантор <quantifier> общности <universal>      112
Квантор <quantifier> ограниченный <restricted>      132
Квантор <quantifier> существования <existential>      112
Класс вычетов по модулю n <residue class modulo n>      46
Класс эквивалентности <equivalence>      44
Клейн <F. Klein>      141
Клини <S.C. Kleene>      85
Композиция <composite, composition>      56
Консеквент <consequent>      73
Константа      152
Константы логические      178
Константы нелогические      178
Конъюнкция <conjunction>      72
Координата      38
Кортеж      38
Коши <A.L. Cauchy>      133
Круг Эйлера      25
Кэли <A. Cayley>      141
Лейбниц <G.W. Leibniz>      178
Лемма Цорна      214
Лобачевский Н. И.      140 141 156
Ложность <falsity>      76
Меньше, чем <is less than>      63
Метаматематика      184
Метатеорема      183
Метаязык      183
Множество <set>      11
Множество <set> $\rho$-образов <of $\rho$-relatives>      41
Множество <set> вполне упорядоченное <well-ordered>      68
Множество <set> единичное <unit>      14
Множество <set> просто упорядоченное <simply ordered>      64
Множество <set> пустое <empty>      21
Множество <set> универсальное      25
Множество <set> частично упорядоченное <partially ordered>      64 153
Множество <set>, степень <the power-set>      22
Модель      149 180
Мощность <power>      9
Не <not>      72
Негатив <denial>      90
Независимый <independent>      161
Неизвестное <unknown>      108
Непересекающиеся <disjoint>      24
Непротиворечивый <consistent>      103
Область действия <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> эквивалентности <equivalence>      44
Отображение <map, mapping>      50
Отображение естественное <natural>      57
Отображение естественное <natural> инъективное <injection>      52
Отображение естественное <natural> каноническое      57
Отображение естественное <natural> тождественное <identity>      52
Отрезок      69
Отрицание <negation>      72
Отрицательная полнота <negation completeness>      185
Параллельный      148
Параметр      133
Пеано <G. Peano>      148 157 182 188
Первичный термин <primitive term>      140 143
Переводить <carry>      50
Переменная <variable>      108
Переменная <variable> свободная <free>      120
Переменная <variable> связанная <bound>      120
Пересекающиеся <intersect>      24
Пересечение <intersection, meet>      24 192 197
Пиери <M. Pieri>      143 161
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте