-
41 элиминация кванторов
Большой англо-русский и русско-английский словарь > элиминация кванторов
-
42 sequence
1) последовательность || задавать последовательность2) вчт кортеж3) порядок следования, очерёдность; упорядочение || устанавливать порядок следования или очерёдность; упорядочивать6) вчт последовательность кадров, получаемых и обрабатываемых по единой методике ( в компьютерном видео)7) результат; следствие•- sequence of classes
- sequence of estimates
- sequence of moves
- sequence of quantifiers
- act-event sequence
- alphanumeric sequence
- alphanumerical sequence
- alternating sequence
- arbitrary sequence of input patterns
- ascending sequence
- Barker sequence
- bent sequence
- binary sequence
- bipolar sequence
- bitonic sequence
- boot sequence
- bordism spectral sequence
- calling sequence
- cleaning sequence
- code sequence
- coded sequence
- coding sequence
- collation sequence
- composed sequence
- confusion sequence
- control sequence
- convergent sequence
- countable sequence
- descending sequence
- deterministic sequence
- direct sequence
- directed sequence
- divergent sequence
- edge sequence
- encoded sequence
- ergodic sequence
- escape sequence
- events sequence
- finite sequence
- forward sequence
- frame check sequence
- geometric sequence
- harmonic sequence
- inner sequence
- M-sequence
- Markov sequence
- Markovian sequence
- maximal length sequence
- MIDI sequence
- multidimensional sequence
- natural sequence
- n-bit sequence
- negotiation sequence
- nested sequence
- n-stage sequence
- ordered sequence
- page sequence
- petal sequence
- PR sequence
- pseudorandom sequence
- pseudorandom binary sequence
- pseudorandom confusion sequence
- quasi-periodic sequence
- random sequence
- reciprocal sequence
- recurrent sequence
- recursive sequence
- reverse sequence
- sample sequence
- summable sequence
- test sequence
- thermal recalibration sequence
- time sequence
- undirected sequence -
43 sequence
1) последовательность || задавать последовательность2) вчт. кортеж3) порядок следования, очерёдность; упорядочение || устанавливать порядок следования или очерёдность; упорядочивать6) вчт. последовательность кадров, получаемых и обрабатываемых по единой методике ( в компьютерном видео)7) результат; следствие•- alphanumeric sequence
- alphanumerical sequence
- alternating sequence
- arbitrary sequence of input patterns
- ascending sequence
- Barker sequence
- bent sequence
- binary sequence
- bipolar sequence
- bitonic sequence
- boot sequence
- bordism spectral sequence
- calling sequence
- cleaning sequence
- code sequence
- coded sequence
- coding sequence
- collation sequence
- composed sequence
- confusion sequence
- control sequence
- convergent sequence
- countable sequence
- descending sequence
- deterministic sequence
- direct sequence
- directed sequence
- divergent sequence
- edge sequence
- encoded sequence
- ergodic sequence
- escape sequence
- events sequence
- finite sequence
- forward sequence
- frame check sequence
- geometric sequence
- harmonic sequence
- inner sequence
- Markov sequence
- Markovian sequence
- maximal length sequence
- MIDI sequence
- M-sequence
- multidimensional sequence
- natural sequence
- n-bit sequence
- negotiation sequence
- nested sequence
- n-stage sequence
- ordered sequence
- page sequence
- petal sequence
- PR sequence
- pseudorandom binary sequence
- pseudorandom confusion sequence
- pseudorandom sequence
- quasi-periodic sequence
- random sequence
- reciprocal sequence
- recurrent sequence
- recursive sequence
- reverse sequence
- sample sequence
- sequence of choices
- sequence of classes
- sequence of estimates
- sequence of moves
- sequence of quantifiers
- summable sequence
- test sequence
- thermal recalibration sequence
- time sequence
- undirected sequenceThe New English-Russian Dictionary of Radio-electronics > sequence
-
44 estimative
[es'tɪmətɪv]прил.оценочный; оценивающийestimative faculty — способность давать правильную оценку, умение разбираться
Gram:[ref dict="LingvoGrammar (En-Ru)"]Estimative quantifiers[/ref] -
45 inclusive
[ɪn'kluːsɪv]прил.1) включающий, содержащийAll prices are inclusive of VAT. — Цены указаны с учётом НДС.
2) (from … to … inclusive) брит.; амер. through 1. 2) б) с … по … включительноfrom the 23rd of May to the 30th of September inclusive — с 23-го мая по 30-ое сентября включительно
3) инклюзивный, без дискриминации(gender-)inclusive language — (гендерно-)инклюзивный язык (совокупность языковых единиц без сексистских коннотаций, например, слова общего рода person, officer, attendant) см. тж. police officer, flight attendant, chairperson
Ant:•Gram:[ref dict="LingvoGrammar (En-Ru)"]Inclusive quantifiers[/ref] -
46 indefinite
[ɪn'def(ə)nət]прил.1) неопределённый; неясныйSyn:2) лингв. неопределённыйGram:[ref dict="LingvoGrammar (En-Ru)"]Indefinite article[/ref][ref dict="LingvoGrammar (En-Ru)"]Indefinite personal pronouns[/ref][ref dict="LingvoGrammar (En-Ru)"]Indefinite quantifiers[/ref]3) неограниченный, бесконечный, безграничный -
47 negative
['negətɪv] 1. прил.1)а) отрицательный, негативный- negative flagto give smb. a negative answer — ответить кому-л. отрицательно
б) безрезультатный, не давший ожидаемого результата; отсутствующийnegative test — проверка, давшая отрицательный результат
в) мат.; лог. отрицательный- negative signд) рел. отрицательный, апофатический ( о направлении в теологии)2) недоброжелательный, негативныйSyn:3) фото негативный, относящийся к негативу•Gram:[ref dict="LingvoGrammar (En-Ru)"]Negative quantifiers[/ref][ref dict="LingvoGrammar (En-Ru)"]Negative question[/ref][ref dict="LingvoGrammar (En-Ru)"]Negative sentence[/ref]2. сущ.1)а) отрицание; отрицательный ответб) несогласие, отказв) уст. голос против, вето, запрет2) фото негатив3) отрицательная черта характера, отрицательное, негативное свойство4) лингв. отрицание, отрицательная частица, отрицательное слово5) мат. отрицательная величина6) эл.а) отрицательный полюс (батареи, аккумулятора)в) катод7) австрал. шахта, не дающая золота••3. гл.1) отрицать; возражать, выражать несогласие; противоречитьSyn:2) амер. налагать ветоSyn:3) отклонять, не утверждать (постановление, кандидата)Syn:4) отвергать; доказывать ложность, опровергатьSyn:5) делать тщетным, нейтрализовать (действие чего-л. или кого-л.)Syn: -
48 quantifier
['kwɔntɪfaɪə]сущ.1) лингв. квантификаторGram:[ref dict="LingvoGrammar (En-Ru)"]Quantifiers[/ref]2) мат. квантор -
49 a large number, a large amount, a great deal
Употребление местоимений-квантификаторов a large number, a large amount, a great deal.Выражения a large number, a large amount, a great deal используются в утвердительных предложениях вместо much и many (many / much). Употребляются чаще в формальной и литературной речи.1) Выражения a great deal, a large amount употребляются обычно с неисчисляемыми существительными (см. Countable and uncountable nouns).He spent a great deal of time on that. — Он потратил на это много времени.
We lost a large amount of money. — Мы потеряли много денег.
2) А large number употребляется с исчисляемыми существительными во множественном числе.We have a large number of problems to solve. — Мы должны решить множество проблем.
English-Russian grammar dictionary > a large number, a large amount, a great deal
-
50 all
1) Местоимение all употребляется преимущественно как прилагательное при существительных и личных местоимениях. В качестве независимого существительного местоимение all используется, только если за ним следует определительное придаточное предложение, в иных случаях оно заменяется местоимениями-существительными everything, everybody или everyone.They bought all that they wanted — Они купили все, что хотели
They bought everything — Они купили все
Исключение:
That's all — Это все.
2)а) Перед существительными без артикля и притяжательного или указательного местоимения местоимение all употребляется как прилагательное:б) Перед существительными с артиклем или притяжательным или указательным местоимением all употребляется как прилагательное или с предлогом of:all (of) my friends — все мои друзья.
в) Перед личным местоимением all всегда употребляется с предлогом of:3) Местоимение all может стоять после личных местоимений в объектной форме.We visited them all — Мы навестили их всех.
4)а) Местоимение all употребляется перед исчисляемыми существительными во множественном числе и неисчисляемыми существительными, а также перед некоторыми исчисляемыми существительными в единственном числе, которые естественно разделяются на части:all his books — все его книги,
all the water — вся вода,
all my family — вся моя семья,
б) С прочими исчисляемыми существительными в единственном числе предпочтительно употребление прилагательного whole.5) Определенный артикль the после all обычно опускается в некоторых выражениях, относящихся ко времени: all day, all night, all week, all year, all winter, all summer6) Если местоимение all относится к подлежащему, оно может стоять сразу после подлежащего или после вспомогательного глагола.•— Опущение предлога в выражениях времени, включающих местоимение all см. Prepositions "at", "in", "on": time, 4.
-
51 any
1) Местоимение any употребляется перед исчисляемыми существительными во множественном числе и неисчисляемыми существительными, если указывает на некоторое количество, а также перед любыми существительными в значении "любой, всякий":I don't need any books — Мне не нужны книги
Is there any water? — Есть здесь ( сколько-нибудь) воды?
You may choose any answer — Вы можете выбрать любой ответ
2) Если местоимение any обозначает некоторое количество, то оно употребляется преимущественно в вопросительных и отрицательных предложениях, а также после слов с негативным или ограничительным значением и в условных придаточных предложениях (в иных случаях используется местоимение some)There isn't any bread on the table — На столе нет ( никакого) хлеба
Where can I get any shoes? — Где я могу достать ( какую-нибудь) обувь?
He built his house without any help — Он построил свой дом без какой-либо помощи
If you say any word they'll recognize you — Если ты скажешь хоть ( какое-нибудь) слово, они тебя узнают
3)а) Местоимение any употребляется как прилагательное перед существительными без артикля и притяжательного или указательного местоимения, стоящими в единственном или множественном числе:б) Перед существительными с артиклем или притяжательным или указательным местоимением, а также перед личным местоимением местоимение any употребляется с предлогом of:в) Существительное после any может быть опущено, если понятно, о чем идет речь:I'll give you some money if you haven't got any — Я дам тебе денег, если у тебя их нет.
4) Местоимение any может употребляться как наречие перед прилагательными и неречиями в сравнительной степени в значении "сколько-нибудь"I can't run any faster — Я не могу бежать ( сколько-нибудь) быстрее.
•— Употребление местоимения any перед прилагательными в сравнительной степени см. тж. Comparative degree: adjectives, 4.
— Различия в употреблении слов some, any, no и производных от них (someone, anybody, nowhere etc.) см. some, any, no.
-
52 anybody
1) Местоимение anybody относится только к людям и является более неофициальным, чем anyone2) Anybody употребляется как существительное в контекстах, в которых возможно употребление местоимения anyDid anybody leave? — Кто-нибудь ушел?
•— Различия в употреблении слов some, any, no и производных от них (someone, anybody, nowhere etc.) см. some, any, no.
-
53 anyone
1) Местоимение anyone имеет орфографический вариант any one2) Местоимение anyone относится только к людям3) Anyone употребляется как существительное в контекстах, в которых возможно употребление местоимения any•— Различия в употреблении слов some, any, no и производных от них (someone, anybody, nowhere etc.) см. some, any, no.
-
54 anything
1) Местоимение anything относится к неодушевленным объектам2) Anything употребляется как существительное в контекстах, в которых возможно употребление местоимения anyHave you found anything? — Вы нашли что-нибудь?
•— Различия в употреблении слов some, any, no и производных от них (someone, anybody, nowhere etc.) см. some, any, no.
-
55 both
1)а) Перед существительными с артиклем или притяжательным или указательным местоимением местоимение both употребляется как прилагательное или с предлогом of:б) Перед личным местоимением both всегда употребляется с предлогом of:2) Определенный артикль the или притяжательное местоимение после both часто опускаются3) Местоимение both может стоять после личных местоимений в объектной формеThey cheated us both — Они обманули нас обоих.
4) Если местоимение both относится к подлежащему, оно может стоять сразу после подлежащего или после вспомогательного глагола. -
56 each
1)а) Местоимение each употребляется как прилагательное перед существительным без артикля и притяжательного или указательного местоимения. Существительное стоит в единственном числе:б) Перед существительными с артиклем, притяжательным или указательным местоимением, а также перед личным местоимением местоимение each употребляется с предлогом of, при этом существительное или местоимение ставится во множественном числе:2) Местоимение each ставится после выражений, обозначающих количество, которое приходится на каждого из участников ситуации:I gave the boys five sweets each — Я дал мальчикам каждому по пять конфет.
3) Если местоимение each относится к подлежащему, оно может стоять сразу после подлежащего или после вспомогательного глагола, которые ставятся во множественном числеThe bananas each are good/The bananas are each good — Все эти бананы хорошие. (каждый из...)
4) Местоимения each и every близки по значению, и во многих случаях одно из них можно заменить на другое. Each предпочтительно в контекстах, когда речь идет о соответствующих лицах или предметах по отдельности; every более естественно в случае, если все такие лица или предметы присутствуют в одном месте.•— Опущение предлога в выражениях времени, включающих местоимение each см. Prepositions "at", "in", "on": time, 4.
-
57 either
1)а) Местоимение either употребляется как прилагательное перед существительным без артикля и притяжательного или указательного местоимения. Существительное стоит в единственном числе:Here are Mary and Jane, you may talk to either girl — Вот Мэри и Джейн, ты можешь поговорить с любой девушкой.
б) Перед существительными с артиклем или притяжательным или указательным местоимением, а также перед личным местоимением местоимение either употребляется с предлогом of, при этом существительное или местоимение ставится во множественном числе:John and Mary were there, too. Have you seen either of them? — Джон и Мэри тоже там были. Ты видел кого-нибудь из них?
2) Иногда either может употребляться в значении "каждый", в частности, в выражениях at either side - с каждой стороны (из двух), at either end — на том и на другом конце и т.п.3) Either может употребляться как наречие в значении "тоже, также" в отрицательных предложенияхI haven't got any children either — У меня тоже нет детей
-
58 every
1)а) Местоимение every употребляется как прилагательное перед существительным без артикля и притяжательного или указательного местоимения. Существительное стоит в единственном числе:б) Перед существительными с артиклем, притяжательным или указательным местоимением, а также перед личным местоимением используется кострукция every one + of, при этом существительное или местоимение употребляется во множественном числе:2) Местоимение every может стоять перед существительными в форме множественного числа в выражениях, обозначающих интервалы времениI shall write to you every two weeks — Я буду писать тебе каждые две недели.
•— Опущение предлога в выражениях времени, включающих местоимение every см. Prepositions "at", "in", "on": time, 4.
-
59 everybody
1) Местоимение everybody относится только к людям и является более неофициальным, чем everyone2) Everybody употребляется как существительное• -
60 everyone
1) Местоимение everyone имеет орфографический вариант every one2) Местоимение everyone относится только к людям3) Everyone употребляется как существительное•
См. также в других словарях:
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
