UNDECIDABLE FORMULA

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

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

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

UNDECIDABLE FORMULA — мат. неразрешимая формула
Большой Англо-Русский словарь
UNDECIDABLE FORMULA — мат. неразрешимая формула
Новый большой Англо-Русский словарь
FORMULA — I. ˈfȯrmyələ, -ȯ(ə)m- noun ( plural formu·las -ləz ; also formu·lae -ˌlē, -ˌlī) Usage: often attributive Etymology: Latin, diminutive of …
Webster's New International English Dictionary
UNDECIDABLE — |ən+ adjective : not capable of being decided
Webster's New International English Dictionary
UNDECIDABLE — adj.
Random House Webster's Unabridged English Dictionary
FORMULA — /fawr"myeuh leuh/ , n. , pl. formulas, formulae /-lee'/ . 1. a set form of words, as for stating or …
Random House Webster's Unabridged English Dictionary
UNDECIDABLE — ■ adjective not able to be firmly established or refuted. Derivatives undecidability noun
Concise Oxford English vocab
FORMULA — / ˈfɔːmjələ; NAmE ˈfɔ:rm-/ noun ( pl. for·mu·las or, especially in scientific use, for·mu·lae / -liː; NAmE /) 1. [ …
Oxford Advanced Learner's English Dictionary
FORMULA — for ‧ mu ‧ la S3 W3 AC /ˈfɔːmjələ, ˈfɔːmjʊlə $ ˈfɔːr-/ BrE AmE noun ( plural formulas or formulae …
Longman Dictionary of Contemporary English
FORMULA — ( formulae /fɔ:(r)mjʊli:/ , or formulas) Frequency: The word is one of the 3000 most common words in English. 1. …
Collins COBUILD Advanced Learner's English Dictionary
FORMULA — noun COLLOCATIONS FROM OTHER ENTRIES baby/formula milk (= milk in powder form for babies ) ▪ Many babies are fed …
Longman DOCE5 Extras English vocabulary
FORMULA — [noun] [C] [plural] formulas or formulae - a standard or accepted way of doing or making something, the items needed …
Cambridge English vocab
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
FORMULA — сущ. 1) формула, формулировка to devise a formula ≈ формулировать a scientific formula ≈ научная формула At the Yalta Conference …
Большой Англо-Русский словарь
FORMULA — formula.ogg ʹfɔ:mjʋlə n ( pl тж. -lae) 1. формула legal formula - юридическая формула «sincerely yours» is a formula used …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMULA — 1) химическая формула 2) (математическая) формула; аналитическое выражение; уравнение 3) состав; композиция; рецептура • formula with backward differences — интерполяционная …
Большой Англо-Русский политехнический словарь
FORMULA — 1) химическая формула 2) (математическая) формула; аналитическое выражение; уравнение 3) состав; композиция; рецептура • formula with backward differences — интерполяционная формула Ньютона для интерполирования …
Большой Англо-Русский политехнический словарь - РУССО
UNDECIDABLE — неразрешимый essentially undecidable system — существенно неразрешимая система essentially undecidable theory — существенно неразрешимая теория hereditarily undecidable theory — наследственно неразрешимая теория nonessentially undecidable …
Англо-Русский научно-технический словарь
FORMULA — 1) рецепт 2) формула || формульный 3) формулировка • to follow the formula — подчиняться [следовать] формуле; описываться формулой - arithmetically provable formula - arithmetically valid …
Англо-Русский научно-технический словарь
UNDECIDABLE — неразрешимый
Англо-Русский словарь Tiger
FORMULA — n ( pl тж. -lae) 1. формула legal formula - юридическая формула «sincerely yours» is a formula used in letters …
Большой новый Англо-Русский словарь
FORMULA — сущ. 1) формула, формулировка to devise a formula — формулировать a scientific formula — научная формула At the Yalta Conference …
Англо-Русский словарь по общей лексике
FORMULA — сущ. 1) формула, формулировка to devise a formula — формулировать a scientific formula — научная формула At the Yalta Conference verbal formulae were found …
Англо-Русский словарь общей лексики
FORMULA — в соч. - assumption formula - design formula - facet formula - fundamental formula - rating formula - three-two-one formula
Англо-Русский словарь по машиностроению и автоматизации производства 2
FORMULA — в соч. - assumption formula - design formula - facet formula - fundamental formula - rating formula - three-two-one formula
Англо-Русский словарь по машиностроению и автоматизации производства
FORMULA — формула - antigenic formula - constitutional formula - dental formula - flower formula - Hardy formula - vertebral formula
Новый Англо-Русский словарь по биологии
FORMULA — формула - antigenic formula - constitutional formula - dental formula - flower formula - Hardy formula - vertebral formula
Новый Англо-Русский биологический словарь
FORMULA — 1) формула (химическая, математическая) 2) состав, композиция 3) шаблон, стереотип • - approximation formula - average end area formula - bending formula - Chezy formula - column formula - …
Англо-Русский словарь по строительству и новым строительным технологиям
FORMULA — формула; аналитическое выражение - accessing formula - assumption formula - atomic formula - Bayes' formula - compound interest formula - congruous formulas - design formula - duplication formula - …
Англо-Русский словарь по вычислительной технике и программированию
FORMULA — формула; аналитическое выражение - Bayes' formula - accessing formula - assumption formula - compound interest formula - congruous formulas - …
Англо-Русский словарь компьютерных терминов
FORMULA — формула - Air Transport Association formula - approximation formula - assumption formula - basic formula - COLA formula - cost-of-living …
Англо-Русский словарь по экономике и финансам
FORMULA — 1) формула, уравнение 2) состав, композиция - Allen-Hazen formula - approximation formula - beam design formula - bending formula - …
Англо-Русский строительный словарь
FORMULA — 1) формула 2) уравнение 3) аналитическое выражение 4) состав, композиция • - Bayes formula - Erlang formulas - Hartley formula - internode-tension formula - Nernst formula - Palm-Jacobeus formula - Sabine …
Англо-Русский словарь по телекоммуникациям
FORMULA — n infml 1) In our place the formula goes like this — Мы поступаем в таком случае следующим образом His formula can be …
Новый Англо-Русский словарь современной разговорной лексики - Глазунов
FORMULA — n infml 1) In our place the formula goes like this — Мы поступаем в таком случае следующим образом His …
Новый Англо-Русский словарь современной разговорной лексики
FORMULA — formula n infml 1. In our place the formula goes like this Мы поступаем в таком случае следующим образом His …
Англо-Русский новый словарь современного неформального английского языка
FORMULA — (pl formulas, formulae) 1) формула 2) юридическая формула, юридическая формулировка 3) рецепт 4) шаблон, стереотип • - assumption formula - chemical formula - formula of invention - legal formula - …
Англо-Русский словарь по патентам и товарным знакам
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
FORMULA — сущ. 1) формула, формулировка to devise a formula ≈ формулировать a scientific formula ≈ научная формула At the Yalta Conference …
Новый большой Англо-Русский словарь
UNDECIDABLE — неразрешимый
Англо-Русский словарь
UNDECIDABLE THEOR — мат. неразрешимая теория
Большой Англо-Русский словарь
UNDECIDABLE SYSTEM — мат. неразрешимая система
Большой Англо-Русский словарь
UNDECIDABLE STRUCTURE — мат. неразрешимая структура
Большой Англо-Русский словарь
UNDECIDABLE SENTENCE — мат. неразрешимое предложение
Большой Англо-Русский словарь
UNDECIDABLE RELATION — мат. неразрешимое отношение
Большой Англо-Русский словарь
UNDECIDABLE PROPOSITION — мат. неразрешимое предложение
Большой Англо-Русский словарь
UNDECIDABLE PROBLEM — неразрешимая задача
Большой Англо-Русский словарь
UNDECIDABLE PREDICATE — мат. неразрешимый предикат
Большой Англо-Русский словарь
UNIVERSALLY VALID FORMULA — универсально общезначимая формула verifiable formula untestable formula unsatisfiable formula unreliazable formula unprovable formula universal formula underivable formula undecidable formula unary formula two-level formula truncated formula true formula translation formula transfinite formula topological formula testing formula terminal formula tabulated …
Англо-Русский научно-технический словарь
TURING, ALAN (MATHISON) — born June 23, 1912, London, Eng. died June 7, 1954, Wilmslow, Cheshire English mathematician and logician. He studied at the …
Английский словарь Британика
INDETERMINABLE — adj. cannot be confirmed, cannot be definitely ascertained or discovered by investigation; cannot be settled, undecidable
Толковый словарь английского языка - Редакция bed
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
TURING MACHINE — hypothetical computing device introduced in 1936 by the English mathematician and logician Alan M. Turing. Turing originally conceived the machine …
Britannica English vocabulary
HILBERT, DAVID
Britannica English vocabulary
TURING, ALAN MATHISON — born June 23, 1912, London, Eng. died June 7, 1954, Wilmslow, Cheshire English mathematician and logician. He studied at the …
Britannica Concise Encyclopedia
TURING, ALAN — born June 23, 1912, London, Eng. died June 7, 1954, Wilmslow, Cheshire English mathematician and logician. He studied at the …
Britannica Concise Encyclopedia
INTUITIONISTIC LOGIC — < logic , mathematics > Brouwer's foundational theory of mathematics which says that you should not count a proof of …
FOLDOC Computer English Dictionary
DECIDABILITY — < mathematics > A property of sets for which one can determine whether something is a member or not in …
FOLDOC Computer English Dictionary
НЕРАЗРЕШИМЫЙ — adj. unsolvable, insoluble, undecidable
Russian-English Dictionary of the Mathematical Sciences
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
STRUCTURE — 1) вид 2) конструкция 3) построение 4) сооружение 5) состав 6) строение 7) структура 8) структурировать 9) текстура 10) формация • almost complex structure — почти комплексная структура bipolar insulated-gate structure — …
Англо-Русский научно-технический словарь
STRONGLY — сильно, строго locally strongly adequate language — локально строго адекватный язык locally strongly convex metric — локально строго выпуклая метрика locally strongly convex …
Англо-Русский научно-технический словарь
НЕРАЗРЕШИМОЕ ПРЕДЛОЖЕНИЕ — мат. undecidable proposition, undecidable sentence
Большой Русско-Английский словарь

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

← UNDECIDABLE ARITHMETIC UNDECIDABLE PREDICATE→