Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Information technology containing доказательство | all forms | exact matches only
RussianEnglish
вариантное доказательствоvariant proof
ветвящееся доказательствоtree form proof
доказательство в форме дереваtree form proof
доказательство методом перебора вариантовenumerative reasoning
доказательство правильности завершения работыproof of termination (программы)
доказательство правильности программprogram proving
доказательство правильности программыprogram correctness proof
доказательство теорем методом резолюцииresolution theorem proving
логический метод доказательстваinduction
математический метод доказательстваinduction
математическое доказательствоmathematical argument
метод доказательстваvalidation procedure
основанный на доказательствеjustification-based
программа автоматического доказательства теоремautomatic theorem prover
процедура доказательстваreasoning procedure
теория доказательствproof theory
формальное доказательство правильности программыformal program validation
формальное доказательство правильности программыformal program proof
цепочка доказательствflow of satisfaction

Get short URL