Алгебра Логики

- алгоритмический язык, ориентированный в основном на вычислительные машины средней мощности. А. Разработан в 1963 - 66 Группой по Автоматизации программирования для Машин Среднего типа (ГАМС), созданной комиссией многостороннего сотрудничества академий наук социалистич. Стран. А. Призван сыграть роль эталонного языка для обмена алгоритмами между социалистич. Странами. В основу А. Положен язык алгол-60 (см. Алгол), на к-рый были наложены нек-рые ограничения, облегчающие процесс трансляции. ..

А́лгебра с 1717 г. (см. Смирнов 34), из нем. Algebra (араб. Происхождения).Этимологический словарь русского языка. — М. Прогресс М. Р. Фасмер 1964—1973. ..

- алгебра М(G).комплексных регулярных борелевских мер на локально компактной абелевой группе G, имеющих ограниченную вариацию, с обычными линейными операциями и сверткой в качестве умножения (см. Гармонический анализ абстрактный). Свертка полностью определяется из условия, что для любой непрерывной функции f на Gс компактным носителем Если за норму в М(G).принять полную вариацию меры, то М(G).становится коммутативной банаховой алгеброй над полем комплексных чисел. А. М. М(G).обладает еди..

- непустая совокупность подмножеств нек-рого множества W, замкнутая относительно теоретико-множественных операций (объединения, пересечения, образования дополнения), производимых в конечном числе. Для того чтобы нек-рый класс подмножеств множества W был А. М., достаточно (и необходимо), чтобы он был замкнут относительно образования объединений и дополнений. А. М., замкнутая относительно образования счетных объединений, наз. -алгеброй множеств ( -А. ..