алгебра констант
Смотреть что такое "алгебра констант" в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Дифференциальная алгебра — Дифференциальными кольцами, полями и алгебрами называются кольца, поля и алгебры, снабжённые дифференцированием унарной операцией, удовлетворяющей правилу произведения. Естественный пример дифференциального поля поле рациональных… … Википедия
ДИФФЕРЕНЦИАЛЬНАЯ АЛГЕБРА — раздел алгебры, изучающий объекты, в к рых, наряду с операциями сложения и умножения, имеются операции дифференцирования: дифференциальные кольца, дифференциальные модули, дифференциальные поля, дифференциальные алгебраич. многообразия. Один из… … Математическая энциклопедия
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
КЛИФФОРДА АЛГЕБРА — (спинорная алгебра) ассоциативная алгебра К n с п образующими k1, . . .,kn, т. е. совокупность линейных комбинаций из произведений ki, причём выполняются соотношения: при , =1. (1) К. а. названа по имени У. Клиффорда (W. Clifford), к рый ввёл её… … Физическая энциклопедия
РАВНОМЕРНАЯ АЛГЕБРА — замкнутая относительно равномерной сходимости подалгебра Аалгебры С(X).всех непрерывных комплексных функций на компакте X, содержащая все функции константы и разделяющая точки компакта X. Последнее условие означает, что для каждой пары x,… … Математическая энциклопедия
Поле (алгебра) — У этого термина существуют и другие значения, см. Поле. Полем называется множество F с двумя бинарными операциями (аддитивная операция, или сложение) и (мультипликативная операция, или умножение), если оно (вместе с этими операциями) образует… … Википедия
УНИВЕРСАЛЬНАЯ АЛГЕБРА — алгебраическая система с пустым множеством отношений. У. а. часто называют просто алгеброй. Для У. а. справедлива теорема о гомоморфизме: если гомоморфизм У. а. A на У. а. В и ядерная конгрузнция гомоморфизма то Визоморфна факторалгебре Всякая У … Математическая энциклопедия
ГРУППА — множество, на к ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло… … Физическая энциклопедия