" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ВЫВОДА ДЕРЕВО

Значение ВЫВОДА ДЕРЕВО в математической энциклопедии:

- способ записи выводов в исчислении, при к-ром над каждым элементом Рпишутся те элементы вывода, из к-рых Рполучен за одно применение вывода правила. Напр., имея вывод в к-ром - аксиомы, получается за одно применение правила из - из - из можно записать его в виде следующего В. д.:

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