EXISTENTIALLY QUANTIFIED

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

связанный квантором существования; стоящий под квантором существования

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

EXISTENTIALLY QUANTIFIED — мат. связанный квантором существования; стоящий под квантором существования
Большой Англо-Русский словарь
EXISTENTIALLY QUANTIFIED — матем. связанный квантором существования; стоящий под квантором существования
Англо-Русский научно-технический словарь
EXISTENTIALLY QUANTIFIED — связанный квантором существования; стоящий под квантором существования
Англо-Русский словарь по компьютерам
EXISTENTIALLY QUANTIFIED — мат. связанный квантором существования; стоящий под квантором существования
Новый большой Англо-Русский словарь
QUANTIFIED — квантованный, дискретный purely quantified proposition — чисто кванторное предложение - existentially quantified - quantified theory - quantified variable
Англо-Русский научно-технический словарь
QUANTIFIED — матем. стоящий под квантором - existentially quantified
Англо-Русский словарь по компьютерам
QUANTIFIED — матем. стоящий под квантором - existentially quantified
Англо-Русский словарь по вычислительной технике и программированию
EXISTENTIALLY — adverb see: existential
Толковый словарь английского языка - Merriam Webster
EXISTENTIALLY — adverb see existential
Webster's New International English Dictionary
QUANTIFIED — adj. having a determined quantity; having an expressible quantity
Толковый словарь английского языка - Редакция bed
EXISTENTIALLY — see existential
Merriam-Webster's Collegiate English vocabulary
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 количественный
Большой Англо-Русский словарь
EXISTENTIALLY — Экзистенциально
Большой Англо-Русский словарь
QUANTIFIED — стоящий под квантором - exislentially quantified
Англо-Русский словарь компьютерных терминов
QUANTIFIED — матем. стоящий под квантором exislentially quantified Квантифицирующийся quantified количественный
Новый большой Англо-Русский словарь
EXISTENTIALLY — Экзистенциально
Новый большой Англо-Русский словарь
QUANTIFIER — < logic > An operator in predicate logic specifying for which values of a variable a formula is true. Universally …
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
EXISTENTIALLY INTERPRETABLE THEOR — мат. экзистенциально интерпретируемая теория
Большой Англо-Русский словарь
EXISTENTIALLY DEFINABLE — мат. экзистенциально определимый
Большой Англо-Русский словарь
EXISTENTIALLY CLOSED — мат. экзистенциально замкнутый
Большой Англо-Русский словарь
EXISTENTIALLY INTERPRETABLE THEORY — матем. экзистенциально интерпретируемая теория
Англо-Русский научно-технический словарь
EXISTENTIALLY DEFINABLE — матем. экзистенциально определимый
Англо-Русский научно-технический словарь
EXISTENTIALLY COMPLETE — матем. экзистенциально полный
Англо-Русский научно-технический словарь
EXISTENTIALLY CLOSED GROUP — матем. экзистенциально замкнутая группа
Англо-Русский научно-технический словарь
EXISTENTIALLY CLOSED — матем. экзистенциально замкнутый
Англо-Русский научно-технический словарь
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
EXISTENTIAL — — existentially , adv. /eg'zi sten"sheuhl, ek'si-/ , adj. 1. pertaining to existence. 2. of, pertaining to, or characteristic of …
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
ROA BASTOS, AUGUSTO — born June 13, 1917, Iturbe, Paraguay Latin-American novelist, short-story and film-script writer of national and international fame. Born in a …
Britannica English vocabulary
FUENTES, CARLOS — born November 11, 1928, Mexico City, Mexico Mexican novelist, short-story writer, playwright, critic, and diplomat whose experimental novels won him …
Britannica English vocabulary
EXISTENTIAL — adj. 1 of or relating to existence. 2 Logic (of a proposition etc.) affirming or implying the existence of a …
Concise Oxford English Dictionary
EXISTENTIAL — adj.1 of or relating to existence. 2 Logic (of a proposition etc.) affirming or implying the existence of a thing. …
Oxford English vocab
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
CRITIC — noun COLLOCATIONS FROM OTHER ENTRIES a film critic ▪ The review was written by 'The Daily Telegraph’s' film critic. confound …
Longman DOCE5 Extras English vocabulary
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
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
STRUCTURE — 1) вид 2) конструкция 3) построение 4) сооружение 5) состав 6) строение 7) структура 8) структурировать 9) текстура 10) формация • almost complex structure — почти комплексная структура bipolar insulated-gate structure — …
Англо-Русский научно-технический словарь
GROUP — 1) группа, ансамбль || групповой - finishing mill group - roughing mill group 2) совокупность; комплект 3) группировка || группировать(ся) 4) группировочный 5) класс; категория || …
Англо-Русский научно-технический словарь
DEFINABLE — определимый - algebraically definable - arithmetically definable - canonically definable - combinatorially definable - conditionally definable - constructively definable - disjunctively definable - equationally definable class - equationally definable - …
Англо-Русский научно-технический словарь
COMPLETE — 1) выполнять; завершать; заканчивать 2) комплектовать, укомплектовывать 3) полный, законченный, завершённый 4) совершенный, абсолютный • in comlete with — в комлекте с to complete the square …
Англо-Русский научно-технический словарь
CLOSED — 1) закрытый 2) замкнутый 3) запертый 4) законченный • closed from below — замкнутый снизу closed on the left — замкнутый слева closed on the right — …
Англо-Русский научно-технический словарь

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

← EXISTENTIAL QUANTIFIER EXIT→