QUANTIFIED

Англо-русский перевод QUANTIFIED

матем. стоящий под квантором - existentially quantified

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

QUANTIFIED — adj. having a determined quantity; having an expressible quantity
Толковый словарь английского языка - Редакция bed
QUANTIFIED — Synonyms and related words : a, admeasured, an, any, appraised, assessed, certain, gauged, known by measurement, mapped, measured, metered, one, …
Moby Thesaurus English vocabulary
QUANTIFIED — матем. стоящий под квантором exislentially quantified Квантифицирующийся quantified количественный
Большой Англо-Русский словарь
QUANTIFIED — квантованный, дискретный purely quantified proposition — чисто кванторное предложение - existentially quantified - quantified theory - quantified variable
Англо-Русский научно-технический словарь
QUANTIFIED — матем. стоящий под квантором - existentially quantified
Англо-Русский словарь по компьютерам
QUANTIFIED — стоящий под квантором - exislentially quantified
Англо-Русский словарь компьютерных терминов
QUANTIFIED — матем. стоящий под квантором exislentially quantified Квантифицирующийся quantified количественный
Новый большой Англо-Русский словарь
PRODUCTIVITY — In economics, a measure of productive efficiency calculated as the ratio of what is produced to what is required to …
Английский словарь Британика
INDESIGNATE — I. ən, (ˈ)in+ adjective Etymology: in- (I) + Latin designatus, past participle of designare to point out, designate : not …
Webster's New International English Dictionary
GENERAL — I. ˈjen(ə)rəl adjective Etymology: Middle English, from Middle French, from Latin generalis, from gener-, genus birth, race, class, kind + …
Webster's New International English Dictionary
UNQUANTIFIED — |ən+ adjective Etymology: un- (I) + quantified, past participle of quantify : not quantified: a. : not qualified by a …
Webster's New International English Dictionary
QUANTIFIABLE — ˈ ̷ ̷ ̷ ̷ˌfīəbəl, ˌ ̷ ̷ ̷ ̷ˈ ̷ ̷ ̷ ̷ ̷ ̷ adjective : capable of being quantified
Webster's New International English Dictionary
GENERALIZATION — ˌjen(ə)rələ̇ˈzāshən, -ˌlīˈz-, rapid ˌjenər(ˌ)l- noun ( -s ) 1. : the act or action of generalizing 2. : the result …
Webster's New International English Dictionary
QUANTIFY — — quantifiable , adj. — quantifiably , adv. — quantification , n. /kwon"teuh fuy'/ , v.t., quantified, quantifying . 1. …
Random House Webster's Unabridged English Dictionary
QUANTITATIVE ANALYSIS — test of variables which can be precisely quantified
Толковый словарь английского языка - Редакция bed
QUANTIFY — ■ verb ( quantifies , ~ing , quantified ) 1》 express or measure the quantity of. 2》 Logic define the …
Concise Oxford English vocab
PROFILE — ■ noun 1》 an outline of something, especially a face, as seen from one side. 2》 a vertical cross section …
Concise Oxford English vocab
QUANTIFICATION — in logic, the attachment of signs of quantity to the predicate or subject of a proposition. The universal quantifier, symbolized …
Britannica English vocabulary
PRODUCTIVITY — in economics, the ratio of what is produced to what is required to produce it. Usually this ratio is in …
Britannica English vocabulary
HUMAN BEHAVIOUR
Britannica English vocabulary
GEOLOGIC TIME — the extensive interval of time occupied by the Earth's geologic history. It extends from about 3.9 billion years ago (corresponding …
Britannica English vocabulary
GEOLOGIC SCIENCES — the fields of study concerned with the solid Earth. Included are sciences such as mineralogy, geodesy, and stratigraphy. An introduction …
Britannica English vocabulary
FETAL ALCOHOL SYNDROME — (FAS) various congenital abnormalities in the newborn infant that are caused by the mother's ingestion of significant amounts of alcohol …
Britannica English vocabulary
EVOLUTION
Britannica English vocabulary
QUANTIFY — verb COLLOCATIONS FROM CORPUS ■ NOUN attempt ▪ From this view any attempt to quantify or verify the meanings is …
Longman DOCE5 Extras English vocabulary
IMPORTER — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE big ▪ This has helped make it a big importer of garbage. ▪ Dixon …
Longman DOCE5 Extras English vocabulary
QUANTIFIER — < logic > An operator in predicate logic specifying for which values of a variable a formula is true. Universally …
FOLDOC Computer English Dictionary
GENERIC TYPE VARIABLE — < programming > (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type …
FOLDOC Computer English Dictionary
DEDUCTIVE TABLEAU — < tool > A theorem proof system consisting of a table whose rows contain assertions or goals. Variables in assertions …
FOLDOC Computer English Dictionary
ALPINE DECREE (CALIFORNIA AND NEVADA) — The Federal Court adjudication of the relative water rights on the Carson River which is the primary regulatory control of …
Environmental Engineering English vocabulary
OBJECTIVES — are what the organisation wants to achieve; open objectives are not quantified e.g. to have a happy customer whilst closed …
Raynet Business and Marketing English Glossary

Англо-Русский словарь по вычислительной технике и программированию

← QUANTIFICATION QUANTIFIED VARIABLE→