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

Вики

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

/

Булева алгебра Основы булевой алгебры Булева алгебра — это алгебра, в которой операции выполняются над двумя значениями: 0 и 1.  […]

Вики

Поле наборов

/

Поле множеств Основы теории множеств Теория множеств — это раздел математики, изучающий множества и операции над ними.  Множество — это

Вики

Внутренняя алгебра

/

Внутренняя алгебра Основы внутренней алгебры Внутренняя алгебра — это алгебра, в которой каждый элемент имеет обратный, и она удовлетворяет аксиомам

Вики

Модальная алгебра

/

Модальная алгебра Определение модальной алгебры Модальная алгебра — это алгебра с операциями ∧, ∨, −, 0, 1, и ◻.  Булева

Вики

Законы де Моргана

/

Законы Де Моргана Основы логики высказываний Логика высказываний — это раздел логики, изучающий высказывания и их отношения.  Высказывания могут быть

Вики

Логическое выражение

/

Логическое выражение Определение логического выражения Логическое выражение в информатике возвращает логическое значение.  Логическое значение может быть истинным или ложным.  Структура

Вики

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

/

Булева алгебра Основы булевой алгебры Булева алгебра — это алгебра, в которой операции выполняются над двумя значениями: 0 и 1. 

Вики

Общая рабочая характеристика

/

Общая эксплуатационная характеристика Основы кривой оглавления (TOC) TOC используется для оценки диагностической способности классификатора.  Кривая TOC показывает соотношение между количеством

Вики

Корреляционный иммунитет

/

Корреляционный иммунитет Определение корреляционной устойчивости Корреляционная устойчивость булевой функции измеряет степень независимости выходных данных от подмножества входных данных.  Функция считается

Вики

Булево дифференциальное исчисление

/

Булево дифференциальное исчисление Основы булева дифференциального исчисления Булево дифференциальное исчисление (BDC) — это область булевой алгебры, изучающая изменения булевых переменных

Вики

Логическая оптимизация

/

Логическая оптимизация Основы логической оптимизации Логическая оптимизация — это процесс поиска эквивалентного представления логической схемы с ограничениями.  Оптимизация является частью

Вики

Поле наборов

/

Поле множеств Основы теории множеств Теория множеств — это раздел математики, изучающий множества и операции над ними.  Множество — это

Вики

Медианная алгебра

/

Медианная алгебра Определение медианной алгебры Медианная алгебра — это алгебра с операцией, удовлетворяющей аксиомам медианной операции.  Аксиомы включают коммутативность, ассоциативность

Вики

Полная булева алгебра

/

Полная булева алгебра Определение и свойства булевых алгебр Булева алгебра — это алгебра с двумя операциями: конъюнкция (∧) и дизъюнкция

Вики

Логическая модель

/

Логически значимая модель Основы булевозначных моделей Булевозначные модели — это модели теории множеств, в которых значения истинности формул представлены булевыми

Вики

Алгебра отношений

/

Алгебра отношений Основы алгебры отношений Алгебра отношений — это алгебра, в которой отношения между элементами являются основными объектами.  Отношения могут

Вики

Проблема логической выполнимости

/

Проблема логической выполнимости Проблема логической выполнимости (SAT) — определение, существует ли интерпретация, удовлетворяющая данной логической формуле.  SAT — первая NP-полная

Вики

Джордж Буль

/

Джордж Буль Джордж Буль — английский математик и логик, основатель математической логики и теории вероятностей.  Он разработал алгебру логики, которая

Вики

Логический тип данных

/

Логический тип данных Boolean — тип данных, имеющий два возможных значения (true и false) для представления истинности в логике и

Прокрутить вверх