Реляці́йна а́лгебра — це формальна процедурна мова запитів. В математиці, реляційна алгебра (алгебра відношень) є алгебраїчною структурою логіки першого...

математичних відношень в прикладах — реляційні системи керування базами даних, методологічно засновані на формальній алгебрі відношень. n{\displaystyle...

σ-алгебра (си́гма-а́лгебра) — алгебра множин, замкнена щодо операції зліченого об'єднання. Поняття сигма-алгебри має важливе значення для визначення мір...

Алгебра Гейтінга — ґратка, що узагальнює Булеву алгебру, названа на честь Аренда Гейтінга. Алгебри Гейтінга постають як моделі інтуіціоністської логіки...

формалізм для описання логічних відношень є аналогічним тому, як описуються числові відношення в елементарній алгебрі. Булеву алгебру запропонував Джордж Буль...

алгебраїчних методів і символіки для вивчення логічних відношень і розв'язання логічних задач. Булева алгебра — алгебраїчна структура з двома бінарними операціями:...

У математиці алгебра Лі — це векторний простір g{\displaystyle {\mathfrak {g}}} разом із операцією, яку називають дужкою Лі — антисиметричне білінійне...

Алгебра множин — розділ теорії множин, який визначає закони композиції множин, виходячи з основних властивостей операцій над ними, а також пропонує певну...

використовується. Алгебраїчна логіка почалась з вивчення Булевих алгебр Джоржем Булем та алгебри відношень Авґустусом де Морганом, була розширена Чарльзом Пірсом...

А́лгебра (від араб. الجبر‎ аль-джебр — «відновлення (розрізнених частин)») — розділ математики, що вивчає математичні операції і відношення, та утворення...

заданим на ній набором операцій та відношень, що задовільняють деякій системи аксіом. Основним завданням абстрактної алгебри є вивчення властивостей аксіоматично...