частично упорядоченный
1частично упорядоченный — частично упорядоченный …
2частично упорядоченный — част ично упор ядоченный …
4частично упорядоченный — части/чно упоря/доченный …
5УПОРЯДОЧЕННЫЙ ГРУППОИД — группоид Н, множество элементов к рого частично упорядочено отношением и, кроме того, операция и порядок связаны аксиомой Если У . г . Н подчиняется более сильной аксиоме то порядок в H наз. строгим, а Н строгим частично упорядоченным группоидом …
6Частично рекурсивная функция — Термин рекурсивные функции в теории вычислимости используют для обозначения трёх множеств функций примитивно рекурсивные функции; общерекурсивные функции; частично рекурсивные функции. Последние совпадают с множеством вычислимых по Тьюрингу… …
7ЕСТЕСТВЕННО УПОРЯДОЧЕННЫЙ ГРУППОИД — частично упорядоченный группоид Н, в к ром все элементы положительны (т. е. и для любых а, и больший из двух элементов всегда делится (и справа и слева) на меньший, т. е. из а<b следует ах=уа=b для некоторых х, Положительный конус любой… …
8Упорядоченные и частично упорядоченные множества — (математичексие) множества, в которых каким либо способом установлен порядок следования их элементов или, соответственно, частичный порядок. Понятия порядка и частичного порядка следования элементов определяются следующим образом. Говорят …
9ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь — Терминология ГОСТ Р 54136 2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа: 4.1 абстрактная деталь (abstract part): Деталь, которая определена только своей… …
Словарь-справочник терминов нормативно-технической документации
10бизнес-процесс — 3.4.2. бизнес процесс ; БП: Совокупность последовательно или/и параллельно выполняемых операций, преобразующая материальный или/и информационный потоки в соответствующие потоки с другими свойствами. БП протекает в соответствии с управляющими… …
Словарь-справочник терминов нормативно-технической документации
