| Attributes | Values |
|---|
| rdfs:label
| |
| rdfs:comment
| - Булевой алгеброй называется непустое множество A с двумя бинарными операциями (аналог конъюнкции), (аналог дизъюнкции), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы: Первые три аксиомы означают, что (A, , ) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
- Булева алгебра, булева решётка — частично упорядоченное множество специального вида; дистрибутивная решётка, имеющая наибольший элемент — единицу булевой алгебры, наименьший элемент — нуль булевой алгебры, и содержащая единственное дополнение каждого своего элемента — элемент , удовлетворяющий соотношениям: введена Дж. Булем (1847, 1854) как аппарат символической логики; в последствии нашла широкое применение в теории вероятностей, топологии, функциональном анализе и других разделах математики.
|
| dcterms:subject
| |
| dbkwik:ru.math/pro...iPageUsesTemplate
| |
| dbkwik:ru.science/...iPageUsesTemplate
| |
| abstract
| - Булевой алгеброй называется непустое множество A с двумя бинарными операциями (аналог конъюнкции), (аналог дизъюнкции), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы: Первые три аксиомы означают, что (A, , ) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
- Булева алгебра, булева решётка — частично упорядоченное множество специального вида; дистрибутивная решётка, имеющая наибольший элемент — единицу булевой алгебры, наименьший элемент — нуль булевой алгебры, и содержащая единственное дополнение каждого своего элемента — элемент , удовлетворяющий соотношениям: введена Дж. Булем (1847, 1854) как аппарат символической логики; в последствии нашла широкое применение в теории вероятностей, топологии, функциональном анализе и других разделах математики.
|
| is wikipage disambiguates
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)