Terms containing quantifier

Subject	English	Russian
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	опущение квантора
logic	quantifier 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)
IT	universal quantifier	квантер общности
IT	universal quantifier	часть реального мира, отображённая в конкретной базе данных
math.	universal quantifier	квантор общности
oil	universal quantifier	квантор всеобщности
gen.	universal quantifier	всеобщий квантор
math.	universal quantifier symbol	символ квантора универсальности
progr.	universal quantifiers	кванторы всеобщности (ssn)
math.	unrestricted quantifier	неограниченный квантор
math.	vacuous quantifier	пустой квантор