Формальная математика журнала · LibMeta · SciLib

⊢ Сохранённый запрос

Формальная математика журнала

Теоремы, определения, следствия и примеры (разметка полных текстов), в тексте которых упоминаются понятия тезаурусов, — «журнал содержит формальные утверждения о понятии X».

Клик по узлу — переход к объекту и его локальному контексту. Наведение — определение или аннотация из графа.

Результаты запроса

Тип утвержденияПонятиеТекстСтатья
определение Механизм комплексного оценивания Определение. Матричный механизм комплексного оценивания (ММКО) задаётся кортежем ( 0): 〈 〉 (0) где – граф, определяющий последовательность агрегирования (свёртки) частных факторов в комплексную оценк… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение integrated rating mechanism Определение. Матричный механизм комплексного оценивания (ММКО) задаётся кортежем ( 0): 〈 〉 (0) где – граф, определяющий последовательность агрегирования (свёртки) частных факторов в комплексную оценк… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение Нечеткая переменная Определение. Матричный механизм нечёткого комплексного оценивания (ММНКО) задаётся кортежем (0): 〈 〉, (0) где, в отличие от кортежа (0), дополнительно определяется – подход к теоретико -множественным… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение fuzzy variable Определение. Матричный механизм нечёткого комплексного оценивания (ММНКО) задаётся кортежем (0): 〈 〉, (0) где, в отличие от кортежа (0), дополнительно определяется – подход к теоретико -множественным… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение Механизм комплексного оценивания Определение. Непрерывный матричный механизм комплексного оценивания (НММКО) задаётся кортежем (0): 〈 〉, (0) где вместо подхода к теоретико -множественным операциям над нечёткими множествами и функции… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение integrated rating mechanism Определение. Непрерывный матричный механизм комплексного оценивания (НММКО) задаётся кортежем (0): 〈 〉, (0) где вместо подхода к теоретико -множественным операциям над нечёткими множествами и функции… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение Нечеткое множество Определение. Непрерывный матричный механизм комплексного оценивания (НММКО) задаётся кортежем (0): 〈 〉, (0) где вместо подхода к теоретико -множественным операциям над нечёткими множествами и функции… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
определение fuzzy set Определение. Непрерывный матричный механизм комплексного оценивания (НММКО) задаётся кортежем (0): 〈 〉, (0) где вместо подхода к теоретико -множественным операциям над нечёткими множествами и функции… КЛАССИФИКАЦИЯ МЕХАНИЗМОВ КОМПЛЕКСНОГО ОЦЕНИВАНИЯ СЛОЖНЫХ ОБЪЕКТОВ
Показать SPARQL
SELECT (STRAFTER(STR(?cls), "#") AS ?kind) ?label ?text ?title WHERE {
  VALUES ?cls { moc:Theorem moc:Definition moc:Claim moc:Corollary moc:Example }
  ?st a ?cls ; moc:mentionsConcept ?c ; moc:segmentOf ?p ; moc:hasRawText ?text .
  ?c skos:prefLabel ?label . ?p dcterms:title ?title .
} LIMIT 40