Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing quantifier | all forms | exact matches only
SubjectEnglishRussian
math.alteration of quantifiersперестановка кванторов (ssn)
math.bounded quantifierограниченный квантор
math.choice quantifierквантор выбора
math.contraction of quantifiersсжатие кванторов (склеивание)
math.contraction of quantifiersсвёртывание кванторов
ling.definite quantifierоператор определённой дескрипции
ling.definite quantifierйота-оператор
math.doubly bounded quantifierограниченный с двух сторон квантор
math.dummy quantifierфиктивный квантор
progr.elimination of quantifiersудаление кванторов (ssn)
math.elimination of quantifiersэлиминация кванторов
progr.existential path quantifiersэкзистенциальные кванторы пути (ssn)
math.existential quantifierквантор существования
math.existential quantifier symbolсимвол квантора существования
progr.existential quantifiersкванторы существования (ssn)
math.function quantifierфункциональный квантор
el.fuzzy quantifierнечёткий квантор
math.fuzzy quantifierразмытый квантор (ssn)
math.fuzzy quantifierнечёткий квантор (размытый)
math.generality quantifierквантор общности
tech.generality quantifierквантор всеобщности
math.generalized quantifierобобщённый квантор
ling.generic quantifierквантор всеобщности
math.hyperarithmetical quantifierгиперарифметический квантор
math.implicational quantifierимпликативный квантор (ssn)
math.implicational quantifierимпликационный квантор
math.law of alteration of quantifiersзакон перестановки кванторов
math.law of transfer of quantifiersзакон пронесения кванторов
math.logical quantifierлогический квантор
math.method of elimination of quantifiersметод исключения кванторов
math.numerical quantifierчисленный квантор
progr.path quantifierквантор пути (ssn)
progr.path quantifiersкванторы пути (ssn)
el.pre-route delay quantifierпрограмма PDQ (для рабочих станций по автоматизированному проектированию интегральных схем)
el.pre-route delay quantifierпрограмма оценки времён задержки в межсоединениях
math.pure quantifierнеограниченный квантор
math.quantifier algebraкванторная алгебра
ling.quantifier bindingсвязанность по квантору
math.quantifier binding a variableквантор, связывающий переменную
AI.quantifier eliminationэлиминация кванторов (Microsoft Alex_Odeychuk)
AI.quantifier-elimination procedureпроцедура элиминации кванторов (Microsoft Alex_Odeychuk)
ling.quantifier-floatingперемещение квантора
math.quantifier formкванторная форма
math.quantifier-freeбескванторный
math.quantifier-free calculusбескванторное исчисление
math.quantifier-free formulaбескванторная формула
math.quantifier-free inferenceбескванторный вывод
math.quantifier-free sentenceбескванторное высказывание
AI.quantifier-free uninterpreted functionбескванторная неинтерпретируемая функция (Alex_Odeychuk)
AI.quantifier instantiationинстанцирование квантора (Microsoft Alex_Odeychuk)
AI.quantifier instantiation procedureпроцедура инстанцирования квантора (Microsoft Alex_Odeychuk)
ling.quantifier-loweringпонижение квантора
ling.quantifier-loweringопущение квантора
logicquantifier prefixesкванторная приставка (IF-logic Unbewusst)
ling.quantifier-raisingподъём квантора
ling.quantifier-raisingповышение квантора
math.quantifier ruleправило квантификации
math.quantifiers elimination theoremтеорема об элиминации кванторов
math.recursively bounded quantifierрекурсивно ограниченный квантор
math.relativization of quantifiersрелятивизация кванторов
math.relativizing quantifierрелятивизирующий квантор
math.removal of quantifiersвынесение кванторов
math.restricted quantifierограниченный квантор
math.rule for contraction of quantifiersправило сжатия кванторов
AI.satisfiability of logical formulas with quantifiersвыполнимость логических формул, содержащих кванторы (Microsoft Alex_Odeychuk)
math.scope of quantifierобласть действия квантора
math.sequence of quantifiersкортеж кванторов
math.statistical quantifierстатистический квантор
progr.support for quantifiersподдержка кванторов (в выражениях Alex_Odeychuk)
math.type of quantifierтип квантора
math.typical quantifierтиповой квантор
math.unbounded quantifierнеограниченный квантор
progr.universal path quantifiersуниверсальные кванторы пути (ssn)
ITuniversal quantifierквантер общности
ITuniversal quantifierчасть реального мира, отображённая в конкретной базе данных
math.universal quantifierквантор общности
oiluniversal quantifierквантор всеобщности
gen.universal quantifierвсеобщий квантор
math.universal quantifier symbolсимвол квантора универсальности
progr.universal quantifiersкванторы всеобщности (ssn)
math.unrestricted quantifierнеограниченный квантор
math.vacuous quantifierпустой квантор

Get short URL