Булеве доповнення

БУЛЬОВЕ КІЛЬЦЕ - асоціативне кільце К, всі елементи до рого ідемпотентні, тобто для будь-якого. Йюбоє Б. до. комутативно і є під прямою сумою полів із двох елементів. При цьому для всіх. Кінцеве Б. до. є прямою сумою полів і тому має одиницю. Б … Математична енциклопедія

БУЛЬОВА АЛГЕБРА — булева грати, частково впорядкована безліч спеціального виду. Би. а. зв. дистрибутивні грати (дистрибутивна структура), що має найбільший елемент 1 одиницю Б. а., найменший елемент 0 нуль Б. а. і що містить разом із кожним своїм… … Математична енциклопедія

АЛГЕБРАЇЧНИХ СИСТЕМ КЛАС - клас однотипних алгебраїчних систем. Усі системи будь-якого даного типу передбачаються записаними у певній сигнатурі та зв. системами. Клас систем зв. абстрактним, якщо він містить разом з кожною своєю системою і всі ізоморфні їй... Математична енциклопедія

НЕКЛАСИЧНА ТЕОРІЯ МОДЕЛЕЙ — теорія моделей, що відрізняється від класичної тим, що або формальна мова, з якою вона має справу, відрізняється від мови першого порядку або логіка, що лежить в її основі, відмінна від класичної (двозначної). Надалі, якщо не обумовлено неприємне… Математична енциклопедія

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

---