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