Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Множества. Логика. Аксиоматические теории
Автор: Столл Р.Р.
Аннотация:
В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр.
Дополнение <complement> для a <of a>193 Дополнение <complement> до B <relative to B>25 Дополнение <complement> относительное <relative>24 Допущение <assumption>142 Евклид <Euclid>139140141156 Единица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 Изоморфизм66158 Изоморфные67158159196 Или <ог>72 Импликация72 Интерпретация148179 Инфимум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>91011121315 Квантор <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 Лобачевский Н. И.140141156 Ложность <falsity>76 Меньше, чем <is less than>63 Метаматематика184 Метатеорема183 Метаязык183 Множество <set>11 Множество <set> -образов <of -relatives>41 Множество <set> вполне упорядоченное <well-ordered>68 Множество <set> единичное <unit>14 Множество <set> просто упорядоченное <simply ordered>64 Множество <set> пустое <empty>21 Множество <set> универсальное25 Множество <set> частично упорядоченное <partially ordered>64153 Множество <set>, степень <the power-set>22 Модель149180 Мощность <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>85126180 Общезначимый <valid> в данном поле <in a given domain>126 Объединение <join, union>23192197 Объем <size>9 Одноместный54 Оператор50 Операция5470 Операция 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>38113 Отношение <relation> в X <in X>40 Отношение <relation> двуместное38 Отношение <relation> инцидентности <incidence relation, relation of incidence>119147 Отношение <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>39113 Отношение <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>148157182188 Первичный термин <primitive term>140143 Переводить <carry>50 Переменная <variable>108 Переменная <variable> свободная <free>120 Переменная <variable> связанная <bound>120 Пересекающиеся <intersect>24 Пересечение <intersection, meet>24192197 Пиери <M. Pieri>143161