PROVABLY

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

Provably

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

PROVABLY — adverb see: prove
Толковый словарь английского языка - Merriam Webster
PROVABLY — adverb see provable
Webster's New International English Dictionary
PROVABLY — see prove
Merriam-Webster's Collegiate English vocabulary
PROVABLY — доказуемо
Англо-Русский словарь Tiger
PROVABLY — Provably
Новый большой Англо-Русский словарь
PROVABLY — доказуемо
Англо-Русский словарь
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 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 UNSOLVABLE — доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения )
Англо-Русский словарь по компьютерам
PROVABLY DIFFICULT — доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени …
Англо-Русский словарь по компьютерам
PROVABLY UNSOLVABLE — доказуемо неразрешимый (о множестве задач, для которых не существует никаких алгоритмов решения)
Англо-Русский словарь по вычислительной технике и программированию
PROVABLY DIFFICULT — доказуемо трудный (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени …
Англо-Русский словарь по вычислительной технике и программированию
PROVABLY UNSOLVABLE — доказуемо неразрешимый ( о множестве задач, для которых не существует никаких алгоритмов решения )
Англо-Русский словарь компьютерных терминов
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
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
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 …
Англо-Русский словарь компьютерной безопасности

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

← PROVABLENESS PROVAND, PROVANT→