DECIDABLE THEOR

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

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

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

DECIDABLE THEOR — мат. разрешимая теория
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
DECIDABLE — adjective see: decide
Толковый словарь английского языка - Merriam Webster
THEOR — abbreviation theorem
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
THEOR. — theorem.
Random House Webster's 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
DECIDABLE — adj. able to be decided, concludable
Толковый словарь английского языка - Редакция bed
DECIDABLE — see decide
Merriam-Webster's Collegiate English vocabulary
DECIDABLE — adj capable of being decided; determinable.
Webster English vocab
DECIDABLE — decidability
FOLDOC Computer English Dictionary
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Большой Англо-Русский словарь
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DECIDABLE — разрешимый - completely decidable - effectively decidable - formally decidable - numeralwise decidable - partially decidable
Англо-Русский научно-технический словарь
DECIDABLE — (a) разрешимый
English-Russian Lingvistica'98 dictionary
DECIDABLE — a разрешимый ~ set - мат. разрешимое множество
Новый большой Англо-Русский словарь - Апресян, Медникова
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Большой новый Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Новый большой Англо-Русский словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
DECIDE — verb (~d; deciding) Etymology: Middle English, from Latin ~re, literally, to cut off, from de- + caedere to cut Date: …
Толковый словарь английского языка - Merriam Webster
-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
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
THEORY — theor|y BrE AmE ˈθɪər |i ˈθiː ər |i AmE \ ˈθiː ər |i ˈθɪr |i ▷ theor|ies iz
Longman Pronunciation English Dictionary
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
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
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 ≈ связанные автоматы …
Большой Англо-Русский словарь
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 …
Англо-Русский научно-технический словарь
ТЕОРИЯ РЕШЕТОК — мат. 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
Большой Русско-Английский словарь
РАЗРЕШИМОЕ ВЫСКАЗЫВАНИЕ — мат. decidable sentence, decidable statement
Большой Русско-Английский словарь
ПРИБЛИЖЕННАЯ ТЕОРИЯ — мат. approximate theor, crude theor
Большой Русско-Английский словарь
ОБОБЩЕННАЯ ТЕОРИЯ — мат. extended theor, generalized theor
Большой Русско-Английский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
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 ≈ конечно …
Новый большой Англо-Русский словарь

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

← DECIDABLE SYSTEM DECIDE→