Cтраница 3
Если некоторые из подлежащих сочленению формальных выражений представлены метаматематическими буквами или выражениями, то последние могут употребляться в записи результата сочленения вместо представляемых ими формальных выражений. [31]
Мы теперь определим некоторые подкатегории формальных выражений посредством определений, аналогичных правилам синтаксиса в грамматике. [32]
Элементами группы можно считать классы формальных выражений вида х - у, как это делается, когда от натуральных чисел переходят к целым. В общей ситуации эту группу называют группой Гротендика. [33]
Такая трактовка плотности / позволяет записать формальное выражение для среднего поля концентрации примеси, продуцируемой распределенными в пространстве источниками. [34]
Цель этой статьи состоит в изучении формальных выражений, которые обозначают решения таких уравнений. [35]
Поясним, почему это соотношение следует считать формальным выражением отсутствия зависимости между ел. [36]
Более широкая координация работ в системе находит свое формальное выражение в аналогичных неравенствах tpq tpq - - qhq tsii, где tpq, lsk - моменты начала работ с номерами pq, sk ( c ] - k - 1); ( piiq - координационная поправка, имеющая размерность времени. [37]
Амплитуды переходов и функции Грина выражаются через некоторые формальные выражения ( функциональные интегралы), которые можно представлять себе как пределы многократных интегралов при стремлении числа интегрирований к бесконечности. Оказывается возможным ввести определенные правила обращения с функциональными интегралами и в ряде случаев способы их явного вычисления. [38]
Например, если к средствам естественного языка добавить формальные выражения операторов тина Мельчука-Жолковского) и включение такою оператора в семью позволяет выразить тот же смысл для любого слова, то ( разумеется, ес чи отношение т было транзнтивпо) исходная семья автоматически оказывается примитивной. [39]
Подобная простая модель, может быть, даст правильное формальное выражение для наших представлений. [40]
Для выражения семантике-синтаксических отношений в предложении необходимо выбрать наиболее адекватное формальное выражение, облегчающее логико-алгоритмический этап моделирования. [41]
В случае ламинарных течений принципиально нет необходимости в использовании формальных выражений типа Дарси - Вейсбаха, а значит и в определении А. [42]
В алгебре многочлен рассматривается не как функция, а как некоторое формальное выражение, составленное из одночленов. Мы умеем совершать различные операции над многочленами, не задумываясь при этом над тем, какие значения можно подставлять в многочлен вместо букв. Так, проверяя тождество а3 - Ь3 ( а - Ь ] ( с. [43]
Значительная часть таких вычислений состоит в том, что сначала пишутся формальные выражения ( расходящиеся ряды из расходящихся интегралов и т.п.) для искомых величин. [44]
Модель, которая может воссоздать правильную динамическую систему поведения, требует формальных выражений, показывающих, как принимаются решения. Поток информации непрерывно превращается в решения и действия. Никакие ссылки на то, что мы недостаточно хорошо разбираемся в процессе принятия решений, не могут освободить нас от нахождения критерия, которым следует руководствоваться при принятии решения. Пренебрежение к принятию решений означает отрицание их существования - эта ошибка гораздо более значительная, чем любая ошибка, связанная с оценкой процесса. [45]