Термин алгебра
Алгебра терминов Определение терминальной алгебры Терминальная алгебра – это алгебра, в которой все элементы являются терминами. Терминальные алгебры используются для […]
Вики
Универсальная алгебра
Вики
Редактировать
Уменьшать Определение сокращения и расширения в универсальной алгебре и теории моделей Сокращение алгебраической структуры – это исключение некоторых операций и
Вики
Псевдоэлементарный класс
Псевдоэлементарный класс Определение псевдоэлементарного класса Псевдоэлементарный класс является сокращением от элементарного класса, исключая некоторые виды и отношения. Математический аналог в
Вики
Ультрапродукт
Ультрапродуктовый продукт Определение ультрапродукта Ультрапродукт – это множество, состоящее из всех классов эквивалентности элементов в множестве. Элементы множества могут быть
Вики
Подалгебра
Подалгебра Определение подалгебры Подалгебра – это подмножество алгебры с индуцированными операциями. В универсальной алгебре подалгебра – это подмножество, замкнутое по
Вики
Графовая алгебра
Алгебра графов Определение алгебры графов Алгебра графов – это алгебра, которая придает алгебраическую структуру ориентированному графу. Она была введена Макналти
Вики
Клон (алгебра)
Клон (алгебра) Определение клона в универсальной алгебре Клон – это множество операций над множеством, содержащее все проекции и замкнутое в
Вики
Group with operators – Wikipedia
Группа с операторами Группа с операторами – это группа G вместе с действием множества Ω на G, которое распределительно по
Вики
Частное (универсальная алгебра)
Частное (универсальная алгебра) Конгруэнтность в алгебре определяет отношение эквивалентности между элементами. Фактор-алгебра алгебры по модулю E называется фактор-алгеброй. Гомоморфизм определяет
Вики
Отношение толерантности
Отношение толерантности Отношение толерантности – бинарное отношение, определяемое как отношение эквивалентности, которое допускает некоторые различия. Допуск – это отношение толерантности,
Вики
Термин алгебра
Алгебра терминов Терминальные алгебры используются для изучения свойств и операций над терминами в формальных языках. Терминальные алгебры имеют область, в
Вики
Отношение конгруэнтности
Соотношение конгруэнтности Конгруэнтность – отношение эквивалентности между элементами алгебраической структуры. Связь конгруэнтности с гомоморфизмами позволяет описать соответствие между конгруэнциями и
Вики
Ультрапродукт
Ультрапродуктовый продукт Ультрапродукты – обобщение понятия произведения множеств на ультрафильтры. Теорема Лосса утверждает, что формула первого порядка верна в ультрапродукте,
Вики
Подструктура (математика)
Подструктура (математика) Подструктура – это часть структуры с теми же сигнатурой и некоторыми ограничениями. В теории моделей термин “подмодель” часто
Вики
Подпись (логика)
Подпись (логическая) Сигнатура – набор символов, определяющий структуру математической структуры. В универсальной алгебре слово “тип” или “тип подобия” часто используется
Вики
Структура (математическая логика)
Структура (математическая логика) Индуцированные подструктуры в структурах являются подмножествами, которые удовлетворяют аксиомам структуры. Примеры индуцированных подструктур включают рациональные числа в
Вики
Оператор закрытия
Оператор закрывания Замыкание множества – это множество всех подмножеств, содержащих данное множество. Замыкание множества является топологическим тогда и только тогда,
Вики
Генератор (математика)
Генератор (математика) Термин “генератор” или “генерирующая установка” относится к различным понятиям в математике и физике. Концепция генератора включает меньший набор
Вики
Разнообразие (универсальная алгебра)
Многообразие (универсальная алгебра) Алгебраическая структура – множество объектов с определенными операциями и тождествами. Универсальная алгебра изучает множество алгебраических структур и