15 отношения: Ассоциативная операция, Алгебра логики, Алгебраическая система, Наибольший общий делитель, Наименьшее общее кратное, Роббинс, Герберт, Решётка (алгебра), Свободное от квадратов число, Тарский, Альфред, Теорема Стоуна о представлении булевых алгебр, Идемпотентность, Закон двойного отрицания, Буль, Джордж, Булева функция, Битовые операции.
Ассоциативная операция
Ассоциати́вная опера́ция — это бинарная операция \circ, обладающая ассоциативностью (associatio — соединение), или сочетательностью: Для ассоциативной операции результат вычисления x_1\circ x_2\circ\ldots\circ x_n не зависит от порядка вычисления (расстановки скобок), и потому позволяется опускать скобки в записи.
Новый!!: Булева алгебра и Ассоциативная операция · Узнать больше »
Алгебра логики
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями.
Новый!!: Булева алгебра и Алгебра логики · Узнать больше »
Алгебраическая система
Алгебраическая система в универсальной алгебре — множество G (носитель) с заданным на нём набором операций и отношений (сигнатурой).
Новый!!: Булева алгебра и Алгебраическая система · Узнать больше »
Наибольший общий делитель
Наибольшим общим делителем (НОД) для двух целых чисел m и n называется наибольший из их общих делителей.
Новый!!: Булева алгебра и Наибольший общий делитель · Узнать больше »
Наименьшее общее кратное
Наиме́ньшее о́бщее кра́тное (НОК) двух целых чисел m и n есть наименьшее натуральное число, которое делится на m и n без остатка.
Новый!!: Булева алгебра и Наименьшее общее кратное · Узнать больше »
Роббинс, Герберт
Герберт Эллис Роббинс (Herbert Ellis Robbins; 12 января 1915, Ньюкасл, Пенсильвания, США — 12 февраля 2001, Принстон, Нью-Джерси, США) — американский математик и статистик.
Новый!!: Булева алгебра и Роббинс, Герберт · Узнать больше »
Решётка (алгебра)
Решётка (ранее использовался термин структура) — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани.
Новый!!: Булева алгебра и Решётка (алгебра) · Узнать больше »
Свободное от квадратов число
В математике свободным от квадратов, или бесквадратным, называется число, которое не делится ни на один квадрат, кроме 1.
Новый!!: Булева алгебра и Свободное от квадратов число · Узнать больше »
Тарский, Альфред
Альфред Тарский (Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности.
Новый!!: Булева алгебра и Тарский, Альфред · Узнать больше »
Теорема Стоуна о представлении булевых алгебр
Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.
Новый!!: Булева алгебра и Теорема Стоуна о представлении булевых алгебр · Узнать больше »
Идемпотентность
Идемпоте́нтность — свойство объекта или операции при повторном применении операции к объекту давать тот же результат, что и при первом.
Новый!!: Булева алгебра и Идемпотентность · Узнать больше »
Закон двойного отрицания
Зако́н двойно́го отрица́ния — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно».
Новый!!: Булева алгебра и Закон двойного отрицания · Узнать больше »
Буль, Джордж
Джордж Буль (George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик.
Новый!!: Булева алгебра и Буль, Джордж · Узнать больше »
Булева функция
Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики) от n аргументов — в дискретной математике — отображение Bn → B, где B.
Новый!!: Булева алгебра и Булева функция · Узнать больше »
Битовые операции
Би́товая опера́ция в программировании — некоторые операции над цепочками битов.
Новый!!: Булева алгебра и Битовые операции · Узнать больше »