|
|
|
ГОСТ Р ИСО 10303-54-2011
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств
: действующий
: 05.10.2012
: 01.08.2012
: 06.04.2015
: 06.04.2015
: 16.01.2015
: 01.01.1970
 ГОСТ Р ИСО 10303-54-2011
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств
Настоящий стандарт определяет конструкции обобщенных ресурсов для классификации и теории множеств. В область применения настоящего стандарта входит представление: - существования класса или множества; - различия между классом или множеством, заданным с помощью абстрактных свойств, которыми обладают его элементы и классом или множеством, заданным перечислением его элементов; - отношения классификации между классом или множеством и элементом класса или множества; - полного перечисления элементов класса или множества; - теоретико-множественных отношений между классами или множествами; - следующих теоретико-множественных отношений: - дополнения; - эквивалентности; - пересечения; - мощности множества; - строгого подмножества; - подмножества; - объединения. В область применения настоящего стандарта не входит: - отображения между множествами или классами; - отношения, которые не являются теоретико-множественными отношениями или отношениями классификации; - сущности и отношения, свойственные только для непрерывных множеств
|
