Обычное соглашение

Cтраница 2

Важно заметить, что существует свободный выбор в такой ассоциации двух преобразований: вместо обычного соглашения ( согласно которому тензорные операторы преобразуются как кет - векторы) можно было с таким же успехом выбрать бра-векторные преобразования. I & Ф для неэрмитовых операторов: действует ли оператор ff налево или направо. [16]

Если слева от х нет точек хп, то сумма пуста и, следуя обычному соглашению, мы считаем ее равной нулю. Поскольку ряд ( 31) сходится абсолютно, порядок, в котором выписываются его члены, не существен. [17]

Здесь индексам 1, 2, 3 соответствуют к, у, z; принимаются обычные соглашения о немых индексах, за исключением одного случая: при г / во втором уравнении OH означает соответствующую компоненту тензора напряжений. [18]

Мы придерживаемся нашего обычного соглашения о том, что предикатные символы Р интерпретируются в модели ЭДг как RI, функциональные символы F - как Gt, а константные с - как аг. [19]

Допустим, что мы используем предикат равенства для записи этой теоремы. Допустим также, что мы применяем обычные соглашения и используем х у, хфу и ( хоу) для обозначения литер ( А, у), - ( л:, у) и функции о ( л:, у) соответственно. [20]

В этом параграфе, вопреки нашему обычному соглашению, алгебры Ли могут быть и бесконечномерными. [21]

Этот метод изложен в лемме 5.2; вопреки нашим обычным соглашениям мы не предполагаем, что полугруппы, рассматриваемые в этой лемме, обязательно содержат единицу. [22]

Множество порождающих правил, подобное нашему, называется грамматикой, - Язык арифметических выражений можно определить и другими грамматиками, некоторые из которых даже проще. Однако наш выбор не случаен - именно такие правила порождают арифметическое выражение в соответствии с обычными соглашениями, по которым умножение и деление предшествуют сложению и вычитанию. [23]

Линейное многообразие У с X называется ( В, D) - многообразием ( для А, или, вольно говоря, для уравнения (50.2)), если К с: XQD и существует число kQ со следующим свойством: для каждого fekoB ( A) найдется решение х уравнения (50.2), такое, что oc ( O) е Y ( и, значит, х е D ( A)) и xD & f B. Обозначим нижнюю грань всех возможных значений k через KY или, подробнее, через Куъ о ( А) с обычным соглашением об отбрасывании индексов и аргументов. Замкнутое ( В, D) - многообразие называется ( В, D) - n о д п ро-странством. [24]

Назначением внутреннего синтаксиса языка PDL является обеспечение гибкости и точности операций и тестов во всех точках проекта программы, что отвечало бы целям проекта, уровню проектирования и требованиям пользователей. Операции над данными основываются на обработке арифметических, логических и символьных данных, а также таких объектов данных языков программирования высокого уровня, как символьные строки, числа и логические переменные. Мы будем использовать обычные соглашения, выделяя строки символов кавычками, представляя числа в вещественной и целой формах, а логические переменные ключевыми словами true или false языка PDL. Имена данных выражаются буквенно-цифровыми строками ( без кавычек), начинающимися буквами. [25]

Заметим, что в нашей исходной диаграмме ( 6) узел, содержащий Ь, является атомом, в то время как узел, содержащий /, специфицирует пустой Список. Эти два случая структурно идентичны, и читатель имеет законное основание недоумевать, к чему вообще было. Списки как просто конечную последовательность из нуля или более Списков, следуя нашему обычному соглашению, в соответствии с которым каждый узел Списка, кроме собственно структурной информации, может содержать данные. Эта точка зрения совершенно оправданна, и поэтому концепция атома выглядит весьма искусственной. [26]

Правило уточнения плана из системы AL3 для решения шахматных задач ( Braiko 1982. [27]

Мы также разрешим в части условия использовать оператор ке, хотя и с некоторыми оговорками. При надлежащем прологовском определении этих операторов ( как это сделано на рис. 14.5) правила станут синтаксически верными предложениями Пролога. Заметим, что оператор и связывает операнды сильнее, чем или, что соответствует обычным соглашениям. [28]

К настоящему времени нормативные рекомендации по учету оп-циенов и фьючерсных контрактов отсутствуют. Некоторые авторы считают опционы и фьючерсные контракты ценными бумагами, ссылаясь на Указ Президента Российской Федерации от 04.11.94 г. № 2063, в ст. 4 которого опцион действительно упоминается в составе ценных бумаг. Однако в перечне ценных бумаг ст. 143 Гражданского кодекса опционы и фьючерсы не упоминаются. В связи с этим более правомерно считать опционы и фьючерсы обычными соглашениями между сторонами и по ним можно рекомендовать следующий порядок учета. [29]

В 6.6 мы уже видели, что полиномиальный рост накладывает существенные ограничения на структуру группы. В этом параграфе мы обсудим роль полиномиального роста для алгебр. В 6.4 мы показали, что полиномиальность роста вытекает из наличия тождества. Поэтому именно в этом параграфе целесообразно изучить структуру Pi-алгебр. Не ставя перед собой задачу дублировать прекрасный обзор [20], мы будем ссылаться на эту работу во всем, что касается понятий и методов, дав только краткий список необходимых определений, обозначений и фактов. Более того, мы позволим себе ограничиться только нулевой характеристикой и оставим в силе обычное соглашение о наличии единицы в алгебре, хотя для Pi-алгебр это довольно принципиальный вопрос. [30]

Страницы: 1 2