Cтраница 3
Построение резольвенты в случае, когда все критические формулы являются формулами первого рода. Описанный метод построения общих замен пока еще не приводит нас к поставленной цели. Все еще остается нерешенной существенная задача - показать, что применение указанного метода всегда приводит к обрыву процесса. [31]
Число резольвент, формируемых в процессе поиска логического вывода, конечно. Большой практический интерес представляет оптимальная стратегия, позволяющая получить решение за минимальное число шагов. [32]
Оператор резольвенты широко используется в работах Пригожнна ( см. библиографию к гл. [33]
Три резольвенты связаны предельными переходами. [34]
Скачок резольвенты при переходе с нижнего берега разреза на верхний в точке z k2 можно найти, представив z k2eia и меняя аргумент а от 2тг до 0, т.е. двигаясь вдоль окружности рис. 14.2 радиуса R k2 по часовой стрелке. [35]
Понятие резольвенты как функции R ( к, t, К), с помощью которой по формуле ( 10) определяется решение интегрального уравнения, сохраняет смысл для любых значений К, при которых это уравнение однозначно разрешимо. [36]
Понятие резольвенты как функции К ( х 1), с помощью которой по формуле ( 10) определяется решение интегрального уравнения, сохраняет смысл для любых значений К, при которых это уравнение однозначно разрешимо. [37]
Исчисления резольвент используются для поиска вывода в исчислениях высказываний и предикатов. [38]
Исчисления резольвент различаются аксиомами. Связь исчисления резольвент с доказуемостью в исчислении предикатов устанавливается следующим утверждением. [39]
Поведение резольвенты R ( i, А) в точке s ( А) будет обсуждаться в § 8.2 и 8.3. Далее нам будут полезны следующие два следствия из предыдущей теоремы. [40]
Наличие резольвенты ядра ползучести (2.22) допускает обращение определяющего уравнения (1.6), что позволяет строить аналитические решения прикладных задач. [41]
Оценка резольвенты производящего оператора для линейных систем с запаздыванием, Литов. [42]
Оценим резольвенту оператора А. [43]
Найти резольвенту оператора - Л в трех измерениях в сферических координатах и построить сферически симметричную нормированную собственную функцию. [44]
О резольвенте вольтеррова оператора с ядром, зависящим от разности, Сиб. [45]