логическое значение
Любой вид логики, функции, выражения или теории, основанный на работах Джорджа Буля, считается булевым .
В связи с этим «логическое значение» может относиться к:
- Логический тип данных — форма данных, имеющая только два возможных значения (обычно «истина» и «ложь»).
- Булева алгебра , логическое исчисление истинностных значений или членства во множестве.
- Булева алгебра (структура) — набор операций, напоминающих логические.
- Логическая область — набор, состоящий ровно из двух элементов, интерпретации которых включают ложь и истину.
- Булева схема — математическая модель цифровых логических схем.
- Логическое выражение — выражение на языке программирования, которое при вычислении выдает логическое значение.
- Булева функция — функция, определяющая логические значения или операторы.
- Булева модель (теория вероятностей) — модель в стохастической геометрии.
- Булева сеть , определенная сеть, состоящая из набора логических переменных, состояние которых определяется другими переменными в сети.
- Булев процессор , 1-битный вычислительный блок с переменной величиной.
- Булево кольцо — математическое кольцо, для которого x 2 = x для каждого элемента x
- Проблема булевой выполнимости , проблема определения, существует ли интерпретация, удовлетворяющая данной булевой формуле.
- Булева теорема о простых идеалах — теорема, утверждающая, что идеалы в булевой алгебре могут быть расширены до простых идеалов.
См. также
[ редактировать ]
Эта статья включает список связанных элементов, имеющих одно и то же имя (или похожие имена).
Если внутренняя ссылка привела вас сюда по ошибке, вы можете изменить ссылку, чтобы она указывала непосредственно на нужную статью.
Если внутренняя ссылка привела вас сюда по ошибке, вы можете изменить ссылку, чтобы она указывала непосредственно на нужную статью.