набор аксиом
Смотреть что такое "набор аксиом" в других словарях:
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… … Словарь-справочник терминов нормативно-технической документации
Аксиома — В Викисловаре есть статья «аксиома» Аксиома (др. греч … Википедия
Постулат — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… … Википедия
Постулирование — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… … Википедия
Постулят — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… … Википедия
НЕЭВКЛИДОВА ГЕОМЕТРИЯ — НЕЭВКЛИДОВА ГЕОМЕТРИЯ, самодостаточная геометрия, которая использует набор аксиом, отличных от АКСИОМ Евклидовой ГЕОМЕТРИИ, в частности, не включает постулата о параллельных прямых. Пятый постулат Евклида представляет собой утверждение, что если… … Научно-технический энциклопедический словарь
Расширение — строительство дополнительных объектов недвижимости (зданий, сооружений) или расширение существующих отдельно стоящих зданий и сооружений объектов основного, подсобного и обслуживающего назначения на раннее закрепленных земельных участках, а также … Словарь-справочник терминов нормативно-технической документации
Оценка и принятие решений (judgment and decision making) — Исслед. в области О. и п. р. можно разбить на четыре категории: поведенческие, когнитивные, организационные и системы поддержки решения. Каждая из этих категорий имеет свою собственную теорет. перспективу и методологию, применяемую при анализе… … Психологическая энциклопедия
АПРИОРИ И АПОСТЕРИОРИ — (лат. a priori из предшествующего, a posteriori из последующего) термины философии и логики. Априори независимость знания, представления от опыта. Независимость от опыта может пониматься как: 1) независимость в значимости; 2) независимость в… … Философская энциклопедия