-
41 arbre de sortie
-
42 canonical derivation
-
43 direct derivation
-
44 derivation
1. вывод2. дифференцирование; вычисление производной3. гидр. деривация4. ответвление -
45 derivation
отклонение; вывод -
46 deduction tree
Большой англо-русский и русско-английский словарь > deduction tree
-
47 generation tree
Большой англо-русский и русско-английский словарь > generation tree
-
48 derivation treble
Техника: дерево вывода -
49 generation tree
Математика: дерево вывода -
50 inference tree
Компьютерная техника: дерево вывода -
51 Ableitungsbaum
сущ.выч. дерево вывода -
52 Ableitungsbaum
Deutsch-Russische Wörterbuch polytechnischen > Ableitungsbaum
-
53 àrbol de salida
сущ.экон. дерево вывода -
54 deduction tree
мат. -
55 derivation tree
мат. -
56 generation tree
мат. -
57 inference tree
мат. -
58 terminating generation tree
Англо-русский словарь промышленной и научной лексики > terminating generation tree
-
59 derivation
1. n образование, получение; извлечение2. n источник; происхождение3. n спец. дериват, производное4. n лингв. деривация, словопроизводство5. n лингв. редк. этимология; происхождение слова6. n лингв. биол. редк. учение о происхождении органических форм, эволюционное учение; теория эволюции7. n лингв. мед. отвлечение, ревульсия8. n мат. дифференцирование, операция взятия производной9. n мат. вывод выражения, получение формулы10. n мат. эл. ответвление, шунтированиеСинонимический ряд:1. descendant (noun) by-product; derivative; descendant; offshoot; outgrowth; spin-off2. source (noun) beginning; cause; extraction; fount; fountain; fountainhead; inception; mother; origin; provenance; provenience; root; rootage; rootstock; root-stock; source; spring; well; wellhead; wellspring; whence -
60 канонический вывод
Русско-английский большой базовый словарь > канонический вывод
См. также в других словарях:
дерево вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN derivation tree … Справочник технического переводчика
ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… … Математическая энциклопедия
ГРАММАТИКА БЕСКОНТЕКСТНАЯ — грамматика контекстно свободная, КС грамматика, грамматика составляющих, все правила к рой имеют вид где А вспомогательный символ и непустая цепочка (так наз. бесконтекстные правила). Языки, порождаемые такими грамматиками, наз. бесконтекстными… … Математическая энциклопедия
Формальная грамматика — Генеративная лингвистика … Википедия
Семейство ястребиные — Птицы, принадлежащие к этому семейству, характеризуются совершенно оперенными плюснами, достигающими длины среднего пальца, кругловатыми или яйцевидными, почти вертикально расположенными в восковице ноздрями и хвостом, равным половине… … Жизнь животных
Израиль — Государство Израиль, в Зап. Азии, на вост. побережье Средиземного моря. Образовано в 1948 г. на основе решения Генеральной Ассамблеи ООН от 29 ноября 1947 г. В качестве названия принято название еврейского гос ва, существовавшего примерно в этих… … Географическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… … Википедия
Алгоритм Rete — Rete[1] эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… … Википедия
My Lands — Разработчик Gravvit LLC Дата выпуска 28 июня 2010 года Жанр Компьютерная стратегическая игра Управление Клавиатура, мышь Сайт … Википедия