Cтраница 4
Условие ( we) звучит подобно первоначальному определению слабой ( т, п) - дистрибутив-ности, но является более простым, так как дополнительно не постулируется существование бесконечных объединений и пересечений. [46]
Умножение обычно вводится путем незначительной модификации первоначального определения этого действия. [47]
Создание объекта Command возможно и без первоначального определения объекта Connection. В этом случае его свойству необходимо задать значение Active Connection, определяющее строку подключения. Несмотря на то что объект Connection будет все же создан, здесь не будет определена ссылающаяся на него переменная. [48]
Хотя большинство измерений, проводимых для первоначального определения характеристик чистого помещения и при испытаниях для подтверждения соответствия классу чистоты, идентичны тестам, проводимым при мониторинге, следует отметить, что измерения при вводе чистого помещения в эксплуатацию более скрупулезные и полные. [49]
Порядок расчета себестоимости детали сводится к первоначальному определению группы сложности детали с помощью классификационных таблиц. Для укрупненных расчетов используются таблицы, в которых учитывается влияние основных факторов на себестоимость 1 кг веса детали. [50]
Мы можем надеяться сохранить ( при первоначальном определении алгебраической линии) теорему единственности в несколько ослабленном виде, заметив, что во всех указанных выше контрпримерах многочлены f ( x, z /) 0 и g ( x, у) 0, определяющие одну и ту же алгебраическую линию, имеют различные степени. [51]
Чтобы получить доказательство, исходя непосредственно из первоначального определения, допустим, что одна из формул А и - i А доказуема. Тогда, по теореме, эта формула будет тождественно истинной; с помощью таблицы для - i убеждаемся в том, что другая формула будет тождественно ложной, следовательно, не тождественно истинной и, значит, по теореме, недоказуемой. [52]