Terms containing дизъюнкт

Subject	Russian	English
progr.	библиотека расширенной грамматики определённых дизъюнктов	EDCG library (Alex_Odeychuk)
progr.	библиотека расширенной грамматики определённых дизъюнктов	extended DCG library (Alex_Odeychuk)
progr.	бинарный хорновский дизъюнкт	binary Horn clause (ssn)
math.	боковой дизъюнкт	side clause
progr.	вариант дизъюнкта	variant of a clause (в языке логического программирования Prolog Alex_Odeychuk)
math.	верхний дизъюнкт	top clause
progr.	внешняя база дизъюнктов	external database of clauses (Alex_Odeychuk)
math.	входной дизъюнкт	input clause
progr.	грамматика определённых дизъюнктов	definite clause grammar (ssn)
progr.	грамматика определённых дизъюнктов	DCG (сокр. от "definite clause grammar"; University of Melbourne, Австралия Alex_Odeychuk)
math.	дизъюнкт-ответ	answering clause
math.	дизъюнкт-посылка	parent clause
progr.	дизъюнкт предиката	predicate clause (Alex_Odeychuk)
progr.	дизъюнкт сопоставления с образцом	matching clause (Alex_Odeychuk)
el.	дизъюнкт Хорна	Horn sentence
comp.	дизъюнкт Хорна	Horn clause
AI.	дизъюнкты без тела	clauses without bodies (facts; University of Melbourne, Австралия Alex_Odeychuk)
progr.	динамический дизъюнкт	dynamic clause (Alex_Odeychuk)
math.	единичный дизъюнкт	unit clause
math.	жизненный дизъюнкт	vital clause
progr.	индексация дизъюнктов	clause indexing (Alex_Odeychuk)
progr.	индексируемый дизъюнкт	indexable clause (Alex_Odeychuk)
progr.	код дизъюнктов	code of the clauses (код методов класса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk)
AI.	комбинаторный взрыв вызовов дизъюнктов	combinatorial explosion of clauses (Alex_Odeychuk)
math.	r-литерный дизъюнкт	r-literal clause (ssn)
progr.	логика на базе дизъюнктов Хорна	Horn clause logic (ssn)
progr.	логика хорновских дизъюнктов	Horn clause logic (ssn)
progr.	логическое программирование с использованием дизъюнктов Хорна	logical programming with Horn clauses (Alex_Odeychuk)
progr.	логическое программирование с использованием хорновских дизъюнктов	logical programming with Horn clauses (Alex_Odeychuk)
AI.	метод первой точки единичной импликации для запоминания дизъюнктов	first UIP clause learning (Alex_Odeychuk)
progr.	множество дизъюнктов	set of clauses (специфицирующее одно и то же отношение, именуется процедурой в языке программирования Prolog Alex_Odeychuk)
math.	описывающий дизъюнкт	describing clause
progr.	определённый дизъюнкт	definite clause (ssn)
math.	основной дизъюнкт	ground clause
math.	основной дизъюнкт	basis clause
progr.	основной пример дизъюнкта	ground clause instance (ssn)
math.	отрицательный дизъюнкт	negative clause
AI.	охрана дизъюнкта	guard of the clause (Alex_Odeychuk)
AI.	охранное условие дизъюнкта	guard of the clause (Alex_Odeychuk)
progr.	охраняемый определённый дизъюнкт	guarded definite clause (термин логического программирования Alex_Odeychuk)
math.	положительный дизъюнкт	positive clause
progr.	правила грамматики определённых дизъюнктов	DCG rules (сокр. от "definite clause grammar rules" Alex_Odeychuk)
progr.	правила грамматики определённых дизъюнктов грамматика определённых дизъюнктов	definite clause grammar rules (Alex_Odeychuk)
progr.	правило грамматики определённых дизъюнктов	DCG rule (University of Melbourne, Австралия Alex_Odeychuk)
progr.	пример дизъюнкта	instance of a clause (в языке программирования Prolog Alex_Odeychuk)
progr.	пример дизъюнкта	clause instance (ssn)
comp.	пустой дизъюнкт	empty clause
progr.	расширенная грамматика определённых дизъюнктов	EDCG (Alex_Odeychuk)
progr.	расширенная грамматика определённых дизъюнктов	extended DCG (Alex_Odeychuk)
math.	редуцируемый дизъюнкт	reducible clause
progr.	скомпилированный дизъюнкт	compiled clause (Alex_Odeychuk)
math.	смешанный дизъюнкт	mixed clause
progr.	универсальность логики хорновских дизъюнктов	universality of Horn clause logic (ssn)
math.	упорядоченный дизъюнкт	ordered clause
AI.	управляемое конфликтами обучение дизъюнктам	conflict-driven clause learning (Alex_Odeychuk)
progr.	хорновский дизъюнкт	Horn clause (ssn)
math.	центральный дизъюнкт	center clause