Опровержимая Формула

уравнение, ассоциированное с регулярной особой точкой z=а обыкновенного линейного дифференциального уравнения Пусть функции голоморфны в точке z=a и Определяющее уравнение имеет вид Если корни , , уравнения (2) таковы, что все разности при не являются целыми числами, то уравнение (1) имеет фундаментальную систему решений вида где функции голоморфны в точке z = a. В противном случае решения уравнения (1) могут быть многочленами от In (z-а) с коэффициентами, голоморфным..

универсальной алгебры G относительно системы ее порождающих элементов - соотношения вида между порождающими ( тце uj,vj- термы в сигнатуре рассматриваемой алгебры) такие, что все остальные соотношения этого вида являются следствиями данных и тождеств многообразия, в к-ром рассматривается алгебра G. Обычно, когда говорят о задании алгебры порождающими и О. С., имеют в виду факторалгебру свободной алгебры многообразия с теми же порождающими по конгруэнции, определяемой всеми парами (uj, v..

- стратегия, к-рая имеет в данной операции оценку эффективности, равную наилучшему гарантированному результату (см. Наибольшего гарантированного результата принцип). Если, напр., в операции с критерием эффективности f(x, у).неопределенный фактор упринимает значения из множества Y, то О. Г. С. определяется из равенства Если верхняя грань по не достигается, то вводится понятие e-o птимальной гарантирующей стратегии , для к-рой где . В зависимости от множества стратегий = = х (у).и..

квадратурная формула, дающая наилучшее приближение интегралу на классе Fподинтегральных функций. Если то наз. Погрешностью квадратуры при вычислении интеграла от данной функции, а наз. Погрешностью квадратуры на классе F. Если существует такая квадратура, что для соответствующей ей выполняется равенство то эту квадратуру наз, оптимальной на этом классе. О. К. Построены лишь для нек-рых классов функций в основном одного переменного (см. [1] - |3]). О. К. Наз. Так..