Начала современного естествознания - булева алгебра
Связанные словари
Булева алгебра
булева алгебра
алгебра, в которой каждая переменная может принимать одно из двух значений: «истина» или «ложь». Операции над переменными в булевой алгебре называются логическими операциями. Правила выполнения логических операций удобны для преобразования логических схем, в связи с чем она находит широкое применение в компьютерной технике и технологиях.Начала современного естествознания. Тезаурус. — Ростов-на-Дону
В.Н. Савченко, В.П. Смагин
2006
.
Рейтинг статьи:
См. в других словарях
1.
булева решетк а,частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 единицу Б. а., наименьший элемент 0 нуль Б. а. и содержащая вместе с каждым своим элементом хего дополнение элемент , удовлетворяющий соотношениям Операции обозначаются обычно знаками и , а иногда , чем подчеркивается их сходство с теоретико-множественными операциями объединения и пересечения. Вместо иногда пишут Дополнение всякого элемента в Б. а. единственно. Б. а. может определяться и иначе, а именно, как непустое множество с операциями удовлетворяющими аксиомам: При таком подходе упорядочение не предполагается заранее заданным, а вводится условием: тогда и только тогда, когда . Возможны и другие аксиоматики. В аксиомах Б. а. отражена аналогия между понятиями "множества", "события", "высказывания". Отношение порядка в Б. а. может быть (в зависимости от выбора интерпретации) истолковано как теоретико-множественное включение, как причинное следование для событий, как логич. следование для высказываний и т. д. Кроме основных операций в Б. а. могут быть...Математическая энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 372 | |
2 | 332 | |
3 | 331 | |
4 | 330 | |
5 | 329 | |
6 | 321 | |
7 | 311 | |
8 | 311 | |
9 | 311 | |
10 | 310 | |
11 | 308 | |
12 | 303 | |
13 | 301 | |
14 | 297 | |
15 | 297 | |
16 | 294 | |
17 | 277 | |
18 | 272 | |
19 | 272 | |
20 | 269 |