DECIDABLE THEORY

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

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

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

DECIDABLE — adjective see: decide
Толковый словарь английского языка - Merriam Webster
THEORY — [c mediumvioletred] (as used in expressions) acid base theory auteur theory automata theory band theory BCS theory bundle theory catastrophe …
Английский словарь Британика
THEORY — ˈthēərē, ˈthi(ə)r-, -ri sometimes ˈthēr- noun ( -es ) Etymology: Late Latin theoria, from Greek theōria act of viewing, contemplation, …
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
DECIDABLE — adj. able to be decided, concludable
Толковый словарь английского языка - Редакция bed
DECIDABLE — see decide
Merriam-Webster's Collegiate English vocabulary
THEORY — noun the science, as distinguished from the art; as, the theory and practice of medicine. 2. theory ·noun an exposition …
Webster English vocab
DECIDABLE — adj capable of being decided; determinable.
Webster English vocab
THEORY — theo ‧ ry S2 W1 AC /ˈθɪəri $ ˈθiːəri/ BrE AmE noun ( plural theories ) [ Word Family: noun …
Longman Dictionary of Contemporary English
THEORY — ( theories) Frequency: The word is one of the 1500 most common words in English. 1. A theory is a …
Collins COBUILD Advanced Learner's English Dictionary
THEORY — noun COLLOCATIONS FROM OTHER ENTRIES a conspiracy theory (= a belief by a number of people that something is the …
Longman DOCE5 Extras English vocabulary
THEORY — [noun] - a formal statement of the rules on which a subject of study is based or of ideas which …
Cambridge English vocab
THEORY — n. value theory acid base theory auteur theory automata theory band theory BCS theory bundle theory catastrophe theory chaos theory …
Britannica Concise Encyclopedia
DECIDABLE — decidability
FOLDOC Computer English Dictionary
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию …
Большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Большой Англо-Русский словарь
THEORY — theory.ogg ʹθı(ə)rı n 1. 1> теория coherent theory - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity theory …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEORY — 1) теория 2) методика; метод; способ • - Abbe's theory - Abbe theory - absolute reaction rate theory - acid-basic …
Большой Англо-Русский политехнический словарь
THEORY — 1) теория 2) методика; метод; способ • - Abbe's theory - Abbe theory - absolute reaction rate theory - acid-basic catalysis theory - adhesive theory of friction - …
Большой Англо-Русский политехнический словарь - РУССО
THEORY — 1) теория 2) толкование; трактовка 3) учение • advance theory — выдвигать теорию additive ideal theory — матем. теория идеалов аддитивная antinomy of set theory — …
Англо-Русский научно-технический словарь
DECIDABLE — разрешимый - completely decidable - effectively decidable - formally decidable - numeralwise decidable - partially decidable
Англо-Русский научно-технический словарь
DECIDABLE — (a) разрешимый
English-Russian Lingvistica'98 dictionary
DECIDABLE — a разрешимый ~ set - мат. разрешимое множество
Новый большой Англо-Русский словарь - Апресян, Медникова
THEORY — n 1. 1> теория coherent theory - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity theory - общая …
Большой новый Англо-Русский словарь
DECIDABLE — a разрешимый decidable set - мат. разрешимое множество
Большой новый Англо-Русский словарь
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory — предлагать, отстаивать теорию to advocate theory — отстаивать теорию …
Англо-Русский словарь по общей лексике
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory — предлагать, отстаивать теорию to advocate theory — отстаивать теорию to combine theory and …
Англо-Русский словарь общей лексики
THEORY — в соч. - algorithm theory - communication theory - control theory - game theory - gearing theory - information retrieval …
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEORY — в соч. - algorithm theory - communication theory - control theory - game theory - gearing theory - information retrieval theory - information theory - perturbation theory - queues …
Англо-Русский словарь по машиностроению и автоматизации производства
THEORY
Новый Англо-Русский словарь по биологии
THEORY
Новый Англо-Русский биологический словарь
THEORY — теория; учение; принцип to propose a theory — предлагать теорию to verify a theory — подтверждать теорию - air-mass theory - applicable theory - beam …
Англо-Русский словарь по строительству и новым строительным технологиям
THEORY — теория - anticlinal theory of oil migration - availability theory - belt-line theory - biochemical theory - block theory - bunching theory - carbid theory of oil …
Большой Англо-Русский словарь по нефти и газу
THEORY — 1) теория; теоретические основы 2) метод • - automata theory - automatic control theory - axiomatic set theory - circuit theory - coding theory - communication theory - data …
Англо-Русский словарь по вычислительной технике и программированию
THEORY — 1) теория 2) метод; концепция - theory X - theory Y - theory of asset holding - theory of attributes …
Англо-Русский словарь по экономике и финансам
THEORY — теория; учение; принцип; гипотеза - theory of buckling - theory of elasticity - theory of elastic stability - theories of …
Англо-Русский строительный словарь
THEORY — теория - communication theory - division theory - electromagnetic theory - electron theory - encoding theory - frequency theory - information theory - Maxwell electromagnetic theory - prediction theory - …
Англо-Русский словарь по телекоммуникациям
THEORY — 1) теория; доктрина; принцип 2) теоретическое объяснение 3) юридическая квалификация обстоятельств дела, спорного правоотношения 4) версия • - alter ego theory - bursting bubble theory - Commonwealth …
Англо-Русский юридический словарь
THEORY — сущ. 1) теория; логическое обобщение эмпирического опыта и общественной практики; 2) совокупность постулатов в определенной сфере познания, образующих науку; 3) …
Англо-Русский социологический энциклопедический словарь
THEORY — теория; предположения; основы; теоретические знания - decision theory - information theory - natural right theory - pattern theory - queuing theory - theory of attributes - theory …
Англо-Русский словарь по патентам и товарным знакам
THEORY — теория см. algebraic coding theory см. coding theory см. complexity theory см. cryptographic theory см. evidence theory см. Galois field …
Англо-Русский словарь компьютерной безопасности
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию …
Новый большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Новый большой Англо-Русский словарь
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 sentence, decidable statement
Большой Русско-Английский словарь

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

← DECIDABLE SYSTEM DECIDE→