Аллегория (математика)
Аллегория (математика) Основы аллегорий Аллегория – это структура, которая отображает отношения между объектами. Отношения могут быть тождествами, композициями, обратными и […]
Вики
Математические отношения
Вики
Сюръективная функция
Сюръективная функция Определение и свойства сюръекции Сюръекция – это функция, которая отображает каждый элемент из своего кодового домена в уникальный
Вики
Коинтерпретируемость
Взаимоинтерпретируемость Определение коинтерпретируемости Коинтерпретируемость – бинарное отношение между формальными теориями, позволяющее переводить язык одной теории на язык другой. Перевод сохраняет
Вики
Редактировать
Уменьшать Определение сокращения и расширения в универсальной алгебре и теории моделей Сокращение алгебраической структуры – это исключение некоторых операций и
Вики
Финитарное соотношение
Конечное отношение Определение и примеры отношений Отношение – это множество упорядоченных пар элементов из множества X. Отношения могут быть бинарными,
Вики
Двунаправленное преобразование
Двунаправленное преобразование Основы двунаправленных преобразований Двунаправленные преобразования (bx) позволяют одному и тому же коду выполнять разные функции в зависимости от
Вики
Алгебра отношений
Алгебра отношений Основы алгебры отношений Алгебра отношений – это алгебра, в которой отношения между элементами являются основными объектами. Отношения могут
Вики
Тернарное отношение
Троичное отношение Определение троичного отношения Троичное отношение – это конечное отношение с тремя местами. Может называться 3-адическим, 3-арным, 3-мерным или
Вики
Ипостасная абстракция
Ипостасная абстракция Определение гипостазической абстракции Гипостазическая абстракция преобразует предикат в отношение, например, “Мед сладкий” в “Мед имеет сладость”. Связь создается
Вики
Представление (математика)
Представление (математика) Представление – это отношение, которое выражает сходство между математическими объектами или структурами. Набор Y математических объектов представляет набор
Вики
Тернарное отношение эквивалентности
Троичное отношение эквивалентности Троичное отношение эквивалентности является симметричным, рефлексивным и транзитивным. Классический пример – отношение коллинеарности между тремя точками в
Вики
Состав отношений
Состав отношений Отношения в логике используются для описания связей между объектами. Отношения могут быть бинарными, т.е. связывающими два объекта. Логические
Вики
Пропозициональная функция
Пропозициональная функция В пропозициональном анализе пропозициональная функция или предикат представляет собой предложение, принимающее значение истина или ложь. Предложение может содержать
Вики
Свойство (математика)
Свойство (математика) В математике свойство – это характеристика, применимая к набору. Строгое определение свойства p определяет его как функцию p:
Вики
Биекция, инъекция и сюръекция
Биекция, инъекция и сюръекция Инъекция, сюръекция и биекция являются фундаментальными понятиями в математике. Инъекция и сюръекция связаны с отображениями множеств
Вики
Волокно (математика)
Волокно (математика) Волокна функции являются аффинными подпространствами, которые являются всеми переведенными копиями нулевого пространства функции. В топологии точечных множеств, каждое
Вики
Исключительный изоморфизм
Исключительный изоморфизм Группы Ли – фундаментальные математические объекты, описывающие симметрии физических систем. Группы Ли классифицируются по размерности и типу симметрии.
Вики
Частичная функция
Частичная функция Частичная функция – функция, определенная только на части своего кодового домена. В математике, частичные функции играют важную роль
Вики
Обратные тригонометрические функции
Обратные тригонометрические функции Тригонометрические функции являются периодическими в действительной части своих аргументов. Каждая тригонометрическая функция имеет свой период и проходит
Вики
Финитарные отношения
Конечное отношение Отношение – это математическая структура, связывающая элементы множества. Отношения могут быть определены как подмножества декартова произведения множеств. Реляционная