РАГС - РОССИЙСКИЙ АРХИВ ГОСУДАРСТВЕННЫХ СТАНДАРТОВ, а также строительных норм и правил (СНиП)
и образцов юридических документов
Произвольная ссылка:
ГОСТ Р ИСО 10303-54-2011
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств
Обозначение:
ГОСТ Р ИСО 10303-54-2011
Статус:
действующий
Тип:
ГОСТ Р ИСО
Название русское:
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств
Название английское:
Industrial automation systems and integration. Product data representation and exchange. Part 54. Integrated generic resources. Classification and set theory
Дата актуализации текста:
06.04.2015
Дата актуализации описания:
01.07.2023
Дата регистрации:
00.00.0000
Дата издания:
06.04.2020
Дата введения в действие:
01.08.2012
Область и условия применения:
Настоящий стандарт определяет конструкции обобщенных ресурсов для классификации и теории множеств. В область применения настоящего стандарта входит представление: - существования класса или множества; - различия между классом или множеством, заданным с помощью абстрактных свойств, которыми обладают его элементы и классом или множеством, заданным перечислением его элементов; - отношения классификации между классом или множеством и элементом класса или множества; - полного перечисления элементов класса или множества; - теоретико-множественных отношений между классами или множествами; - следующих теоретико-множественных отношений: - дополнения; - эквивалентности; - пересечения; - мощности множества; - строгого подмножества; - подмножества; - объединения