Cтраница 2
Для этой части теоремы не требуется выполнения свойства единственности решений. [16]
Для множеств с заданными на них операциями проверять выполнение свойств группы бывает довольно тяжело. Если множество конечно, для faKon проверки можно воспользоваться так называемой таблицей умножения группы. Эту таблицу составляют подобно таблице умножения целых чисел. [17]
Для множеств с заданными на них операциями проверять выполнение свойств группы бывает довольно трудно. Если множество конечно, для такой проверки можно воспользоваться так называемой таблицей умно-жения группы. Эту таблицу составляют подобно таблице умножения целых чисел. [18]
Таким образом метод, основанный на резолюции, всегда гарантирует выполнение свойства фундаментальности. Фундаментальность уже реализует стратегию для определения подходящего уровня специфичности множества объяснения, которая называется наиболее специфичной абдукцией. Объяснения, удовлетворяющие свойствам непротиворечивости, минимальности и нетривиальности, реализуют принцип лезвия Оккама, если он интерпретируется синтаксически. Однако множество интересующих гипотез, отобранных таким образом, может быть снова слишком велико, и обычно требуется дополнительный отбор для того, чтобы получать гипотезы определенного уровня специфичности. Аппельт и Поллок рассматривают два вида критериев: глобальные критерии и локальные критерии. [19]
Наш первый шаг по направлению к отысканию достаточных условий для выполнения свойства Кенига состоит в обобщении понятия 2-раскрашиваемости графа. Первое из вводимых нами определений не выполняет в точности эту функцию, но послужит мотивацией последующего более успешного подхода. [20]
Ниже будем исходить из предположения об удовлетворении уравнения ( 1) условию выполнения обобщенного свойства фильтра [1], что позволяет в первом приближении принять переменную х, также распределенную по нормальному закону. [21]
Заметим, что вторая операция применяется только к расширенным программам и требуется для выполнения свойства когерентности. По определению, результирующая программа неотрицательная. [22]
Мы уже знаем, что и условие соединения, и условие сохранения информации требуют выполнения свойства PR. Поэтому если в качестве определения адекватности представления выбирать любое из этих условий, то для адекватных схем баз данных эквивалентность по данным - это то же самое, что и обычная эквивалентность. [23]
Будем предполагать, что носитель у всех мер Рв, 0е0, общий, а от плотностей / ( х; 0) потребуем выполнение свойств регулярности, которые мы не будем перечислять, но которые обеспечивают обоснованность проводимых ниже - выкладок. [24]
При подобной постановке задачи, когда все ограничения линейны, симплексный алгоритм с двусторонними ограничениями на переменные также может быть модифицирован с учетом правила ограниченного ввода в базис, обусловливающего обязательное выполнение свойства весов смежных точек. На любой итерации yk l может быть введено в решение только в том случае, если у входит в базис, причем с максимально допустимым значением, равным X i - Х; Уь может быть исключена из базиса, только если y i не входит в базис и имеет нулевое значение. [25]
Условие поточечной мажорируемое в замечании 17.1 имеет точный характер ( не унитарно инвариантный, а подходящий к структуре меры рассматриваемого пространства); приятно сознавать, что это условие не только необходимо для выполнения свойства Карлемана, но и достаточно. [26]
Таким образом, рандомизация тестовым сигналом ( 7) приводит к осцилляции траекторий системы ( 1), ( 2) относительно траекторий системы сравнения неограниченной амплитуды, исключая, в частности, выполнение свойства диссипа-тивности системы ( 1), ( 2) с вероятностью единица. [27]
Так, при аксиоматизации геометрии обычно считается, что понятия точки, прямой и плоскости не следует априори отождествлять с какими-либо интуитивными представлениями - они являются лишь обозначениями объектов, относительно которых предполагается только выполнение свойств, выражаемых аксиомами. [28]
Выполнения свойства ( 5) достаточно) для доказательства конечности. Однако-само по себе свойство ( 5) еще не обеспечивает конструктивного способа получения допустимых правил выбора производящей строки. С помощью теоремы 17.1, изложенной ниже, и некоторых дополнительных рассуждений будет получен такой способ, позволяющий сформулировать допустимые правила. [29]
Если последнее множество многосвязно, то последовательно перебираем каждую из компонент связности. В силу выполнения свойства монотонности, применяя теорию систем сравнения, немонотонная зависимость траектории от параметра б исключается. [30]