Булева алгебра
Булева алгебра Основы булевой алгебры Булева алгебра — это алгебра, в которой операции выполняются над двумя значениями: 0 и 1. […]
Вики
Алгебраическая логика
Вики
Булева алгебра
Булева алгебра Основы булевой алгебры Булева алгебра — это алгебра, в которой операции выполняются над двумя значениями: 0 и 1.
Вики
Алгебра отношений
Алгебра отношений Основы алгебры отношений Алгебра отношений — это алгебра, в которой отношения между элементами являются основными объектами. Отношения могут
Вики
Многомерная алгебра
Многомерная алгебра Основы многомерной алгебры Многомерная алгебра изучает категоризированные структуры в теории высших категорий. Она применяется в неабелевой алгебраической топологии
Вики
Алгебра Клини
Алгебра Клини Определение и свойства алгебры Клини Алгебра Клини — это алгебра с операциями сложения, умножения и операции «звезда Клини».
Вики
Каноническая нормальная форма
Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме (CDNF), minterm или сумме
Вики
Алгебра Гейтинга
Алгебра Хейтинга Алгебры Хейтинга — это полные решетки с операциями ∧, ∨, ¬, → и константами 0 и 1. Логический
Вики
Состав отношений
Состав отношений Отношения в логике используются для описания связей между объектами. Отношения могут быть бинарными, т.е. связывающими два объекта. Логические
Вики
Алгебраическая логика
Алгебраическая логика Алгебраическая логика — старейший подход к формальной логике, основанный на теории множеств. Лейбниц, возможно, начал подход к алгебраической
Вики
Алгебра многомерных измерений
Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий. Концепция многомерных категорий включает 2-ю категорию