proving什么意思 proving音标、翻译、用法
proving音标
英 ['pru:vɪŋ]
美 ['pruvɪŋ]
proving翻译
n.
校对；
v.
证明( prove的现在分词 )；检验，试验；
英英释义
prove[ 'pru:viŋ ]
v.be shown or be found to be
"She proved to be right"
同义词：turn outturn up
establish the validity of something, as by an example, explanation or experiment
同义词：demonstrateestablishshowshew
provide evidence for
同义词：testifybear witnessevidenceshow
prove formally; demonstrate by a mathematical, formal proofput to the test, as for its quality, or give experimental use to
同义词：testtrytry outexamineessay
increase in volume
同义词：rise
cause to puff up with a leaven
同义词：raiseleaven
take a trial impression ofobtain probate of
"prove a will"
proving用法
词组短语
proving ground n. 试验场，检验场
theorem proving定理证明
双语例句
My millionaire grandfather left all his money to research into proving that the pyramids in Egypt were built by visitors from outer space. That beats the band!
我祖父生前是一百万富翁，他把自己的全部资财遗赠出来，用以考证埃及金字塔是天外来客建造的这一臆断是否成立。He takes great delight in proving others wrong.
他的极大乐趣是证实别人错了。What a sod this job is proving to be!
这事儿可真棘手哇！
权威例句
Proving the Correctness of Multiprocess Programs
Strand Spaces: Proving Security Protocols Correct
Strand spaces : Proving security protocols correct
A Machine Program for Theorem-proving
The complexity of theorem-proving procedures
The complexity of theorem-proving procedures
Interactive Theorem Proving and Program Development
Symbolic logic and mechanical theorem proving
Strips: A new approach to the application of theorem proving to problem solving
STRIPS: a new approach to the application of theorem proving to problem solving