UNDECIDABLE ARITHMETIC

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

мат. неразрешимая арифметика

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

UNDECIDABLE ARITHMETIC — матем. неразрешимая арифметика
Англо-Русский научно-технический словарь
UNDECIDABLE ARITHMETIC — мат. неразрешимая арифметика
Новый большой Англо-Русский словарь
ARITHMETIC — adj arithmetic, arithmetical
Interlingua English vocab
ARITHMETIC — Branch of mathematics that deals with the properties of Initially it dealt only with the counting numbers, but its definition …
Английский словарь Британика
ARITHMETIC — I. arith·me·tic əˈrithməˌtik noun ( -s ) Etymology: alteration (influenced by Greek arithmētikē ) of earlier arithmetrik, from Middle English, …
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
ARITHMETIC — — arithmetically , adv. n. /euh rith"meuh tik/ ; adj. /ar'ith met"ik/ , n. 1. the method or process of …
Random House Webster's Unabridged English Dictionary
ARITHMETIC — adj. pertaining to arithmetic; of or that involves arithmetic
Толковый словарь английского языка - Редакция bed
ARITHMETIC — noun Etymology: Middle English arsmetrik, from Anglo-French arismatike, from Latin arithmetica, from Greek arithmētikē, from feminine of arithmētikos arithmetical, from …
Merriam-Webster's Collegiate English vocabulary
ARITHMETIC — noun a book containing the principles of this science. 2. arithmetic ·noun the science of numbers; the art of computation …
Webster English vocab
UNDECIDABLE — ■ adjective not able to be firmly established or refuted. Derivatives undecidability noun
Concise Oxford English vocab
ARITHMETIC
Britannica English vocabulary
ARITHMETIC — I arithmetic noun BrE AmE ə ˈrɪθ mə tɪk II arithmetic adjective BrE AmE ˌær ɪθ ˈmet ɪk ◂ -əθ- …
Longman Pronunciation English Dictionary
ARITHMETIC — / əˈrɪθmətɪk; NAmE / noun [ U ] 1. the type of mathematics that deals with the adding, multiplying, etc. …
Oxford Advanced Learner's English Dictionary
ARITHMETIC — I. a ‧ rith ‧ me ‧ tic 1 /əˈrɪθmətɪk/ BrE AmE noun [uncountable] [ Date: 1200-1300 ; Language: Old …
Longman Dictionary of Contemporary English
ARITHMETIC — n. & adj. --n. 1 a the science of numbers. b one's knowledge of this (have improved my arithmetic). 2 …
Английский основной разговорный словарь
ARITHMETIC — n. & adj. n. 1 a the science of numbers. b one's knowledge of this (have improved my arithmetic). 2 …
Concise Oxford English Dictionary
ARITHMETIC — n. & adj. --n. 1. a the science of numbers. b one's knowledge of this (have improved my arithmetic). 2 …
Oxford English vocab
ARITHMETIC — The noun is pronounced /ərɪθmɪtɪk/. The adjective is pronounced /ærɪθmetɪk/. 1. Arithmetic is the part of mathematics that is concerned …
Collins COBUILD Advanced Learner's English Dictionary
ARITHMETIC — 1. Arithmetic is the part of mathematics that is concerned with the addition, subtraction, multiplication, and division of numbers. ...an …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
ARITHMETIC — I. noun COLLOCATIONS FROM OTHER ENTRIES arithmetic progression mental arithmetic ▪ I did a quick bit of mental arithmetic. COLLOCATIONS …
Longman DOCE5 Extras English vocabulary
ARITHMETIC — [noun] [U] - the process of making calculations such as adding, multiplying, etc. using numbersI'm not very good at arithmetic.We've …
Cambridge English vocab
ARITHMETIC — Synonyms and related words : Boolean algebra, Euclidean geometry, Fourier analysis, Lagrangian function, algebra, algebraic geometry, analysis, analytic geometry, associative …
Moby Thesaurus English vocabulary
ARITHMETIC — noun BAD : She comes to see me three times a week for help with her arithmetics. GOOD : She …
Longman Common Errors English vocabulary
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
ARITHMETIC — 1. сущ. арифметика; счет 2. прил.; = arithmetical арифметика - four operations of * четыре действия арифметики (разговорное) арифметика, знание …
Большой Англо-Русский словарь
ARITHMETIC — arithmetic.ogg 1. əʹrıθmətık n 1. 1> арифметика four operations of arithmetic - четыре действия арифметики 2> разг. арифметика, знание арифметики …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ARITHMETIC — 1) арифметика || арифметический 2) арифметические операции 3) арифметическое устройство • - address arithmetic - BCD arithmetic - binary arithmetic …
Большой Англо-Русский политехнический словарь
ARITHMETIC — 1) арифметика || арифметический 2) арифметические операции 3) арифметическое устройство • - address arithmetic - BCD arithmetic - binary arithmetic - binary-coded decimal arithmetic - complex arithmetic - decimal …
Большой Англо-Русский политехнический словарь - РУССО
UNDECIDABLE — неразрешимый essentially undecidable system — существенно неразрешимая система essentially undecidable theory — существенно неразрешимая теория hereditarily undecidable theory — наследственно неразрешимая теория nonessentially undecidable …
Англо-Русский научно-технический словарь
ARITHMETIC — 1) арифметика || арифметический 2) арифметические действия, арифметические операции • - arithmetic of order types - arithmetic of propositions - augmented arithmetic - business arithmetic - cardinal …
Англо-Русский научно-технический словарь
UNDECIDABLE — неразрешимый
Англо-Русский словарь Tiger
ARITHMETIC — 1. arithmetic сущ.арифметика; счет 2. прил.; - arithmetical arithmetic mean среднее арифметическое
Англо-Русский словарь Tiger
ARITHMETIC — 1. əʹrıθmətık n 1. 1> арифметика four operations of arithmetic - четыре действия арифметики 2> разг. арифметика, знание арифметики his …
Большой новый Англо-Русский словарь
ARITHMETIC — арифметика; арифметические операции; арифметические действия || арифметический арифметическое устройство АУ - address arithmetic - binary arithmetic - binary-coded decimal arithmetic - complex arithmetic - decimal …
Англо-Русский словарь по вычислительной технике и программированию
ARITHMETIC — арифметический ; арифметика ; ~ arithmetic mean ; ~ fixed-point arithmetic ; ~ floating-point arithmetic ; ~ mental arithmetic ;
Англо-Русский Деловой словарь
ARITHMETIC — арифметика; арифметические операции см. address arithmetic см. binary arithmetic см. bit serial arithmetic см. clock arithmetic см. cryptographic arithmetic см. …
Англо-Русский словарь компьютерной безопасности
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
ARITHMETIC — 1. сущ. арифметика; счет 2. прил.; = arithmetical арифметика - four operations of * четыре действия арифметики (разговорное) арифметика, знание …
Новый большой Англо-Русский словарь
UNDECIDABLE — неразрешимый
Англо-Русский словарь
UNDECIDABLE THEOR — мат. неразрешимая теория
Большой Англо-Русский словарь
UNDECIDABLE SYSTEM — мат. неразрешимая система
Большой Англо-Русский словарь
UNDECIDABLE STRUCTURE — мат. неразрешимая структура
Большой Англо-Русский словарь
UNDECIDABLE SENTENCE — мат. неразрешимое предложение
Большой Англо-Русский словарь
UNDECIDABLE RELATION — мат. неразрешимое отношение
Большой Англо-Русский словарь
UNDECIDABLE PROPOSITION — мат. неразрешимое предложение
Большой Англо-Русский словарь
UNDECIDABLE PROBLEM — неразрешимая задача
Большой Англо-Русский словарь
UNDECIDABLE PREDICATE — мат. неразрешимый предикат
Большой Англо-Русский словарь
UNDECIDABLE FORMULA — мат. неразрешимая формула
Большой Англо-Русский словарь
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 UNDECIDABLE FORMULA→