без примеровНайдено в 1 словаре
Грамматический словарь- 500 грамматических тем, которые включают:
- - части речи,
- - синтаксис,
- - речевые обороты,
- - американский и британский английский язык,
- - правильное написание слов,
- - пунктуация.
- 500 грамматических тем, которые включают:
- - части речи,
- - синтаксис,
- - речевые обороты,
- - американский и британский английский язык,
- - правильное написание слов,
- - пунктуация.
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...) (Отрицательные квантификаторы)
Примеры из текстов
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
Добавить в мой словарь
Quantifiers
Переводы пользователей
Часть речи не указана
- 1.
количественные указатели
Перевод добавила Holy MolyЗолото en-ru
Словосочетания
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
фиктивный квантор
Формы слова
quantifier
noun
| Singular | Plural | |
| Common case | quantifier | quantifiers |
| Possessive case | quantifier's | quantifiers' |