Cтраница 3
Правила выражаются обычно в следующих терминах. [31]
Правила - изменения состава учредителей предприятия. [32]
Правила эти по своей природе являются определениями, и их скорее нужно понимать, нежели доказывать. [33]
Правила, определяющие дисциплину сотрудников, должны закреплять и гарантировать достижения производства, но одновременно допускать новаторские действия, рациональное экспериментирование, самоконтроль. [34]
Правила ( V) и ( - 3) получили в логике название минус-правил, а перестройка выводов, приводящая к устранению бесконечного перебора значений t - название минус-нормализации. [35]
Правила могут также выражать ограничения целостности. [36]
Правила и размеры оплаты утверждаются руководителем консультационной фирмы и не подлежат изменению. Выбирается размер оплаты с учетом наличия ноу-хау, имеющегося опыта у консультантов, режима работы, конкурентных фирм-консультантов. Согласование цены за работу в целом консультантом и клиентом осуществляется через выбор длительности отдельных этапов работ. Средняя фирма в ФРГ, имеющая 15 консультантов, выполняет объем работ на 4 - 5 млн. марок в год. [37]
Правила в языке Пролог являются мощным средством для определения и использования отношений, полученных путем логического вывода ( также называемых взглядами. Примеры приведены в следующем разделе. [38]
Правила, тело которых состоит из одного отрицательного литерала. [39]
Правила, определяющие наложение при записи посланных процессором данных на значения latch - регистров, определяются установленным режимом записи, и, соответственно, режим чтения задает способ, которым определяется значение, прочитанное процессором. [40]
Правила, показывающие, какие действия нужно произвести над уравнением движения САР, чтобы определить, не решая уравнений, устойчива она или нет, называются критериями устойчивости. [41]
Правила и нормы по технике безопасности и производственной санитарии подразделяются на общие и отраслевые. Общие правила по охране труда, технике безопасности и производственной санитарии обязательны для всех предприятий и учреждений независимо от их ведомственной принадлежности. Общие правила по охране труда и технике безопасности утверждаются ВЦСПС с разрешения Совета Министров СССР. [42]
Правила ( 120) и ( 121) показывают возможность изменения порядка применения одноименных кванторов. Для разноименных кванторов подобное обстоятельство уже не имеет места, поскольку соотношение - Vx3yP ( x y) Э 3yVxP ( x y), двойственное соотношению ( 123), в общем случае уже не имеет места в исчислении предикатов. [43]
Правила 1 и 2 основного алгоритма синтеза конечных автоматов представляют собою не что иное, как правила написания некоторого комплекса К регулярных выражений для заданного множества регулярных событий. Таким образом, в комплексе К0 не проведено никакого отождествления мест, за исключением предусмотренного в определении всякого комплекса отождествления начальных мест входящих в комплекс выражений. [44]
Правила де Моргана ( 8) и ( 9) также поддаются обоб щению с помощью применения математической индукции В результате такого обобщения мы придем к следующему предложению. [45]