-
1 provably
adv достоверно, доказуемо -
2 Provably Secure Operating System
Универсальный русско-английский словарь > Provably Secure Operating System
-
3 provably public-key
доказуемо открытый ключEnglish-Russian cryptological dictionary > provably public-key
-
4 provably-secure cipher
достоверно стойкий шифр.English-Russian cryptological dictionary > provably-secure cipher
-
5 гарантированная защита
гарантированная защита
Свойство схемы цифровой подписи, когда схема является надежной, если ее защита связана с криптосистемой. Вообще система считается гарантированно защищенной, если на основании некоторых предположений можно математически доказать ее надежность.
[[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > гарантированная защита
-
6 доказуемо открытый ключ
Русско-английский словарь нормативно-технической терминологии > доказуемо открытый ключ
-
7 достоверно
достоверно
доказуемо
—
[[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > достоверно
-
8 достоверно стойкий шифр
Русско-английский словарь нормативно-технической терминологии > достоверно стойкий шифр
-
9 доказуемо
General subject: provably -
10 доказуемо корректная программа
Programming: provably correct program (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям)Универсальный русско-английский словарь > доказуемо корректная программа
-
11 доказуемо корректные программы
Programming: provably correct programsУниверсальный русско-английский словарь > доказуемо корректные программы
-
12 доказуемо неразрешимый
Programming: provably unsolvable (о множестве задач, для которых не существует никаких алгоритмов решения)Универсальный русско-английский словарь > доказуемо неразрешимый
-
13 доказуемо трудный
General subject: provably difficult (о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат) -
14 доказуемо неразрешимый
(о множестве задач, для которых не существует никаких алгоритмов решения) provably unsolvableРусско-английский словарь по вычислительной технике и программированию > доказуемо неразрешимый
-
15 доказуемо трудный
(о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат) provably difficultРусско-английский словарь по вычислительной технике и программированию > доказуемо трудный
-
16 доказуемо
-
17 доказуемый
1. demonstrable2. provable3. provably
См. также в других словарях:
Provably — Provable Prov a*ble, a. [See {Prove}, and cf. {Probable}.] Capable of being proved; demonstrable. {Prov a*ble*ness}, n. {Prov a*bly}, adv. [1913 Webster] … The Collaborative International Dictionary of English
provably — adverb see prove … New Collegiate Dictionary
provably — See provability. * * * … Universalium
provably — adverb With proof; in a provable manner. Syn: demonstrably … Wiktionary
provably — prov·ably … English syllables
provably — adverb in an obvious and provable manner his documentary sources are demonstrably wrong • Syn: ↑demonstrably, ↑incontrovertibly • Derived from adjective: ↑incontrovertible (for: ↑incontrovertibly), ↑ … Useful english dictionary
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Church's thesis (constructive mathematics) — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Neats vs. scruffies — Artificial intelligence portal Neat and scruffy are labels for two different types of artificial intelligence research. Neats consider that solutions should be elegant, clear and provably correct. Scruffies believe that intelligence is too… … Wikipedia