Cтраница 3
А потому не бойтесь обобщений, даже скороспелых, но придерживайтесь, однако, лишь таких, которые, с одной стороны, выносят элементарное выражение, не заключая в себе того, что противно пресловутому здравому смыслу, и, в то же время, с другой стороны, принимаются и развиваются знатоками дела. В таких воззрениях, значит, есть два условия пригодности: согласие с общим направлением современных наших понятий - ведь это и есть не что иное, как здравый смысл; согласие с частностями изучаемого, - иначе, ведь, знатоки-то не стали бы развивать данное воззрение, а скорее восстали бы против него или просто игнорировали бы его. [31]
Таким образом, используя метод больших Л для решения уравнения (2.34), удалось получить решение задачи для больших значений параметра Л через решение бесконечной системы (2.35) в элементарных выражениях с любой степенью точности, при этом в формулах для контактных напряжений особенность явно выделена. Коэффициенты бесконечной системы также получены в элементарных выражениях. [32]
Здесь, как и повсюду, я употребляю греческие буквы для обозначения переменных выражений, удовлетворяющих определенным условиям: так, аир должны быть простыми отрицательными выражениями силлогистики, 1 должно быть элементарным выражением в том смысле, как это объяснено выше, а все три выражения должны быть такими, чтобы Coq и С ч можно было бы отбросить. [33]
Правила, как и обычно, имеют левую и правую части, причем левая часть ( здесь она называется головой) является конъюнкцией элементарных выражений, а правая ( тело) - сложная формула, термами которой являются элементарные выражения, связанные обычными предикатными символами типа implies: -, implied by: -, equivalent: -, AND, OR и NOT. [34]
X; iw I p, rj R - Для образования более сложных выражений допускается введение операций конъюнкции и дизъюнкции между элементарными выражениями, а также операция отрицания, которая может быть использована как для элементов из R, так и для элементарных выражений. [35]
Итак, NNCpp сводится к выражению CpCNpq с переменной р в антецеденте. CpCNpq представляет собой элементарное выражение. [36]
Просмотрим справа налево символы графика схемы, начиная с оператора Q, до тех пор, пока не встретим элементарное выражение А, содержащее какой-либо оператор. Очевидно, после элементарного выражения Л и геред оператором Q будет стоять некоторое количество правых знаков перехода. [37]
Просмотрим справа налево символы графика схемы, начиная с оператора Q, до тех пор, пока не встретим элементарное выражение А, содержащее какой-либо оператор. Очевидно, после элементарного выражения А и перед оператором Q будет стоять некоторое количество правых знаков перехода. [38]
Особым случаем выражений являются так называемые замыкания операторов. Пусть Т - некоторое элементарное выражение в составе алгоритма, содержащее в себе оператор S. Двигаясь от него влево, отберем все правые знаки перехода, не отделенные от него операторами. [39]
Факты, по сути, являются элементарными выражениями. [40]
Таким образом, используя метод больших Л для решения уравнения (2.34), удалось получить решение задачи для больших значений параметра Л через решение бесконечной системы (2.35) в элементарных выражениях с любой степенью точности, при этом в формулах для контактных напряжений особенность явно выделена. Коэффициенты бесконечной системы также получены в элементарных выражениях. [41]
Символом Л обозначим пустое выражение. Считается, что пустое выражение присутствует после любого элементарного выражения графика схемы. [42]
Оператор начала И служит в схеме для указания того оператора, с которого начинается ее выполнение. Выполнением правого знака перехода называется переход к следующему за ним элементарному выражению, а выполнением левого знака перехода с индексом It - отыскание правого знака перехода с тем же индексом. [43]