Оптимальная Гарантирующая Стратегия

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

формально опровержимая в данной системе формула, - замкнутая формула данной системы, отрицание к-рой выводимо в этой системе. В. Н. Гришин. ..

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

кривая x(t).в (n+1)-мерном пространстве переменных t, х 1,...,х n, по к-рой точка x(t)=( х 1(t),...,xn(t)), движение к-рой описывается векторным дифференциальным уравнением (1) переводится из начального состояния (2) в конечное состояние (3) под воздействием оптимального управления u(t), доставляющего минимальное значение заданному функционалу .(4) На выбор оптимального управления накладывается ограничение (5) где U - замкнутое множество допустимых управлений, Начал..