without examplesFound in 1 dictionary
The Grammatical Dictionary- dicts.lingvogrammar_en_ru.description
- dicts.lingvogrammar_en_ru.description
Quantifiers
Квантификаторы
↑ Pronoun
1. Inclusive quantifiers (all, every, each, either...) (Инклюзивные квантификаторы)
2. Estimative quantifiers (many, much, a lot, little, few...) (Оценочные квантификаторы)
3. Indefinite quantifiers (some, any, somebody, anything...) (Неопределенные квантификаторы)
4. Negative quantifiers (nobody, no one, nowhere...) (Отрицательные квантификаторы)
Examples from texts
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.
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.
We now derive some rules for operating with quantifiers.Теперь выведем некоторые правила для оперирования с кванторами.Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логикаМатематическая логикаШенфилд, Дж.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.Mathematical LogicShoenfield, Joseph© 1967 by Addison-Wesley publishing company, inc.
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
Add to my dictionary
Quantifiers
User translations
The part of speech is not specified
- 1.
количественные указатели
translation added by Holy MolyGold en-ru
Collocations
contraction of quantifiers
свертывание кванторов
contraction of quantifiers
сжатие кванторов
elimination of quantifiers
элиминация кванторов
law of alteration of quantifiers
закон перестановки кванторов
method of elimination of quantifiers
метод исключения кванторов
quantifiers elimination theorem
теорема об элиминации кванторов
relativization of quantifiers
релятивизация кванторов
removal of quantifiers
вынесение кванторов
sequence of quantifiers
кортеж кванторов
law of transfer of quantifiers
закон пронесения кванторов
rule for contraction of quantifiers
правило сжатия кванторов
bounded quantifier
ограниченный квантор
choice quantifier
квантор выбора
doubly bounded quantifier
ограниченный с двух сторон квантор
dummy quantifier
фиктивный квантор
Word forms
quantifier
noun
Singular | Plural | |
Common case | quantifier | quantifiers |
Possessive case | quantifier's | quantifiers' |