Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms containing quantifier | all forms | exact matches only
SubjectEnglishRussian
math.existential quantifier symbolсимвол квантора существования
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.universal quantifier symbolсимвол квантора универсальности

Get short URL