Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

English Russian Modern Computing Dictionary and Phrasebook






    proofs'


See also: proof's, proofs,   proofs'



proof n

1. доказательство
2. проверка

Phrases with  proofs'

correctness proof
верификация программ, доказательство правильности программ, проверка правильности программы То же, что верификация.


formal program proof
формальное доказательство правильности программы


formal proof
формальное доказательство


indirect proof
косвенное доказательство


irreducible proof
несводимое доказательство


proof procedure
процедура доказательства


proof scheme
схема доказательства


proof theory
теория доказательств


proof total
контрольная сумма второго уровня (для проверки контрольных сумм)


tree form proof
доказательство в форме дерева, ветвящееся доказательство


variant proof
вариантное доказательство


zero proof
контроль по нулевой сумме




Search History
How to Translate
correctness proof

formal program proof

formal proof

indirect proof

irreducible proof

proof procedure

proof scheme

proof theory

proof total

tree form proof

variant proof

zero proof