-
21 приводит доказательства
Русско-английский военно-политический словарь > приводит доказательства
-
22 приводивший доказательства
Русско-английский военно-политический словарь > приводивший доказательства
-
23 приводящий доказательства
Русско-английский военно-политический словарь > приводящий доказательства
-
24 алгоритм, исправляющий ошибки пользователя
Makarov: user-fault-proof schemeУниверсальный русско-английский словарь > алгоритм, исправляющий ошибки пользователя
-
25 безошибочная схема
Makarov: user-fault-proof schemeУниверсальный русско-английский словарь > безошибочная схема
-
26 не зависящая от ошибок пользователя схема
Makarov: user-fault-proof schemeУниверсальный русско-английский словарь > не зависящая от ошибок пользователя схема
-
27 обоснование
(= оправдание, см. также обосновывать) proof, basis, ground, justification, verification• Для... не существует экспериментального обоснования. - There is no experimental foundation for...• Может быть лишь слабое научное или практическое обоснование для... - There can be little scientific or practical justification for...• Мы дадим обоснование (= вывод, доказательство)... - We shall prove...; We shall establish...• Обоснование данного предположения затрагивает теорию... - The justification of this assumption involves the theory of...• Обоснование для этих предположений находится единственно в... - The justification of these assumptions lies solely in...• Обоснование этого (факта и т. п.) будет ясно из дальнейшего. - The reason for this will soon be clear.• Обоснованием для этой схемы решения служит то, что... - The justification for this solution scheme is that...• Подобное (утверждение и т. п.) невозможно принять без дальнейшего обоснования. - One cannot, without further justification, accept such a...• Теперь мы можем дать обоснование обычной практике... - We can now justify the usual practice of...• Формальное обоснование того факта, что граничные условия... - The formal foundation of the fact that the boundary conditions are...• Это дает некоторое обоснование для использования соотношения (3.2). - This gives some justification for using (2.3).• Это само по себе является достаточным обоснованием, чтобы... - This in itself appears to be sufficient justification for... -
28 автоматически пополняемые депозиты
1. self-returning deposit2. self-returning depositsРусско-английский большой базовый словарь > автоматически пополняемые депозиты
-
29 проход
1. м. pass, run; draft2. м. passageпроход, устланный циновками — matted passage
3. м. gangway; aisle; alley4. м. aisleСинонимический ряд:ход (сущ.) ход -
30 система аксиом
- 1
- 2
См. также в других словарях:
goof-proof — 1. mod. foolproof; not subject to misuse. □ I want a goof proof scheme. □ This scheme is not goof proof but it’s pretty sound. □ Now, this time I’ve made it goof proof 2. tv. to make something foolproof; to take action to see that something… … Dictionary of American slang and colloquial expressions
the proof of the pudding is in the eating — Proof means ‘test’ rather than the more normal ‘verification, proving to be true’. c 1300 King Alisaunder (EETS) 1. 4038 Jt is ywrite that euery thing Hymself sheweth in the tastyng. 1623 W. CAMDEN Remains concerning Britain (ed. 3) 266 All the… … Proverbs new dictionary
Commitment scheme — In cryptography, a commitment scheme allows one to commit to a value while keeping it hidden, with the ability to reveal the committed value later. Commitments are used to bind a party to a value so that they cannot adapt to other messages in… … Wikipedia
Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… … Wikipedia
Bradfield Scheme — The Bradfield Scheme was devised by Dr John Job Crew Bradfield (1867 1943), a Queensland born civil engineer, who also designed the Sydney Harbour Bridge, and the Brisbane Story Bridge. The inland irrigation project that Dr Bradfield proposed,… … Wikipedia
elder-proof — v. To make something safe for the elderly to use. Also: elderproof. elder proof, adj. Example Citations: Safe Home Scheme: The scheme gives the elderly poor and the disabled subsidies of up to $1,000 per household to elder proof their homes, by… … New words
Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… … Wikipedia
Darien scheme — European colonization of the Americas First colonization British colonization Courlandish colonization Danish colonization Dutch colonization … Wikipedia
Bernoulli scheme — In mathematics, the Bernoulli scheme or Bernoulli shift is a generalization of the Bernoulli process to more than two possible outcomes.[1][2] Bernoulli schemes are important in the study of dynamical systems, as most such systems (such as Axiom… … Wikipedia
Feige-Fiat-Shamir Identification Scheme — In cryptography, the Feige Fiat Shamir Identification Scheme is a type of parallel zero knowledge proof developed by Uriel Feige, Amos Fiat, and Adi Shamir in 1988. Like all zero knowledge proofs, the Feige Fiat Shamir Identification Scheme… … Wikipedia
fool|proof — «FOOL PROOF», adjective. so safe or simple that even a fool can use or do it: »a foolproof device, a foolproof scheme … Useful english dictionary