Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Булева алгебра

Индекс Булева алгебра

Булевой алгеброй называется непустое множество A с двумя бинарными операциями \land (аналог конъюнкции), \lor (аналог дизъюнкции), одной унарной операцией \lnot (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для любых a, b и c из множества A верны следующие аксиомы: \begin & a+(b+c).

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.

Новый!!: Булева алгебра и Булева функция · Узнать больше »

Битовые операции

Би́товая опера́ция в программировании — некоторые операции над цепочками битов.

Новый!!: Булева алгебра и Битовые операции · Узнать больше »

Перенаправления здесь:

Алгебра Буля, Булёва алгебра.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »