без примеровНайдено в 2 словарях
Общая лексика- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
- Предназначен для электронного поиска и показа и совмещающим в себе функции переводного и толкового словаря. Большинство лексических значений снабжено толкованиями, комментариями об использовании, примерами употребления; многие включены в синонимические ряды и антонимические пары.
quantifier
['kwɔntɪfaɪə]
сущ.
лингв. квантификатор
мат. квантор
LingvoComputer (En-Ru)
quantifier
лог. квантор
квантификатор (слово для обозначения количественных отношений)
Откройте все бесплатные
тематические словари
Примеры из текстов
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.
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
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
квантователь гладкий
Формы слова
quantifier
noun
| Singular | Plural | |
| Common case | quantifier | quantifiers |
| Possessive case | quantifier's | quantifiers' |