Подходящая Дробь

..

свойство нек-рых логических исчислений и логико-математических исчислений, заключающееся в том, что посылки каждого правила исчисления состоят из подформул заключения. П. С. Позволяет организовать поиск вывода "снизу вверх" (см. Генцена формальная система). С целью повышения эффективности такого поиска для многих исчислений рассматриваются различные специализации и обобщения П. С. С. Ю. Маслов. ..

одна из форм Линделёфа принципа, использующая понятие подчинения функций. Пусть w(z) -любая функция, регулярная в круге |z|<1 и удовлетворяющая условию. W(0)=0, |w(z)|<l в |z|<1. Пусть функция F(z)мероморфна в |z|<l. Если функция f(z) имеет вид f(z)=F(w(z)), то f(z) наз. Подчиненной функции F(z) в круге |z|<1, a F(z) - подчиняющей функцией. Это отношение подчинения обозначается через f(z)F(z). В простейшем случае, когда F(z) - однолистная функция в |z|<l, указанное отношение..

последовательность действительных чисел m0, m1, m2, . На промежутке [а, b]такая, что для всякого многочлена нетождественного нулю и неотрицательного на [а, b]выражение Если же для всякого такого многочлена будет j(Р)>0, то последовательность наз. Строго позитивной. Для того чтобы последовательность m0, m1, m2, . Была позитивной на [a, b], необходимо и достаточно существование возрастающей на [а, b]функции g(x), для к-рой М. ..