Введенное отношение

Cтраница 2

Зависимость формпараметра Нв бз / бг от формпараметра Hi8 61 / 6. [ По И. Ротте [ 4в ] и К. Вигхардту. [16]

Если предположить, что профили скоростей представляют собой однопара-метрическое семейство, то между отношением б3 / б2 Н32 и ранее введенным отношением Hi2 8 82 должна существовать однозначная связь. Эта связь в том виде, в каком она определяется из измерений И. [17]

В пункте 1.1.1 были определены произведения слов и обратные слова. Введенное отношение является отношением эквивалентности; классы эквивалентности с операцией умножения, индуцированной произведением слов, и образуют требуемую группу. [18]

Так, например, наборы ( 0, 1) и ( 1 0) невозможно сравнить относительно этого отношения. Именно поэтому введенное отношение является частичным. [19]

Данное отношение является отношением эквивалентности, так как свойства 1 - 3 выполняются для колинеарных векторов. Множество векторов под действием введенного отношения разбивается на классы эквивалентности колинеарных векторов. [20]

В программе Т предполагается, что с входной ленты поступает правильная информация. Например, если в одном из введенных отношений показалось отрицательным, то программа Т может при записи в X [ k ] ошибочно изменить одну из своих команд. [21]

При заданной главной переменной системы выделяются подзапросы и определяются сильно связанные компоненты, а также частичный порядок на подкомпонентах ( разд. Затем каждая подсистема рассматривается независимо в соответствии с введенным отношением порядка. Для каждой подсистемы редуцируются переменные и константы. Новые уравнения решаются до решения исходной системы. [22]

Определим на множестве вершин X бинарное - отношение. Для хъ х2 е отношение - будет выполняться, т.е. xl - х2, если эти вершины связанные. Введенное отношение является отношением эквивалентности. [23]

Из сказанного следует, что без ограничения общности можно исключить из рассмотрения продукции двух рассмотренных типов. С указанным исключением любая продукция может быть получена обобщением фактов. Таким образом, введенное отношение общее - частное обладает свойством полноты. [24]

Различаются внешние ( относящиеся к конструкциям программы) и внутренние ( относящиеся к данным, в том числе к процедурам и именам) объекты. Аксиоматически вводятся отношения между внешними ( Е) и внутренними ( /) объектами, напр. Выполнение программы описывается в терминах введенных отношений как функция разбора программы. [25]

Определим на S бинарное - отношение. Будем считать, что для треугольников Да, Дб Е S выполняется отношение & а - Дб, если они подобные. Ясно, данное отношение является отношением эквивалентности, так как свойства 1 - 3 выполняются для подобных треугольников. Введенное отношение разбивает множество треугольников на классы эквивалентности подобных треугольников. [26]

В первом случае можно показать, что множества А и В эквивалентны Что же касается другого случая, то он на самом деле невозможен. Это можно вывести из теоремы Цермело. Таким образом, для любых двух множеств Л и В их мощности сравнимы. Так введенное отношение порядка удовлетворяет свойствам 1) - - 3) п 3 Счетная мощность является наименьшей бесконечной мощностью. Вопрос о том, является ли мощность континуума следующей за ней или между ними есть промежуточные ( так называемая континуум-гипотеза) долго не поддавался решению. Недавно было доказано, что утверждение об отсутствии промежуточной мощности не противоречит остальным аксиомам теории множеств и не может быть выведено из этих аксиом. [27]

По сложившейся в отечественной литературе традиции в функциональных построениях булевы функции принято рассматривать с точностью до несущественных переменных. Это означает, что наряду с произвольной булевой функцией / считаются также заданными все функции, которые отличаются от / только несущественными переменными. В связи с этим будем называть функции /, g равными и писать / д, если одна из функций /, g получается из другой добавлением и ( или) изъятием фиктивных переменных. Подчеркнем, что введенное отношение равенства функций отличается от отношения равенства между функциями, рассматриваемыми как отображения: первое отношение существенно шире второго, поскольку каждая булева функция порождает счетное число равных ей функций. [28]

Искомое упорядочение проблем трактуется как последовательность иерархических уровней, которая наглядно отображается в виде связного графа без контуров. После этого необходимо повторить процедуру упорядочения. Так возникает итеративный процесс, в результате которого и определяется искомая структура. Эти слои характеризуются тем, что все проблемы данного слоя не имеют причин в следующем слое; порядок проблем внутри одного и того же слоя безразличен, так как они несравнимы между собой по введенному отношению. Смысл операции транзитивного замыкания здесь заключается в том, что производится элементарный логический анализ всей совокупности проблем на основе, скажем, неполного выявления экспертами всех пар проблем, принадлежащих заданному бинарному отношению. Такой анализ позволяет, с одной стороны, уменьшить число попарно сравниваемых проблем, а с другой - выявить некоторые ошибки, допущенные при проведении парных сравнений. [29]

Страницы: 1 2