FORMALLY DECIDABLE

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

матем. формально разрешимый

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

FORMALLY DECIDABLE — мат. формально разрешимый
Большой Англо-Русский словарь
FORMALLY DECIDABLE — мат. формально разрешимый
Новый большой Англо-Русский словарь
FORMALLY — adverb see: formal
Толковый словарь английского языка - Merriam Webster
DECIDABLE — adjective see: decide
Толковый словарь английского языка - Merriam Webster
FORMALLY — ˈ ̷ ̷məlē, -li adverb Etymology: Middle English, from formal + -ly : in a formal manner: as a. : with respect …
Webster's New International English Dictionary
DECIDABLE — də̇ˈsīdəbəl, dēˈ- adjective : capable of being decided ; specifically : capable of being decided as following or not following …
Webster's New International English Dictionary
FORMALLY — (adv.) In a formal manner; essentially; characteristically; expressly; regularly; ceremoniously; precisely.
Английский словарь Webster
DECIDABLE — (a.) Capable of being decided; determinable.
Английский словарь Webster
FORMALLY — ( adv. ) In a formal manner; essentially; characteristically; expressly; regularly; ceremoniously; precisely.
Webster's Revised Unabridged English Dictionary
DECIDABLE — ( a. ) Capable of being decided; determinable.
Webster's Revised Unabridged English Dictionary
FORMALLY — /fawr"meuh lee/ , adv. 1. in a formal manner: The store was formally opened on Tuesday. 2. as regards form; …
Random House Webster's Unabridged English Dictionary
DECIDABLE — — decidability , n. /di suy"deuh beuhl/ , adj. 1. capable of being decided. 2. Logic. (of an axiom, proposition, …
Random House Webster's Unabridged English Dictionary
FORMALLY — adv. in a formal manner, in a conventional manner
Толковый словарь английского языка - Редакция bed
DECIDABLE — adj. able to be decided, concludable
Толковый словарь английского языка - Редакция bed
FORMALLY — see formal I
Merriam-Webster's Collegiate English vocabulary
DECIDABLE — see decide
Merriam-Webster's Collegiate English vocabulary
FORMALLY — adv in a formal manner; essentially; characteristically; expressly; regularly; ceremoniously; precisely.
Webster English vocab
DECIDABLE — adj capable of being decided; determinable.
Webster English vocab
FORMALLY — formally BrE AmE ˈfɔːm ə l i AmE \ ˈfɔːrm-
Longman Pronunciation English Dictionary
FORMALLY — ➡ formal
Oxford Advanced Learner's English Dictionary
FORMALLY — for ‧ mal ‧ ly S3 /ˈfɔːməli $ ˈfɔːr-/ BrE AmE adverb [ Word Family: noun : ↑ formality ≠ …
Longman Dictionary of Contemporary English
FORMALLY — see formal
Collins COBUILD Advanced Learner's English Dictionary
FORMALLY — see formal
Collins COBUILD - Толковый словарь английского языка для изучающих язык
FORMALLY — adverb COLLOCATIONS FROM CORPUS ■ VERB abandon ▪ But neither should it be formally abandoned until a more persuasive case …
Longman DOCE5 Extras English vocabulary
FORMALLY — [adverb]You will receive a letter formally confirming the appointment.Formally, he has to give approval but there will be no problem.He …
Cambridge English vocab
FORMALLY — adv.
Oxford Collocations Dictionary Second Edition
FORMALLY — adv. Formally is used with these adjectives: ↑ distinct , ↑ educated , ↑ organized , ↑ responsible , ↑ …
Oxford Collocations English Dictionary
DECIDABLE — decidability
FOLDOC Computer English Dictionary
FORMALLY — нареч. официально, формально Syn : nominally, officially официально - to act * действовать официально - * confirmed официально подтверждено с …
Большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Большой Англо-Русский словарь
FORMALLY — Официальный
Американский Англо-Русский словарь
FORMALLY — formally.ogg ʹfɔ:məlı adv 1. 1> официально to act formally - действовать официально formally confirmed - официально подтверждено 2> с соблюдением …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DECIDABLE — разрешимый - completely decidable - effectively decidable - formally decidable - numeralwise decidable - partially decidable
Англо-Русский научно-технический словарь
FORMALLY — формально
Англо-Русский словарь Tiger
FORMALLY — (n) поверхностно; формалистически
English-Russian Lingvistica'98 dictionary
FORMALLY — (0) внешне; для проформы; официально; по всей форме; с соблюдением принятых правил и норм; с точки зрения формы; формально
English-Russian Lingvistica'98 dictionary
DECIDABLE — (a) разрешимый
English-Russian Lingvistica'98 dictionary
FORMALLY — adv 1. 1) официально to act ~ - действовать официально ~ confirmed - официально подтверждено 2) с соблюдением принятых правил …
Новый большой Англо-Русский словарь - Апресян, Медникова
DECIDABLE — a разрешимый ~ set - мат. разрешимое множество
Новый большой Англо-Русский словарь - Апресян, Медникова
FORMALLY — adv 1. 1> официально to act formally - действовать официально formally confirmed - официально подтверждено 2> с соблюдением принятых правил …
Большой новый Англо-Русский словарь
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Большой новый Англо-Русский словарь
FORMALLY — adv. официально, формально
English-Russian-dictionary - Bed release
FORMALLY — adv. официально, формально
English-Russian-dictionary - Bed release
FORMALLY — нареч. официально, формально Syn: nominally , officially
Англо-Русский словарь по общей лексике
FORMALLY — нареч. официально, формально Syn: nominally, officially
Англо-Русский словарь общей лексики
FORMALLY — нареч. официально, формально Syn : nominally, officially официально - to act * действовать официально - * confirmed официально подтверждено с …
Новый большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Новый большой Англо-Русский словарь
FORMALLY — формально
Англо-Русский словарь
DECIDE — verb (~d; deciding) Etymology: Middle English, from Latin ~re, literally, to cut off, from de- + caedere to cut Date: …
Толковый словарь английского языка - Merriam Webster
DETERMINABLENESS — n. ability to be determined; quality of being decidable, quality of being able to be settled
Толковый словарь английского языка - Редакция bed
DETERMINABILITY — n. ability to be determined; quality of being decidable, quality of being able to be settled
Толковый словарь английского языка - Редакция bed
DECIDE — ■ verb come to or bring to a resolution in the mind as a result of consideration. ↘give a judgement …
Concise Oxford English vocab
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
LOGIC, HISTORY OF — In 1900 logic was poised on the brink of the most active period in its history. The late 19th-century work …
Britannica English vocabulary
ALGORITHM — systematic procedure that producesin a finite number of stepsthe answer to a question or the solution of a problem. The …
Britannica English vocabulary
DECIDE — v. 1 a intr. (often foll. by on, about) come to a resolution as a result of consideration. b tr. …
Concise Oxford English Dictionary
DECIDE — v. 1. a intr. (often foll. by on, about) come to a resolution as a result of consideration. b tr. …
Oxford English vocab
DECIDABILITY — < mathematics > A property of sets for which one can determine whether something is a member or not in …
FOLDOC Computer English Dictionary
РАЗРЕШИМЫЙ — adj. solvable, decidable, resolvable; аффинно-разрешимый, affine-resolvable; разрешимая длина, solvable length; разрешимое множество, recursive set (logic)
Russian-English Dictionary of the Mathematical Sciences
RELATION — 1) зависимость 2) касательность 3) отношение 4) реляционный 5) родственность 6) связь 7) соотношение • almost regular relation — почти регулярное отношение almost universal relation — почти универсальное отношение causal …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
FUNCTION — 1) функция, действие || функционировать; действовать - decision-making function - essential functions - routine function - safety-related functions 2) функциональное назначение; роль - auxilliary function - circuit …
Англо-Русский научно-технический словарь
FORMULA — 1) рецепт 2) формула || формульный 3) формулировка • to follow the formula — подчиняться [следовать] формуле; описываться формулой - arithmetically provable formula - arithmetically valid …
Англо-Русский научно-технический словарь

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

← FORMALLY CORRECT DEFINITION FORMALLY DECIDABLE FORMULA→