- алгебра классов
- мат. algebra of classes, class algebra
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
алгебра логики — АЛГЕБРА ЛОГИКИ исторически первая форма математической (символической) логики, сложившаяся к последней трети 19 в. К ее созданию привела аналогия между решением алгебраических уравнений и выводом следствий из посылок, а также то, что… … Энциклопедия эпистемологии и философии науки
Алгебра Хопфа — Алгебра Хопфа алгебра, являющаяся унитарной ассоциативной коалгеброй и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа. Алгебры Хопфа встречаются в алгебраической топологии, где они возникли в… … Википедия
АЛГЕБРА АБСТРАКТНАЯ — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь в двадцатом веке. Занимается главным образом изучением систем, элементы которых… … Энциклопедия Кольера
алгебра буля — исторически первый раздел математической логики, разработанный ирландским логиком и математиком Дж. Булем в середине XIX в. Буль применил алгебраические методы для решения логических задач и сформулировал на языке алгебры некоторые… … Словарь терминов логики
КЛАССОВ ДИВИЗОРОВ ГРУППА — факторгруппа группы диеизориалъных идеалов D (А) Крулля кольца А по подгруппе главных идеалов F(A). К. д. г. является абелевой группой и обычно обозначается С(А). Группа С(А)порождается классами простых идеалов высоты 1 в кольце А. В некотором… … Математическая энциклопедия
КЛАССОВ ИСЧИСЛЕНИЕ — традиционное, восходящее к Дж. Булю (G. Boole) название раздела математич. логики, изучающего логику классов. К. и. фактически представляет собой логику высказываний, в к рой дополнительно рассматривается субъектно предикатная структура… … Математическая энциклопедия
ФИЛЬТРОВАННАЯ АЛГЕБРА — алгебра S, в к рой выделены подпространства индексированные элементами линейно упорядоченной группы А(чаще всего А аддитивная группа целых чисел ). таким образом, что при и (возрастающая фильтрация). Иногда рассматривают случай, когда при… … Математическая энциклопедия
ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… … Философская энциклопедия
БАНАХОВА АЛГЕБРА — топологическая алгебра А над полем комплексных чисел, топология к рой определяется нормой, превращающей Ав банахово пространство, причем умножение элементов непрерывно по каждому из сомножителей. Б. а. наз. коммутативной, если Для всех (см.… … Математическая энциклопедия
ЛИ АЛГЕБРА — лиева алгебра, унитарный k модуль Lнад коммутативным кольцом k с единицей, к рый снабжен билинейным отображением прямого произведения в L, обладающим следующими двумя свойствами: 1) [ х, х] = 0 (откуда вытекает антикоммутативность 2) ( х,[ у,… … Математическая энциклопедия