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

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

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

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

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

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

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

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

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

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

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

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

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

Універсальна алгебра (універсальна алгебра заданої сигнатури) — це множина, що називається носієм алгебри, з набором n-арних алгебраїчних операцій, що...

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

Проєкція в реляційній алгебрі — унарна операція, що дозволяє отримати «вертикальну» підмножину даного відношення, або таблиці, тобто таку підмножину, яка...

Конгруенція — відношення еквівалентності на алгебричній структурі, що зберігається за основних операцій. Поняття відіграє важливу роль в універсальній алгебрі: будь-яка...

допустимих значень даного атрибуту. Кілька атрибутів одних відношень і навіть атрибути різних відношень можуть бути визначені на одному і тому ж домені. Іменована...

Алгебра алгоритмів — вивчає властивості алгоритмів, виникла в 80-х роках 20 століття. При цьому формальні моделі були запропоновані для первісного поняття...

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

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

C,\rho )} — набір множин: R {\displaystyle R} — множина символів для відношень (предикатів), F {\displaystyle F} — множина функціональних символів, C...

інфімум. «Ґратко-подібними» структурами є напівґратки, ґратки, булеві алгебри, алгебри Гейтінга. Всіх їх можна визначити і як алгебраїчні структури, тому...

універсальній алгебрі, це результат розбиття множини елементів алгебричної структури відношенням конгруенції. Конгруенція — відношення еквівалентності...

Вкладення Універсальна алгебра Розширення поля Бурбаки Н. Алгебра ч.1 Алгебраические структуры. Линейная и полилинейная алгебра. — М. : ГИФМЛ, 1962. —...

Универсальная алгебра. — Москва : Мир, 1968. — 351 с.(рос.) Курош А. Г. Общая алгебра. — М. : Мир, 1970. — 162 с.(рос.) Ленг С. Алгебра. — Москва : Мир...

(заперечення). Особливо часто використовуються у алгебрі множин і алгебрі логіки, що є прикладами булевої алгебри. Названі на честь британського математика і...

яка дорівнює цьому числу. Квадратична функція Квадратична форма Куб (алгебра) Функція суми квадратів Степень // Большая советская энциклопедия : в 30 т...

цей факт записується як X ⊂ Y. Відношення «бути підмножиною» має назву включення. Існують дві системи позначень відношень включення: старіша система використовує...

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

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