Достаточное Множество Функционалов

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

для семейства распределений вероятностей {Pq. } или для параметра - статистика (векторная случайная величина) такая, что для любого события Асуществует вариант условной вероятности Pq( А|Х=x), не зависящий от 9. Это эквивалентно требованию, что условное распределение любой другой статистики У при условии Х = х не зависит от 9. Знание Д. С. Xдает исчерпывающий материал для статистич. Выводов о параметре 0, поскольку любые дополнительные статистич. Данные ничего не добавляют к той информации о ..

- совокупность точки границы области и класса эквивалентных путей, ведущих изнутри области в эту точку. Пусть x - точка границы дG области Gна плоскости комплексного переменного z и пусть существует путь с уравнением z=z(t), где функция z(t)определена и непрерывна на нек-ром отрезке [a, b], при z(b)=x. Тогда говорят, что этот путь ведет в точку x(изнутри G)и определяет Д. Г. Т., изображаемую точкой |. Два пути, ведущие в x, наз. Эквивалентными (или определяющими одну и ту же Д. Г. Т.), если су..

области С на плоскости z - жорданова дуга, входящая в состав границы области Gи одновременно входящая в состав границы нек-рой жордановой обларти gМG. Каждая точка Д. Д. Г. Является достижимой (изнутри g)граничной точкой области G(см. Достижимая граничная точка). Конформное отображение односвязной области Gна единичный круг Z):|z|<1 непрерывно продолжимо на неконцевые точки Д. Д. Г. До гомеоморфизма открытой Д. Д. Г. На некоторую открытую дугу окружности |z| = l. Е. П. Долженко. ..