Допустимое Правило

76

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

Значения в других словарях
Дополнение

- операция, к-рая ставит в соответствие подмножеству Мданного множества Xдругое подмножество так, что если известны Ми N, то тем или иным способом может быть восстановлено множество X. В зависимости от того, какой структурой наделено множество X, получаются различные определения Д. И разные способы восстановления Xпо Ми N. В общей теории множеств дополнением подмножества (или дополнительным подмножеств о м) до множества Xназ. Подмножество Сх М (или СМ, а также ), состоящее из всех элементов в..

Дополнительная Серия

представлений- семейство неприводимых непрерывных унитарных представлений локально компактной группы G, ненулевые матричные элементы к-рых не могут быть аппроксимированы конечными линейными комбинациями матричных элементов регулярного представления группы Gв топологии равномерной сходимости на компактах в G. Д. С. Группы Gнепуста в том и только в том случае, если Gне аменабельна, т. Е. Если на пространстве не существует нетривиального левоинвариантного среднего (см. [2]). Связная группа Ли Gто..

Достаточная Статистика

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

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

тотальное множество функционалов,- множество Г непрерывных линейных функционалов f(X), определенных на линейном топологич. Пространстве Xи обладающих тем свойством, что не существует элемента на к-ром равенство f(x)=0 выполнялось бы для всех Каждое локально выпуклое пространство обладает Д. М. Ф. М. И. Кадец.. ..

Дополнительный поиск Допустимое Правило Допустимое Правило

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Допустимое Правило" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Допустимое Правило, различные варианты толкований, скрытый смысл.

Первая буква "Д". Общая длина 18 символа