FORMAL DECIDABILITY

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

матем. формальная разрешимость

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

FORMAL DECIDABILITY — мат. формальная разрешимость
Большой Англо-Русский словарь
FORMAL DECIDABILITY — мат. формальная разрешимость
Новый большой Англо-Русский словарь
FORMAL — adj formal
Interlingua English vocab
DECIDABILITY — noun see: decide
Толковый словарь английского языка - Merriam Webster
FORMAL
Webster's New International English Dictionary
FORMAL — (a.) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal courtesy, etc.
Английский словарь Webster
FORMAL — (a.) Devoted to, or done in accordance with, forms or rules; punctilious; regular; orderly; methodical; of a prescribed form; exact; …
Английский словарь Webster
FORMAL — (a.) Done in due form, or with solemnity; according to regular method; not incidental, sudden or irregular; express; as, he …
Английский словарь Webster
FORMAL — ( a. ) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal …
Webster's Revised Unabridged English Dictionary
FORMAL — formal 1 — formalness , n. /fawr"meuhl/ , adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: …
Random House Webster's Unabridged English Dictionary
DECIDABILITY — see decide
Merriam-Webster's Collegiate English vocabulary
FORMAL — I. ˈfȯr-məl adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. : belonging to or …
Merriam-Webster's Collegiate English vocabulary
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
Webster English vocab
FORMAL — [for.mal] adj [ME, fr. MF or L; MF, fr. L formalis, fr. forma] (14c) 1 a: belonging to or constituting …
Merriam-Webster English vocab
FORMAL — / ˈfɔːml; NAmE ˈfɔːrml/ adjective 1. ( of a style of dress, speech, writing, behaviour, etc. ) very correct and …
Oxford Advanced Learner's English Dictionary
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
Longman Dictionary of Contemporary English
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Concise Oxford English Dictionary
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Oxford English vocab
FORMAL — ( formals) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour …
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — (~s) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour is …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
FORMAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a formal announcement ▪ A formal announcement will be made in Parliament. a formal …
Longman DOCE5 Extras English vocabulary
FORMAL — n. 25B6; adjective a formal dinner : CEREMONIAL, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy. …
Concise Oxford Thesaurus English vocabulary
DECIDABILITY — < mathematics > A property of sets for which one can determine whether something is a member or not in …
FOLDOC Computer English Dictionary
FORMAL — 1. FORmula MAnipulation Language. An early Fortran extension for symbolic mathematics . ["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer …
FOLDOC Computer English Dictionary
FORMAL — adj. 1 standard, conventional, customary, established, prescribed, regular, normal, correct, proper; strict, formulaic, inflexible, punctilious, exacting, unchanging, methodical, orderly, systematic, …
Oxford Thesaurus English vocab
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
DECIDABILITY — разрешимость Разрешимость decidability разрешимость
Большой Англо-Русский словарь
DECIDABILITY — Независимость системы аксиом
Американский Англо-Русский словарь
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DECIDABILITY — разрешимость - complete decidability - decidability problem - degree of decidability - effective decidability - formal decidability - general decidability - linear decidability - partial decidability - probabilistic decidability
Англо-Русский научно-технический словарь
FORMAL — formal прил.1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) матем., логика строгий, формальный (о максимально точном и выразительном …
Англо-Русский словарь Tiger
DECIDABILITY — разрешимость
Англо-Русский словарь Tiger
FORMAL — 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних туалетах …
Большой новый Англо-Русский словарь
FORMAL — _a. 1> официальный; formal permission - официальное разрешение - formal call 2> формальный; номинальный - formal acquiescence 3> относящийся к …
Англо-Русский словарь Мюллера - 24 редакция
FORMAL — a. 1. официальный; formal permission - официальное разрешение - formal call 2. формальный; номинальный - formal acquiescence 3. относящийся к …
Англо-Русский словарь Мюллера - редакция bed
DECIDABILITY — разрешимость
Англо-Русский словарь по компьютерам
FORMAL — прил. официальный - formal approach - formal authority - formal bid - formal framework - formal organization - formal relationship
Англо-Русский словарь по экономике
DECIDABILITY — разрешимость
Англо-Русский словарь по вычислительной технике и программированию
FORMAL — _a. 1> официальный; formal call официальный визит; formal permission официальное разрешение 2> формальный; номинальный; formal acquiescence формальное согласие 3> относящийся …
Англо-Русский словарь Мюллера
DECIDABILITY — разрешимость
Англо-Русский словарь компьютерных терминов
FORMAL — 1. прил. 1) общ. официальный, формальный, надлежаще оформленный(выполненный по установленной форме, в соответствии с каким-либо законом); formal agreement [notice, protest] — официальное …
Новый англо-русский толковый словарь по менеджменту и экономике труда
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Новый большой Англо-Русский словарь
DECIDABILITY — разрешимость Разрешимость decidability разрешимость
Новый большой Англо-Русский словарь
DECIDABILITY — разрешимость
Англо-Русский словарь
PROBABILISTIC DECIDABILITY — мат. вероятностная разрешимость
Большой Англо-Русский словарь
PARTIAL DECIDABILITY — мат. частичная разрешимость
Большой Англо-Русский словарь
LINEAR DECIDABILITY — мат. линейная разрешимость
Большой Англо-Русский словарь
GENERAL DECIDABILITY — мат. общая разрешимость
Большой Англо-Русский словарь
EFFECTIVE DECIDABILITY — мат. эффективная разрешимость
Большой Англо-Русский словарь
DEGREE OF DECIDABILITY — мат. степень разрешимости
Большой Англо-Русский словарь
DECIDABILITY PROBLEM — проблема разрешимости
Большой Англо-Русский словарь
COMPLETE DECIDABILITY — мат. полная разрешимость
Большой Англо-Русский словарь
DECIDE — verb (~d; deciding) Etymology: Middle English, from Latin ~re, literally, to cut off, from de- + caedere to cut Date: …
Толковый словарь английского языка - Merriam Webster
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
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
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
MODAL LOGIC — An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly …
FOLDOC Computer English Dictionary
MATHEMATICS — infinity inner product algebra logic prime number theorem Rayleigh distribution set theory Mandelbrot set fractal logarithmus dualis characteristic function sine …
FOLDOC Computer English Dictionary
DECISION PROBLEM — < theory > A problem with a yes/no answer. Determining whether some potential solution to a question is actually a …
FOLDOC Computer English Dictionary
DECIDABLE — decidability
FOLDOC Computer English Dictionary
РАЗРЕШИМОСТЬ — v. solvability, decidability; проблема разрешимости, decision problem, decidability problem
Russian-English Dictionary of the Mathematical Sciences
НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — Decidability
Русско-Американский Английский словарь
PROBLEM — 1) задача 2) неисправность 3) проблема • algorithmically unsolvable problem — алгоритмически неразрешимая проблема attack problem by methods — разрабатывать проблему методами axially symmetric problem — …
Англо-Русский научно-технический словарь

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

← FORMAL CRITERION FORMAL DEDUCIBILITY→