дерево вывода — — [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 года, затем в докторской… … Википедия
в к-ром 
- аксиомы, 
получается за одно применение правила из 
- из 
- из 
можно записать его в виде следующего В. д.:
