PROVABLY UNSOLVABLE

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

доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения)

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

PROVABLY UNSOLVABLE — The set or property of problems for which no algorithm at all exists. E.g. the Halting Problem . See also …
FOLDOC Computer English Dictionary
PROVABLY UNSOLVABLE — доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения )
Англо-Русский словарь по компьютерам
PROVABLY UNSOLVABLE — доказуемо неразрешимый ( о множестве задач, для которых не существует никаких алгоритмов решения )
Англо-Русский словарь компьютерных терминов
PROVABLY — adverb see: prove
Толковый словарь английского языка - Merriam Webster
PROVABLY — adverb see provable
Webster's New International English Dictionary
UNSOLVABLE — “+ adjective : not solvable : insoluble public finance … had long presented problems unsolvable or at least unsolved — …
Webster's New International English Dictionary
UNSOLVABLE — adj.; unsolvableness , n.; unsolvably , adv.
Random House Webster's Unabridged English Dictionary
UNSOLVABLE — adj. impossible to solve, undecipherable, not able to be worked out
Толковый словарь английского языка - Редакция bed
PROVABLY — see prove
Merriam-Webster's Collegiate English vocabulary
UNSOLVABLE — ■ adjective not able to be solved. Derivatives unsolvability noun
Concise Oxford English vocab
UNSOLVABLE — adj. that cannot be solved, insoluble. øøunsolvability n. unsolvableness n.
Английский основной разговорный словарь
UNSOLVABLE — adj. that cannot be solved, insoluble. unsolvability n. unsolvableness n.
Concise Oxford English Dictionary
UNSOLVABLE — adj. that cannot be solved, insoluble. Derivatives: unsolvability n. unsolvableness n.
Oxford English vocab
UNSOLVABLE — adj. Function: adjective Synonyms: INSOLUBLE , inextricable, insolvable, irresoluble, irresolvable, unsoluble Antonyms: soluble, solvable
Collegiate Thesaurus English vocab
UNSOLVABLE — adjective Synonyms: insoluble , inextricable, insolvable, irresoluble, irresolvable, unsoluble Antonyms: soluble, solvable
Collegiate Thesaurus English vocabulary
UNSOLVABLE — adj.
Oxford Collocations Dictionary Second Edition
UNSOLVABLE — adj. Unsolvable is used with these nouns: ↑ mystery
Oxford Collocations English Dictionary
UNSOLVABLE — неразрешимый неразрешимый - * problems неразрешимые проблемы
Большой Англо-Русский словарь
PROVABLY — Provably
Большой Англо-Русский словарь
UNSOLVABLE — Неразрешимый
Американский Англо-Русский словарь
UNSOLVABLE — Неразрешим
Американский Англо-Русский словарь
UNSOLVABLE — a неразрешимый unsolvable problems - неразрешимые проблемы
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
UNSOLVABLE — неразрешимый algorithmically unsolvable problem — алгоритмически неразрешимая проблема - recursively unsolvable - unsolvable algorithm - unsolvable equation - unsolvable game - unsolvable node - unsolvable problem - unsolvable …
Англо-Русский научно-технический словарь
UNSOLVABLE — неразрешимый
Англо-Русский словарь Tiger
PROVABLY — доказуемо
Англо-Русский словарь Tiger
UNSOLVABLE — (a) неразрешимый
English-Russian Lingvistica'98 dictionary
UNSOLVABLE — a неразрешимый ~ problems - неразрешимые проблемы
Новый большой Англо-Русский словарь - Апресян, Медникова
UNSOLVABLE — a неразрешимый unsolvable problems - неразрешимые проблемы
Большой новый Англо-Русский словарь
UNSOLVABLE — adj. неразрешимый
English-Russian-dictionary - Bed release
UNSOLVABLE — adj. неразрешимый
English-Russian-dictionary - Bed release
UNSOLVABLE — нерастворимый
Новый Англо-Русский словарь по биологии
UNSOLVABLE — нерастворимый
Новый Англо-Русский биологический словарь
UNSOLVABLE — 1) нерастворимый 2) неразрешимый
Новый Англо-Русский медицинский словарь
UNSOLVABLE — неразрешимый
Англо-Русский словарь по компьютерам
UNSOLVABLE — неразрешимый
Англо-Русский словарь по вычислительной технике и программированию
UNSOLVABLE — неразрешимый
Англо-Русский словарь компьютерных терминов
UNSOLVABLE — неразрешимый неразрешимый - * problems неразрешимые проблемы
Новый большой Англо-Русский словарь
PROVABLY — Provably
Новый большой Англо-Русский словарь
UNSOLVABLE — неразрешимый
Англо-Русский словарь
PROVABLY — доказуемо
Англо-Русский словарь
PROVABLY DIFFICULT — The set or property of problems for which it can be proven that no polynomial-time algorithm exists, only exponential-time algorithm …
FOLDOC Computer English Dictionary
PROVABLY DIFFICULT — доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени …
Англо-Русский словарь по компьютерам
PROVABLY DIFFICULT — доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени …
Англо-Русский словарь по вычислительной технике и программированию
PROVABLY DIFFICULT — доказуемо трудный ( о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой …
Англо-Русский словарь компьютерных терминов
PROVABLY SECURE SYSTEM — доказуемо безопасная система
Англо-Русский словарь компьютерной безопасности
PROVABLY PRIME NUMBER — доказуемо простое число
Англо-Русский словарь компьютерной безопасности
PROVE — verb (~d; ~d or ~n; proving) see: pro- Date: 13th century transitive verb to learn or find out by experience, …
Толковый словарь английского языка - Merriam Webster
PROVE — — provable , adj. — provability, provableness , n. — provably , adv. — provenly , adv. — prover , …
Random House Webster's Unabridged English Dictionary
PROVE — [ pru:v ] ■ verb ( past participle ~d or ~n 'pru:v(ə)n , 'prəʊ- ) 1》 demonstrate by evidence or …
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
PROVE — v. (past part. proved or proven) 1 tr. (often foll. by that + clause) demonstrate the truth of by evidence …
Английский основной разговорный словарь
PROVE — v. (past part. proved or proven) 1 tr. (often foll. by that + clause) demonstrate the truth of by evidence …
Concise Oxford English Dictionary
PROVE — v. (past part. proved or proven) 1. tr. (often foll. by that + clause) demonstrate the truth of by evidence …
Oxford English vocab
NON-POLYNOMIAL — < complexity > The set or property of problems for which no polynomial-time algorithm is known. This includes problems for …
FOLDOC Computer English Dictionary
HALTING PROBLEM — The problem of determining in advance whether a particular program or algorithm will terminate or run forever. The halting problem …
FOLDOC Computer English Dictionary
DEAD CODE — < programming > (Or "infeasible path", " grunge ") Any part of a program that can never be accessed because …
FOLDOC Computer English Dictionary
GRIM FILE REAPER — < storage , operating system > (GFR) An ITS and LISP Machine utility to remove files according to some program-automated …
FOLDOC Computer English Dictionary
DEAD CODE — Routines that can never be accessed because all calls to them have been removed, or code that cannot be reached …
Jargon File English vocabulary
GFR — [ITS: from `Grim File Reaper', an ITS and LISP Machine utility] To remove a file or files according to some …
Jargon File English vocabulary
PSS — Probabilistic Signature Scheme provably secure way of creating signatures with RSA . The inventors of the PSS encoding method are …
Acronyms - Misc English vocab
SYSTEM — система см. break the system см. communicate with system см. access control system см. access control list system см. access …
Англо-Русский словарь компьютерной безопасности

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

← PROVABLY DIFFICULT PROVER→