Boolean algebra

Вики

Монадическая булева алгебра

/

Монадическая булева алгебра Определение монадической булевой алгебры Монадическая булева алгебра — это алгебраическая структура A с сигнатурой ⟨A, ·, +, […]

Вики

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

/

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

Вики

Поле наборов

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Исчисление высказываний

/

Логическое исчисление Определение логики высказываний Логика высказываний – это раздел логики, изучающий высказывания, которые могут быть истинными или ложными.  Высказывания

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Поле наборов

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Логический алфавит

/

Логический алфавит Основы логического алфавита Логический алфавит, разработанный Ши Зеллвегером, представляет 16 двоичных функций истинности.  Он направлен на создание более

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