ВЫВОДА ДЕРЕВО это:

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

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


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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ВЫВОДА ДЕРЕВО" в других словарях:

  • дерево вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN derivation tree …   Справочник технического переводчика

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

  • ИСЧИСЛЕНИЕ — 1) Составная часть названия нек рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем… …   Математическая энциклопедия

  • Формальная грамматика — Генеративная лингвистика …   Википедия

  • Семейство ястребиные —         Птицы, принадлежащие к этому семейству, характеризуются совершенно оперенными плюснами, достигающими длины среднего пальца, кругловатыми или яйцевидными, почти вертикально расположенными в восковице ноздрями и хвостом, равным половине… …   Жизнь животных

  • Израиль — Государство Израиль, в Зап. Азии, на вост. побережье Средиземного моря. Образовано в 1948 г. на основе решения Генеральной Ассамблеи ООН от 29 ноября 1947 г. В качестве названия принято название еврейского гос ва, существовавшего примерно в этих… …   Географическая энциклопедия

  • Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

  • Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… …   Википедия

  • Алгоритм Rete — Rete[1]  эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… …   Википедия

Книги

Другие книги по запросу «ВЫВОДА ДЕРЕВО» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»