without examplesFound in 2 dictionaries
The Universal Dictionary- dicts.lingvouniversal_en_ru.description
- dicts.lingvouniversal_en_ru.description
quantifier
['kwɔntɪfaɪə]
сущ.
лингв. квантификатор
мат. квантор
LingvoComputer (En-Ru)
quantifier
лог. квантор
квантификатор (слово для обозначения количественных отношений)
Unlock all free
thematic dictionaries
Examples from texts
The universal quantifier is handled similarly.Аналогично разбирается случай с квантором всеобщности.Jech, Thomas J. / Lectures in Set Theory: with Particular Emphasis on the Method of ForcingЙех, Т. / Теория множеств и метод форсингаТеория множеств и метод форсингаЙех, Т.© Перевод на русский язык, "Мир", 1973Lectures in Set Theory: with Particular Emphasis on the Method of ForcingJech, Thomas J.© by Springer-Verlag Berlin - Heidelberg 1971
The existential quantifierКвантор существования.Jech, Thomas J. / Lectures in Set Theory: with Particular Emphasis on the Method of ForcingЙех, Т. / Теория множеств и метод форсингаТеория множеств и метод форсингаЙех, Т.© Перевод на русский язык, "Мир", 1973Lectures in Set Theory: with Particular Emphasis on the Method of ForcingJech, Thomas J.© by Springer-Verlag Berlin - Heidelberg 1971
The number quantifiers are now all at the end and all opposite in kind to the last function quantifier.Теперь все числовые кванторы находятся в конце и все имеют вид, противоположный виду последнего функционального квантора.Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логикаМатематическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.Mathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.
Show that if T is a model-complete open theory, then T admits elimination of quantifiers.Показать, что если Т — модельно полная открытая теория, то Т допускает элиминацию кванторов.Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логикаМатематическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.Mathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.
In practice, the difficult hypothesis to verify in Lemma 2 is that T admits elimination of quantifiers.Практически трудно проверить в посылке леммы 2, что Т допускает элиминацию кванторов.Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логикаМатематическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.Mathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.
We now derive some rules for operating with quantifiers.Теперь выведем некоторые правила для оперирования с кванторами.Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логикаМатематическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.Mathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.
User translations
No translations for this text yet.
Be the first to translate it!
Collocations
bounded quantifier
ограниченный квантор
choice quantifier
квантор выбора
doubly bounded quantifier
ограниченный с двух сторон квантор
dummy quantifier
фиктивный квантор
existential quantifier
квантор существования
existential quantifier symbol
символ квантора существования
function quantifier
функциональный квантор
fuzzy quantifier
нечеткий квантор
generality quantifier
квантор всеобщности
generality quantifier
квантор общности
generalized quantifier
обобщенный квантор
hyperarithmetical quantifier
гиперарифметический квантор
implicational quantifier
импликативный квантор
logical quantifier
логический квантор
notchless quantifier
квантователь гладкий
Word forms
quantifier
noun
| Singular | Plural | |
| Common case | quantifier | quantifiers |
| Possessive case | quantifier's | quantifiers' |