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