Cтраница 3
Параметрами макровызова могут быть любые выражения, но только понятные ассемблеру. [31]
Аналогично могут быть введены любые выражения, предназначенные для получения численного или символьного результата. [32]
Тест определяет решение как любое выражение вида Х Е, такое что AE B CE D. [33]
Охранное выражение - это любое выражение логического типа, аргументами которого являются сигналы. Любое изменение сигналов, входящих в охранное выражение, вызывает вычисление значения этого выражения и присвоение полученного значения предопределенной переменной quard. Область действия переменной quard - все тело блока, и она может использоваться как обычная логическая переменная во вложенных операторах блока. [34]
С помощью такой матрицы любое выражение классического исчисления предложений, то есть С - N - р-ис-числения, может быть механически верифицировано, то есть доказано, когда оно принимается, и опровергнуто, когда оно отбрасывается. Для этой цели достаточно подставить значения 1 и 0 во все возможные комбинации из переменных, и если каждая комбинация сводится согласно равенствам, сформулированным в матрице, в конечном счете к У, то выражение доказано, если же нет, то оно опровергнуто. [35]
Следовательно, при вычислении любого выражения наименьший номер переменной всегда равен нулю, что соответствует связанной переменной, а номера остальных переменных увеличиваются вплоть до максимального значения, являющегося текущим уровнем вложенности редуцируемого К-тела. Контекст, который связывает значение с каждой свободной переменной, таким образом, реализуется как простой список, голова которого находится справа. [36]
Кроме того, приравняем нулю любое выражение, получающееся из выражений 1), 2), и 3) сложением и умножением на число. [37]
Кроме того, является ли любое выражение языка либо теоремой, либо ее отрицанием. [38]
В качестве условного выражения допустимо любое выражение Си, результатом которого может быть true. Величина, с которой сравнивается переменная цикла, может быть константой, как в вышеприведенных примерах, переменной или возвращаемым значением функции. [39]
Символ может использоваться для обозначения любого выражения. Тем самым, если у нас есть символ, заранее неизвестно, какие выражения он может обозначать. Эта произвольность относится только к символам; позиции для символов и их взаимоотношения определяют, какой объект обозначается сложным выражением. Для каждого процесса, который может быть осуществлен машиной, существует по крайней мере одно выражение, обозначающее этот процесс. Существуют процессы для создания любого выражения и для модификации любого выражения произвольным образом. Число выражений, которые система может хранить и использовать, по существу неограниченно. [40]
При тяговых расчетах можно пользоваться любым выражением силы тяги - индикаторной, касательной и силой тяги на сцепке, необходимо только соответствующим образом определить действующие на локомотив силы сопротивления. [41]
Эта постоянная неизменно присутствует в любом выражении квантовой теории. Она является как бы фабричным клеймом результатов этой новой теории. Этот предельный процесс служит частной проверкой квантовых результатов. [42]
К обеим частям уравнения можно прибавить любое выражение, имеющее смысл при всех допустимых значениях неизвестного; полученное уравнение будет равносильно данному. [43]
Обе части уравнения можно умножить на любое выражение, имеющее смысл и отличное от нуля при всех допустимых значениях неизвестного, полученное уравнение будет равносильно данному. [44]
В приведенных выше примерах х обозначает любое выражение. Отметим, что побитовые операции И и ИЛИ являются коммутативными, в логические операции И и ИЛИ нет. [45]