DECIDABLE ARITHMETIC

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

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

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

DECIDABLE ARITHMETIC — мат. разрешимая арифметика
Большой Англо-Русский словарь
DECIDABLE ARITHMETIC — мат. разрешимая арифметика
Новый большой Англо-Русский словарь
ARITHMETIC — adj arithmetic, arithmetical
Interlingua English vocab
DECIDABLE — adjective see: decide
Толковый словарь английского языка - Merriam Webster
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
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
DECIDABLE — (a.) Capable of being decided; determinable.
Английский словарь Webster
DECIDABLE — ( a. ) Capable of being decided; determinable.
Webster's Revised 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
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
DECIDABLE — adj. able to be decided, concludable
Толковый словарь английского языка - Редакция bed
ARITHMETIC — adj. pertaining to arithmetic; of or that involves arithmetic
Толковый словарь английского языка - Редакция bed
DECIDABLE — see decide
Merriam-Webster's Collegiate English vocabulary
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
DECIDABLE — adj capable of being decided; determinable.
Webster English vocab
ARITHMETIC — noun a book containing the principles of this science. 2. arithmetic ·noun the science of numbers; the art of computation …
Webster 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
DECIDABLE — decidability
FOLDOC Computer English Dictionary
ARITHMETIC — noun BAD : She comes to see me three times a week for help with her arithmetics. GOOD : She …
Longman Common Errors English vocabulary
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Большой Англо-Русский словарь
ARITHMETIC — 1. сущ. арифметика; счет 2. прил.; = arithmetical арифметика - four operations of * четыре действия арифметики (разговорное) арифметика, знание …
Большой Англо-Русский словарь
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
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 …
Большой Англо-Русский политехнический словарь - РУССО
DECIDABLE — разрешимый - completely decidable - effectively decidable - formally decidable - numeralwise decidable - partially decidable
Англо-Русский научно-технический словарь
ARITHMETIC — 1) арифметика || арифметический 2) арифметические действия, арифметические операции • - arithmetic of order types - arithmetic of propositions - augmented arithmetic - business arithmetic - cardinal …
Англо-Русский научно-технический словарь
ARITHMETIC — 1. arithmetic сущ.арифметика; счет 2. прил.; - arithmetical arithmetic mean среднее арифметическое
Англо-Русский словарь Tiger
DECIDABLE — (a) разрешимый
English-Russian Lingvistica'98 dictionary
DECIDABLE — a разрешимый ~ set - мат. разрешимое множество
Новый большой Англо-Русский словарь - Апресян, Медникова
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Большой новый Англо-Русский словарь
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 см. …
Англо-Русский словарь компьютерной безопасности
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Новый большой Англо-Русский словарь
ARITHMETIC — 1. сущ. арифметика; счет 2. прил.; = arithmetical арифметика - four operations of * четыре действия арифметики (разговорное) арифметика, знание …
Новый большой Англо-Русский словарь
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 …
Англо-Русский научно-технический словарь

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

← DECIDABLE ALGEBRA DECIDABLE FORMULA→