-
21 removal of quantifiers
Математика: вынесение кванторовУниверсальный англо-русский словарь > removal of quantifiers
-
22 rule for contraction of quantifiers
Математика: правило сжатия кванторовУниверсальный англо-русский словарь > rule for contraction of quantifiers
-
23 sequence of quantifiers
Математика: кортеж кванторовУниверсальный англо-русский словарь > sequence of quantifiers
-
24 sequence of quantifiers
English-Russian electronics dictionary > sequence of quantifiers
-
25 sequence of quantifiers
The New English-Russian Dictionary of Radio-electronics > sequence of quantifiers
-
26 contraction of quantifiers
мат.свертывание кванторов; сжатие [склеивание] кванторовEnglish-Russian scientific dictionary > contraction of quantifiers
-
27 elimination of quantifiers
мат.English-Russian scientific dictionary > elimination of quantifiers
-
28 law of alteration of quantifiers
English-Russian scientific dictionary > law of alteration of quantifiers
-
29 method of elimination of quantifiers
English-Russian scientific dictionary > method of elimination of quantifiers
-
30 relativization of quantifiers
English-Russian scientific dictionary > relativization of quantifiers
-
31 removal of quantifiers
мат.English-Russian scientific dictionary > removal of quantifiers
-
32 sequence of quantifiers
мат.English-Russian scientific dictionary > sequence of quantifiers
-
33 relativization of quantifiers
English-Russian information technology > relativization of quantifiers
-
34 unbounded quantifiers
English-Portuguese philosophical dictionary > unbounded quantifiers
-
35 kvantifikátory
-
36 кванторы
кванторы
Символы и. Квантор общности [generality q.] (перевернутая буква A от немецкого alle — «все») - читается «для всех…». Например, высказывание (x ? M) читается «для всех x, принадлежащих M». К. существования [existential q.] обозначается перевернутой буквой Е (от немецкого existieren) и заменяет слово «существует». Например, (x ? M) расшифровывается так: «существует элемент x, принадлежащий М». С К. можно производить определенные действия. Например, при отрицании К. заменяется на и наоборот: … = … Если рассмотреть высказывание: «для любого x, принадлежащего M, P(x) - истинно», то отрицание этого высказывания будет: «существует x, принадлежащий M, такой, что отрицание P(x) истинно». Или, пользуясь символической записью: (( x ? М) (Р(x)=И)) = (x ? M) (P(x) = И).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > кванторы
-
37 Pronoun
1. Personal pronouns (I, you, he...) (Личные местоимения)2. Indefinite personal pronouns (one, you, they) (Обобщенно-личные и неопределенно-личное местоимения)3. Possessive pronouns (my, your, his...) (Притяжательные местоимения)4. Reflexive pronouns (myself, yourself...) (Возвратные местоимения)5. Reciprocal pronouns (each other, one another) (Взаимные местоимения)6. Demonstrative pronouns (this, that, so, such) (Указательные местоимения)7. Interrogative pronouns (who, what, where...) (Вопросительные местоимения)8. Relative pronouns (which, that, who...) (Относительные местоимения)9.1. Inclusive quantifiers (all, every, each, either...) (Инклюзивные квантификаторы)9.2. Estimative quantifiers (many, much, a lot, little, few...) (Оценочные квантификаторы)9.3. Indefinite quantifiers (some, any, somebody, anything...) (Неопределенные квантификаторы)9.4. Negative quantifiers (nobody, no one, nowhere...) (Отрицательные квантификаторы) -
38 AND
[ forme deboli ənd, ən, n] [ forma forte ænd]2) (in numbers)it got worse and worse — andò di male in peggio o sempre peggio
5) (in phrases)and that — BE colloq. e cose così
••and how! — colloq. eccome!
Note:When used as a straightforward conjunction, and is translated by e: to shout and sing = gridare e cantare; Tom and Linda = Tom e Linda; my friend and colleague = il mio amico e collega. - When and joins two or more nouns, definite articles, possessive adjectives or quantifiers are not repeated in English, but they are in Italian: the books and exercise books = i libri e i quaderni; her father and mother = suo padre e sua madre; some apples and pears = delle mele e delle pere. - And is sometimes used between two verbs in English to mean in order to ( wait and see, go and ask, try and rest etc.); to translate these expressions, look under the appropriate verb entry ( wait, go, try etc.). Note that the two verb forms involved are the same tense in English, whereas in Italian the second one is always in the infinitive: I'll try and come as soon as possible = cercherò di venire appena possibile. - For and used in telling the time and saying numbers, see the lexical notes 4-THE CLOCK and 19-NUMBERS. For more examples and other uses, see the entry below* * *[ənd, ænd]1) (joining two statements, pieces of information etc: I opened the door and went inside; The hat was blue and red; a mother and child.) e2) (in addition to: 2 and 2 makes 4.) più3) (as a result of which: Try hard and you will succeed.) e4) (used instead of `to' with a verb: Do try and come!) di* * *AND /ænd/n.(elettron., comput.) AND ( operatore booleano): AND operation, operazione AND; AND gate (o circuit) porta (o circuito) AND.* * *[ forme deboli ənd, ən, n] [ forma forte ænd]2) (in numbers)it got worse and worse — andò di male in peggio o sempre peggio
5) (in phrases)and that — BE colloq. e cose così
••and how! — colloq. eccome!
Note:When used as a straightforward conjunction, and is translated by e: to shout and sing = gridare e cantare; Tom and Linda = Tom e Linda; my friend and colleague = il mio amico e collega. - When and joins two or more nouns, definite articles, possessive adjectives or quantifiers are not repeated in English, but they are in Italian: the books and exercise books = i libri e i quaderni; her father and mother = suo padre e sua madre; some apples and pears = delle mele e delle pere. - And is sometimes used between two verbs in English to mean in order to ( wait and see, go and ask, try and rest etc.); to translate these expressions, look under the appropriate verb entry ( wait, go, try etc.). Note that the two verb forms involved are the same tense in English, whereas in Italian the second one is always in the infinitive: I'll try and come as soon as possible = cercherò di venire appena possibile. - For and used in telling the time and saying numbers, see the lexical notes 4-THE CLOCK and 19-NUMBERS. For more examples and other uses, see the entry below -
39 more
1) Местоимение more является формой сравнительной степени местоимений much, many (см. many / much).2) More используется при образовании сравнительной степени прилагательных и наречий: см. Comparative degree: adjectives 1, 2; Comparative degree: adverbs.3) Конструкция числ. + more имеет значение "еще (один, два и т.д.)". Вместо числительного в этой конструкции может также употребляться неопределенное местоимение (см. Indefinite quantifiers):volumes were published after his death. — Еще два тома были опубликованы после его смерти.And then they talked some more and only got more mixed up than ever. — А потом они еще немного поговорили, и только еще больше запутались.
-
40 some, any, no
Различия в употреблении слов some, any, no и производных от них (someone, anybody, nowhere etc.)1) some.а) Местоимение some и образованные от него местоимения в основном употребляются в утвердительных предложениях.was in the room at the time, and that somebody isn't here now. — Кто-то находился в тот момент в комнате, и этого кого-то сейчас здесь нет.б) в вопросе может быть употреблено образованное от some местоимение, если подразумевается ответ "да" (например, в просьбах и предложениях).Could I have some more tea, please? — Можно мне еще немного чаю?
2) any.а) В вопросах употребляются обычно местоимение any и образованные от него местоимения.б) Местоимение any и его производные также употребляются в отрицаниях (см. Negative sentence): при отрицательной форме глагола, после отрицательных квантификаторов (Negative quantifiers) и других слов с отрицательным или ограничительным значением:3) no.Местоимение no и его производные употребляются в отрицаниях (см. Negative sentence). В отличие от any, no требует утвердительной формы глагола; не сочетается с другими отрицательными квантификаторами.I see no reason why I should do so. ( = I don't see any reason...) — Не понимаю, почему я должен так поступать.
's gonna change my mind. — Ничто не заставит меня передумать.There was no trace of the murdered man anywhere (* nowhere). — Нигде не было следов убитого.
См. также в других словарях:
quantifiers — quantifier … Philosophy dictionary
quantifiers — n. word that expresses a quantity (Grammar) … English contemporary dictionary
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Bounded quantifier — In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language. These are two quantifiers in addition to forall and exists. They are motivated by the fact that determining whether a sentence with only… … Wikipedia
Quantity numbers — ◊ GRAMMAR Quantities and amounts of things are often referred to using numbers. See entries at ↑ Numbers and fractions and ↑ Measurements. ◊ general determiners You can use general determiners such as some , any , all , every , and much to talk… … Useful english dictionary
quantity numbers — ◊ GRAMMAR Quantities and amounts of things are often referred to using numbers. See entries at ↑ Numbers and fractions and ↑ Measurements. ◊ general determiners You can use general determiners such as some , any , all , every , and much to talk… … Useful english dictionary
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium