Симметрическая разность — Не следует путать с Разность множеств. Диаграмма Эйлера Венна для симметрической разности Симметрическая разность двух множеств это теоретико множественная операция, р … Википедия
СИММЕТРИЧЕСКАЯ РАЗНОСТЬ — множеств одна из операций над множествами. Пусть имеются два множества Аи В. Тогда их симметрическая разность обозначается ADB и определяется равенствами где символы означают соответственно операции объединения, пересечения, разности и дополнения … Математическая энциклопедия
Разность множеств — Не следует путать с Симметрическая разность. Разность двух множеств это теоретико множественная операция, результатом которой является множество, в которое входят все элементы первого множества, не входящие во второе множество. Обычно… … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Универсальное множество — … Википедия
Симметричность — может означать: Симметрия Симметричная операция (от нескольких операндов) Симметричная функция (от нескольких переменных) Симметрический многочлен в математической логике: Симметричное отношение в линейной алгебре: Симметричный тензор… … Википедия
Теория множеств — Теория множеств раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой… … Википедия
Операции над множествами — Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют теоретико множественными операциями или сет операциями. В результате операций из исходных множеств получаются новые … Википедия
Операция над множествами — Над множествами, как и над многими другими математическими объектами, можно совершать различные операции, которые иногда называют теоретико множественными операциями или сет операциями. В результате операций из исходных множеств получаются новые … Википедия
ИСЧИСЛЕНИЕ КЛАССОВ — аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем);… … Философская энциклопедия