- разрешение вывода
-
output enable
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Разрешение конфликта — в продукционных системах процедура выбора одного правила из нескольких правил, применимых при текущем состоянии рабочей памяти. См. также: Механизмы вывода Продукционные системы Финансовый словарь Финам … Финансовый словарь
Разрешение (компьютерная графика) — У этого термина существуют и другие значения, см. Разрешение. Разрешение величина, определяющая количество точек (элементов растрового изображения) на единицу площади (или единицу длины). Термин обычно применяется к изображениям в цифровой… … Википедия
Разрешение экрана — Разрешение описывает, насколько детальным является данное изображение или процесс его создания. Термин обычно применяется к изображениям в цифровой форме, хотя его можно применить, например, для описания уровня грануляции фотопленки, фотобумаги… … Википедия
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… … Википедия
Алгоритм Rete — Rete[1] эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… … Википедия
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия
Райс, Кондолиза — В Википедии есть статьи о других людях с такой фамилией, см. Райс. Кондолиза Райс Condoleezza Rice … Википедия
Кандализа Райс — Кондолиза Райс Condoleezza Rice … Википедия
Кондолизза Райс — Кондолиза Райс Condoleezza Rice … Википедия