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