НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

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

ВЫВОДА ДЕРЕВО - способ записи выводов в исчислении, при к-ром над каждым элементом Р пишутся те элементы вывода, из к-рых Р получен за одно применение вывода правила. Напр., имея вывод Р1, ..., Р6, в к-ром P1, Р2 и Р4 - аксиомы, Р3 получается за одно применение правила из Р1 и Р2, Р5 - из Р4 и Р3, Р6 -из Р3 и Р5, можно записать его в виде следующего В. д.:

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

C. Ю. Маслов.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.








© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2019
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru