Web Analytics
DICTIONARY
TTS Voice
 virtual keyboard

Russian English Modern Computing Dictionary and Phrasebook


Translate to English
доверить
доводить
доводка
довывод
догадка
дозапись
дозирование
дозирующий
дока
доказанность
  доказательстве
доказуемый
докомпьютерный
документ
документалист
документалистика
документальный
документатор
документация
документирование
документированный






    доказательстве


See also: доказательства,   доказательстве, доказательство, доказательству



доказательство сущ

1. argument
2. demonstration
3. proof

Phrases with  доказательстве

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


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


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


доказательство методом перебора вариантов
enumerative reasoning


доказательство правильности алгоритма
algorithm validation


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


доказательство теорем методом резолюции
resolution theorem proving


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


математическое доказательство
mathematical argument


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


основанный на доказательстве
justification-based


программа автоматического доказательства теорем
automatic theorem prover


программа для автоматического доказательства теорем
automatic theorem prover


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


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


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


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


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