-
1 quantified
-
2 quantified
Большой англо-русский и русско-английский словарь > quantified
-
3 quantified
-
4 quantified
English-Russian dictionary of computer science and programming > quantified
-
5 quantified
1. стоящий под квантором2. дискретный3. выраженный в количественной форме; количественный; связанный квантором; стоящий под знаком квантора -
6 quantified
определял количество; определенный количественно -
7 quantified
выраженный в количественной форме
количественный
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > quantified
-
8 quantified emission limit
количественное ограничение выбросов
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > quantified emission limit
-
9 quantified system analysis
количественный анализ системы
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > quantified system analysis
-
10 quantified theor
Большой англо-русский и русско-английский словарь > quantified theor
-
11 quantified variable
переменная под знаком квантора, квантифицируемая переменнаяБольшой англо-русский и русско-английский словарь > quantified variable
-
12 quantified
1) квантованный
2) дискретный -
13 Quantified Emissions Limitations and Reductions Objectives (QELRO)
Экология: количественные ограничения сокращений и целей по сокращению (КОСЦС)Универсальный англо-русский словарь > Quantified Emissions Limitations and Reductions Objectives (QELRO)
-
14 quantified
1) Компьютерная техника: выраженный в количественной форме, количественный, связанный квантором, стоящий под знаком квантора2) Техника: дискретный3) Математика: квантованный, стоящий под квантором4) Робототехника: выраженный количественно -
15 quantified analysis
Атомная энергия: количественный анализ -
16 quantified boolean formulas
Программирование: булевы формулы с кванторамиУниверсальный англо-русский словарь > quantified boolean formulas
-
17 quantified fatigue
Авиационная медицина: количественно оцениваемое утомление -
18 quantified probability
Техника: количественная вероятностьУниверсальный англо-русский словарь > quantified probability
-
19 quantified risk
Техника: количественно выраженный риск -
20 quantified system analysis
Контроль качества: количественный анализ системыУниверсальный англо-русский словарь > quantified system analysis
См. также в других словарях:
quantified — index definite Burton s Legal Thesaurus. William C. Burton. 2006 … Law dictionary
quantified — adjective a) measured b) used as a quantifier Ant: non quantified, unquantified … Wiktionary
quantified — un·quantified; … English syllables
quantified — Synonyms and related words: a, admeasured, an, any, appraised, assessed, certain, gauged, known by measurement, mapped, measured, metered, one, plotted, quantitative, quantitive, quantized, some, surveyed, triangulated, valuated, valued … Moby Thesaurus
quantified — adj. having a determined quantity; having an expressible quantity quan·ti·fy || kwÉ‘ntɪfaɪ / kwÉ’ v. determine quantity; express the quantity … English contemporary dictionary
quantified self — /kwɒntəfaɪd ˈsɛlf/ (say kwontuhfuyd self) noun the, the concept of using technology to obtain data about oneself, often as part of a health improvement program. See self quantifying …
quantified — … 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
non-quantified — adjective Not quantified. Syn: unquantified Ant: quantified … Wiktionary
Marginal utility — In economics, the marginal utility of a good or service is the utility gained (or lost) from an increase (or decrease) in the consumption of that good or service. Economists sometimes speak of a law of diminishing marginal utility, meaning that… … 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