Два - правило
Cтраница 2
Если два правила в своей основе опираются на один и тот же фактор, то второе правило, будучи само по себе весьма продуктивным, не внесет новой информации и система воздержится от рекомендации о включении его в используемую совокупность правил. [16]
Отметим два правила, вытекающие из приведенных выше основных правил для квантора общности: во-первых, разрешается ( с помощью правила Ш и закона упрощения) ставить квантор общности перед истинным выражением, связывая встречающиеся в нем свободные переменные; во-вторых, разрешается ( с помощью правила Ш и закона тождества для предложений) опускать квантор общности, стоящий перед истинным выражением. [17]
Эти два правила реализуют компоненты эквивалентности (9.3), приведенные выше. Мы используем sel и intersect как конструкторы записей, чтобы создать дерево, сравнение с которым должно осуществляться для некоторого подвыражения в запросе. Во втором правиле цель equal используется для проверки того, обозначают ли выражения R1 и R2 одно и то же отношение. Например, может оказаться, что R1 есть А В, a R2 есть В А, и тогда нет смысла подставлять эти выражения на место друг друга по только что указанной причине. [18]
Эти два правила хорошо объясняют записи по счетам источников собственных средств и не могут объяснить записи по счетам расчетов. [19]
Существуют два правила по представлению некоторого понятия в фокусном пространстве. Во-первых, если некоторое понятие находится в фокусном пространстве, то информация о типе данного понятия также должна находиться в фокусе. К информации о типе понятия относятся сведения об аспекте фокусирования и ссылка на дополнительные сведения о понятии. С точки зрения используемого сетевого представления это означает, что если понятие находится в фокусе, то исходящие из него дуги элемент ( э) или подмножество ( п) также находятся в фокусе. Во-вторых, если дуга понятия в некоторой ситуации ( например, кнопки есть тема события обмен) находится в фокусе, то и сама ситуация ( событие обмен) должна находиться в фокусе. [20]
Эти два правила опираются на некоторые факты ( относящиеся к нашей конкретной схеме), а именно что лампа. [21]
Эти два правила можно объединить в одно: коэффициентом для одного основного участника окислительно-восстановительной реакции является величина изменения степени окисления второго основного участника реакции. [22]
Приведем также два правила, по которым можно быстро определить, в каком соотношении нужно смешивать I и II, чтобы получить III. Правила настолько просты, что не требуют объяснений. [23]
Сначала навешивают два правила ( рис. 56, б) как на одной, так и на другой стороне балки. С этих правил вытягивают только две боковые стороны. Затем закрепляют на вытянутых тягах еще два правила и вытягивают низ балки. Таким образом, для вытягивания тяг на всей балке приходится навешивать шесть правил и изготовлять два шаблона. [24]
Приведем также два правила, по которым можно быстро определить, в каком соотношении нужно смешивать I и II, чтобы получить III. Правила настолько просты, что не требуют объяснений. [25]
Изложенные здесь два правила - одно для вычисления теплового потока, другое для вычисления температуры - будут в дальнейшем нами использованы для других случаев теплообмена. [26]
 |
Типовая структура АСР. [27] |
Рассмотрим еще два правила, необходимые для структурных преобразований. На рис. 1.37, а и б показаны два случая перемещения точки приложения. [28]
Имеется также два правила вывода. [29]
Машина использует только два правила - продолжал Мак-Каллох. [30]
Страницы: 1 2 3 4