Cтраница 2
При действительном построении формул интерполирования эту задачу видоизменяют. [16]
Возможно также построение формул типа ( 1) - ( 3) для полуплоскости и других областей. Формулы ( 1) - ( 3) играют важную роль в распределения значений теории. [17]
Это завершает построение формулы G. [18]
Поэтому для построения формул Филона высокой точности приходится использовать более сложные аппроксимации амплитуды. [19]
Из процесса построения формул (1.166) и (1.169) следует, что решения задачи Гурса (1.165), (1.167) и задачи Коши (1.165), (1.170) определяются однозначно и эти решения устойчивы. [20]
Рассмотрим примеры построения формул численного интегрирования. [21]
Другой способ построения формул численного дифференцирования, приводящий к тем же формулам, - это метод неопределенных коэффициентов. Наиболее употребителен он в многомерном случае, когда не всегда просто выписывается интерполяционный многочлен. [22]
Индукцией по построению формулы с каждым вхождением символов ( или - ] можно связать некоторое такое вхождение подформулы, а лемма 1 позволяет утверждать единственность такого вхождения. [23]
Индукцией по построению формулы А легко проверить, что если она истинна в каком-то мире, то истинна и во всех больших мирах. В самом деле, пересечение и объединение двух наследственных вверх множеств также обладает этим свойством, так что для случая конъюнкции и дизъюнкции можно сослаться на предположение индукции. А для импликации даже и этого не нужно, достаточно посмотреть на определение. [24]
Индукцией по построению формулы можно также задавать функции, определенные на множестве всех формул. [25]
Связки используются для построения формул, соединяя предикаты или какие-то другие формулы. [26]
Как видно, построение формул подобно. [27]
Дадим сначала правила построения формул, а потом уже выделим некоторым набором ограничений множество разрешенных формул. Интуитивное значение каждой формулы будет объясняться по мере их появления, а точное определение интерпретации формулы отложим до того момента, когда множество разрешенных формул уже будет определено. Будем обозначать переменные кортежи буквами из самого конца алфавита, а буквы t, и, v оставим для обозначения конкретных кортежей. [28]
Из описания процесса построения формулы К следует также, что формулу К можно преобразовать в формулу К не более, чем за С 2 п2 элементарных действий, где С 2 - натуральная константа. [29]
Изложенная выше схема построения формул для приближенного вычисления интегралов применима и в многомерном случае. [30]