множество, в котором определена по крайней мере одна алгебраическая операция
Предыстория возникновения булевой алгебры
Алгебра логики, или булева алгебра, является разделом математики...
Изначально булева алгебра не обладала практическим значением....
Он стремился сформировать универсальную языковую форму, которая могла бы позволить формализовать разнообразные...
Он сумел создать алгебру логики, которая впоследствии получила название Булева алгебра....
Булева алгебра в информатике
Законы и аппарат алгебры логики начали использовать при создании разных
Охарактеризованы многообразия универсальных алгебр, рационально эквивалентные многообразиям алгебр над операдами над произвольными вербальными категориями.
Лейбниц выдвинул идею о построении для всей математики универсального языка, позволяющего формализовать...
Буль, как и де Морган, признал чисто абстрактную сущность алгебры....
умножением и пересечением,
между нулем и пустым классом,
между единицей и универсальным классом....
Завершился первый этап развития алгебры логики трудом Э. Шредера....
Пирса, которые ввели предикаты, кванторы и предметные переменные в язык алгебры логики.
Исследуется взаимосвязь так называемого Ihm-квазипорядка (определяющего оператор алгебраического замыкания на подмножествах прямых степеней основных множеств универсальных алгебр) с такими производными структурами этих алгебр как решетки алгебраических множеств, решетки подалгебр и полугруппы внутренних гомоморфизмов. Вводится понятие 1-алгебраически полных алгебр и доказывается, что для любой не менее чем континуальной алгебры счетной сигнатуры существует ее 1-алгебраически полное расширение той же мощности, что и сама алгебра.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
точка, в которой дивергенция положительна
знакочередующийся ряд 1 + 1/3 + 1/5 + 1/7 +…, сходящийся к π/4
