-
61 квантор
m. quantor, quantifier -
62 существование
n. existence, presence; доказательство существования, existence proof; квантор существования, existential quantifierРусско-английский словарь математических терминов > существование
-
63 бескванторный
1) quantifier-free
2) quantor-free -
64 квантователь гладкий
<comput.> notchless quantifierРусско-английский технический словарь > квантователь гладкий
-
65 квантор
1) quantifier
2) quantor
– квантор общности
– квантор существования
– навешивать квантор
– ограниченный квантор -
66 квантор общности
-
67 ограниченный квантор
Русско-английский технический словарь > ограниченный квантор
-
68 бескванторная формула
Mathematics: quantifier-free formulaУниверсальный русско-английский словарь > бескванторная формула
-
69 бескванторное высказывание
Mathematics: quantifier-free sentence, quantor-free statementУниверсальный русско-английский словарь > бескванторное высказывание
-
70 бескванторное исчисление
Mathematics: quantifier-free calculusУниверсальный русско-английский словарь > бескванторное исчисление
-
71 бескванторный
1) Mathematics: quantifier-free2) Makarov: quantor-free -
72 бескванторный вывод
Mathematics: quantifier-free inferenceУниверсальный русско-английский словарь > бескванторный вывод
-
73 всеобщий квантор
General subject: universal quantifier -
74 гиперарифметический квантор
Mathematics: hyperarithmetical quantifierУниверсальный русско-английский словарь > гиперарифметический квантор
-
75 дозатор
1) General subject: batcher, (капельницы) dipper2) Geology: loading bin, loading box, measuring chute, measuring pocket3) Aviation: metering unit4) Medicine: dispensing apparatus, dosimeter, dosing device, meter5) Military: meter device6) Engineering: batch bin, batchbox, batching bin, batchmeter, dispensing mechanism, distribution device (смазки), doser, dosing unit, feeder, hatcher, measure feeder, measurer, measuring apparatus, measuring bin, measuring equipment, measuring instrument, measuring tool, measuring valve, metering apparatus, metering bin, metering device, metering valve, proportioner, proportioning device, sampler, weigh-feeder, weigher7) Agriculture: percentage feeder8) Construction: batch box, batch plant, proportioning apparatus, weigh box, set-up9) Railway term: batch meter (для бетона)10) Automobile industry: metering unit (топливного насоса), (весовой) weigh batcher, (весовой) weighing batcher, (весовой) weighing hopper11) Mining: loading bin (скипового подъёма), loading box (скипового подъёма), loading cartridge (скипового подъёма), measuring bin (скипового подъёма), measuring chute (скипового подъёма), measuring flask (скипового подъёма), scale pocket, weighing hopper12) Forestry: metering mechanism, portioning device, quantifier, regulating chest13) Metallurgy: dosing mechanism, feed-control device, weighing device14) Electronics: dispensing system15) Oil: batch meter, batching plant, measuring hopper, proportioneer, proportioning unit, weight hopper16) Astronautics: dosator17) Food industry: dosing apparatus18) Silicates: measuring chute (скипового подъёмника)19) Metrology: batching system20) Mechanics: batching counter21) Perfume: pump22) Ecology: dosing tank23) Drilling: weighting hopper24) Polymers: dosing plant, feed chamber, measuring machine, proportioning equipment25) Programming: weigh hopper26) Automation: metering control, weighting device27) Arms production: valve body28) Chemical weapons: dosing vessel29) Chromatography: injector30) Makarov: batcher (для бетона), batcher plant, batchmeter (для бетона), dose-meter, dosemeter, doser (дозирующее устройство), dosing machine, measuring device, measuring hopper (дозирующее устройство), measuring hopper (сыпучих сред), meter regulator, portioning unit, rationer, weighing-machine31) Electrochemistry: bath plant33) Cement: batcher bin, proportioning plant34) Cosmetology: batch container -
76 импликационный квантор
Mathematics: implicational quantifierУниверсальный русско-английский словарь > импликационный квантор
-
77 йота-оператор
Linguistics: definite quantifier -
78 квантор
1) Mathematics: quantifier, quantor2) Linguistics: Q -
79 квантор выбора
Mathematics: choice quantifier -
80 квантор существование
Makarov: existential quantifierУниверсальный русско-английский словарь > квантор существование
См. также в других словарях:
quantifier — [ kɑ̃tifje ] v. tr. <conjug. : 7> • 1897; angl. to quantify (1840); lat. médiév. quantificare 1 ♦ Log. Attribuer une quantité à (un terme). 2 ♦ Attribuer une grandeur mesurable à (un phénomène). Quantifier le coût d une mesure sociale. 3 ♦… … Encyclopédie Universelle
quantifier — [kwänt′ə fī΄ər] n. Logic a word, term, prefix, symbol, etc. that quantifies … English World dictionary
quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… … Philosophy dictionary
quantifier — noun 1. (logic) a word (such as some or all or no ) that binds the variables in a logical proposition • Syn: ↑logical quantifier • Topics: ↑logic • Hypernyms: ↑word … Useful english dictionary
quantifier — /kwon teuh fuy euhr/, n. 1. Logic. an expression, as all or some, that indicates the quantity of a proposition. Cf. existential quantifier, universal quantifier. 2. a word, esp. a modifier, that indicates the quantity of something. [1875 80;… … Universalium
quantifier — noun a) A word, such as all or many, that expresses a quantity b) The operator, represented by either of the symbols ∀ (universal quantifier) or ∃ (existential quantifier), used in … Wiktionary
quantifier — UK [ˈkwɒntɪˌfaɪə(r)] / US [ˈkwɑntəˌfaɪər] noun [countable] Word forms quantifier : singular quantifier plural quantifiers linguistics a word or phrase such as much or a few that is used with another word to show quantity … English dictionary
quantifier — quan•ti•fi•er [[t]ˈkwɒn təˌfaɪ ər[/t]] n. 1) pho logic an expression, as “all” or “some,” that indicates the quantity of a proposition Compare existential quantifier universal quantifier 2) gram. a word or phrase, usu. modifying a noun, that… … From formal English to slang
quantifier — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m … Automatikos terminų žodynas
quantifier — [[t]kwɒ̱ntɪfaɪə(r)[/t]] quantifiers N COUNT In grammar, a quantifier is a word or phrase such as plenty or a lot which you use to refer to a quantity of something without being precise. It is often followed by of , as in a lot of money … English dictionary
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia