→ Пошук по сайту       Увійти / Зареєструватися
ВЫВОД ПРЯМОЙ

ВЫВОД ПРЯМОЙ [Мапа поняття]

← ВЫВОД ПРЯМОЙ — Вывод, ведущий от исходных аксиом к целевому выражению. При В.П. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и процесс нахождения цепочки, ведущей от исходных аксиом к целевому выражению, является переборным. Стандартной процедурой, используемой при обходе дерева решений, является процедура возврата - бектрекинг..
→ВЫВОД ПРЯМОЙ

Зверніть увагу на додаткові посилання

Головний розділ

ВЫВОД ПРЯМОЙ
загрузка...
Сторінки, близькі за змістом
ВЫВОД ПРЯМОЙ
Вывод, ведущий от исходных аксиом к целевому выражению. При В.П. из-за неоднозначности выбора применимы аксиом и правил вывода образуется дерево решений и процесс нахождения цепочки, ведущей от исходных аксиом к целевому выражению, является переборным. Стандартной процедурой, используемой при обходе дерева решений, является процедура возврата - бектрекинг..