UNDECIDABLE THEOR

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

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

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

UNDECIDABLE THEOR — мат. неразрешимая теория
Новый большой Англо-Русский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
UNDECIDABLE — |ən+ adjective : not capable of being decided
Webster's New International English Dictionary
THEOR — abbreviation theorem
Webster's New International English Dictionary
UNDECIDABLE — adj.
Random House Webster's Unabridged English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
UNDECIDABLE — ■ adjective not able to be firmly established or refuted. Derivatives undecidability noun
Concise Oxford English vocab
UNDECIDABLE — неразрешимый essentially undecidable system — существенно неразрешимая система essentially undecidable theory — существенно неразрешимая теория hereditarily undecidable theory — наследственно неразрешимая теория nonessentially undecidable …
Англо-Русский научно-технический словарь
UNDECIDABLE — неразрешимый
Англо-Русский словарь Tiger
UNDECIDABLE — неразрешимый
Англо-Русский словарь
UNDECIDABLE SYSTEM — мат. неразрешимая система
Большой Англо-Русский словарь
UNDECIDABLE STRUCTURE — мат. неразрешимая структура
Большой Англо-Русский словарь
UNDECIDABLE SENTENCE — мат. неразрешимое предложение
Большой Англо-Русский словарь
UNDECIDABLE RELATION — мат. неразрешимое отношение
Большой Англо-Русский словарь
UNDECIDABLE PROPOSITION — мат. неразрешимое предложение
Большой Англо-Русский словарь
UNDECIDABLE PROBLEM — неразрешимая задача
Большой Англо-Русский словарь
UNDECIDABLE PREDICATE — мат. неразрешимый предикат
Большой Англо-Русский словарь
UNDECIDABLE FORMULA — мат. неразрешимая формула
Большой Англо-Русский словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
TURING, ALAN (MATHISON) — born June 23, 1912, London, Eng. died June 7, 1954, Wilmslow, Cheshire English mathematician and logician. He studied at the …
Английский словарь Британика
-IZE — ˌīz sometimes, as in “baptize”, |īz verb suffix ( -ed/-ing/-s ) Usage: see -ize Etymology: Middle English -isen, from Old …
Webster's New International English Dictionary
THEORY — /thee"euh ree, thear"ee/ , n. , pl. theories . 1. a coherent group of general propositions used as principles of …
Random House Webster's Unabridged English Dictionary
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
THEORY — theor|y BrE AmE ˈθɪər |i ˈθiː ər |i AmE \ ˈθiː ər |i ˈθɪr |i ▷ theor|ies iz
Longman Pronunciation English Dictionary
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
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Большой Англо-Русский словарь
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 …
Англо-Русский научно-технический словарь
ТЕОРИЯ РЕШЕТОК — мат. lattice theor, trellis theor
Большой Русско-Английский словарь
ТЕОРИЯ РАЗМЕРНОСТИ — мат. dimension theor, theor of dimension
Большой Русско-Английский словарь
ТЕОРИЯ ПОРЯДКА — мат. theor of order, theor of ordering
Большой Русско-Английский словарь
ТЕОРИЯ ОПРЕДЕЛИТЕЛЕЙ — мат. determinant theor, theor of determinants
Большой Русско-Английский словарь
ТЕОРИЯ ИЕРАРХИЙ — мат. hierarchy theor, theor of hierarchies
Большой Русско-Английский словарь
ТЕОРИЯ ИДЕАЛОВ — мат. ideal theor, ideal theory, theor of ideals
Большой Русско-Английский словарь
ТЕОРИЯ ГОМОЛОГИЙ — мат. homology theor, theor of homologies
Большой Русско-Английский словарь
ТЕОРИЯ ВЫЧИСЛИМОСТИ — мат. theor of calculability, theor of computability
Большой Русско-Английский словарь
ТЕОРИЯ ВЕТВЛЕНИЯ — мат. bifurcation theor, ramification theor
Большой Русско-Английский словарь
ПРИБЛИЖЕННАЯ ТЕОРИЯ — мат. approximate theor, crude theor
Большой Русско-Английский словарь
ОБОБЩЕННАЯ ТЕОРИЯ — мат. extended theor, generalized theor
Большой Русско-Английский словарь
НЕРАЗРЕШИМОЕ ПРЕДЛОЖЕНИЕ — мат. undecidable proposition, undecidable sentence
Большой Русско-Английский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Новый большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Новый большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Новый большой Англо-Русский словарь

Большой Англо-Русский словарь

← UNDECIDABLE SYSTEM UNDECIDED→