-
1 undecidable
-
2 undecidable
неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно неразрешимая теория nonessentially undecidable theor ≈ несущественно неразрешимая теория recursively undecidable theor ≈ рекурсивно неразрешимая теория strongly undecidable structure ≈ строго неразрешимая структура - effectively undecidable - essentially undecidable - hereditarity undecidable - strongly undecidable - undecidable arithmetic - undecidable formula - undecidable predicate - undecidable problem - undecidable proposition - undecidable relation - undecidable sentence - undecidable structure - undecidable system - undecidable theor НеразрешимоБольшой англо-русский и русско-английский словарь > undecidable
-
3 undecidable
-
4 undecidable
неразрешимый
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
неразрешимый
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
нерешаемый
неразрешимый (о математической задаче)
—
[ http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=4937]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > undecidable
-
5 undecidable
неразрешимый имя прилагательное: -
6 undecidable
-
7 undecidable
Общая лексика: неразрешимый -
8 undecidable
-
9 undecidable
تصميم ناپذير -
10 undecidable
• neodlučiv -
11 undecidable
• nerozhodnutelný -
12 undecidable
-
13 undecidable
-
14 undecidable
lahendamatu, mille üle pole võimalik otsustada -
15 undecidable
неразрешимый -
16 undecidable
adj нерешаемый, неразрешимый (о математической задаче). -
17 undecidable
adj.no decidible. -
18 undecidable
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > undecidable
-
19 undecidable
-
20 undecidable
См. также в других словарях:
Undecidable — has more than one meaning:;In mathematical logic: * A decision problem is called (recursively) undecidable if no algorithm can decide it, such as for Turing s halting problem; see also under Decidable and Undecidable problem. * Undecidable is… … Wikipedia
undecidable — adjective a) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are… … Wiktionary
UNDECIDABLE — Martin Davis, The Undecidable, Raven Press, 1965 (informationswissenschaftl. Veoeffentlichung) … Acronyms
UNDECIDABLE — Martin Davis, The Undecidable, Raven Press, 1965 (informationswissenschaftl. Veröffentlichung) … Acronyms von A bis Z
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia
undecidable — adj. * * * … Universalium
undecidable — adjective not able to be firmly established or refuted. Derivatives undecidability noun … English new terms dictionary
undecidable — un·decidable … English syllables
undecidable — /ʌndəˈsaɪdəbəl/ (say unduh suyduhbuhl) adjective not decidable. –undecidability /ʌndəsaɪdəˈbɪləti/ (say unduhsuyduh biluhtee), noun …
undecidable — |ən+ adjective : not capable of being decided … Useful english dictionary
On Formally Undecidable Propositions of Principia Mathematica and Related Systems — This article describes the publication details of a famous paper in mathematical logic. For information about the theorems proved in this paper, see Gödel s incompleteness theorems. Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipedia