proving
present participle ofprove
| 单词 | proving |
| 释义 | proving present participle ofprove Examplesofprovingproving He develops a constructive framework forprovingequalities about programs, and shows how to derive the free theorems in a purely syntactic way. From theCambridge English Corpus The standard method ofprovingthis fact is via lambda representability of all (partial) recursive functions. From theCambridge English Corpus We discuss a known method ofprovingcorrectness of definite programs and introduce a method forprovingcompleteness. From theCambridge English Corpus But in the context ofprovingthat learning has taken place, the value of a certificateprovingattendance can be doubtful. From theCambridge English Corpus These programs rely on the user to annotate the loops, and provide assistance only inprovingthe correctness of the annotations. From theCambridge English Corpus We answer this question in the affirmative, byprovingthe following theorem. From theCambridge English Corpus Note, however, thatprovinglower bounds for graphs may be an even more difficult task than for boolean functions. From theCambridge English Corpus We will show that the image vectors of are independent, thusprovingthe - theorem. From theCambridge English Corpus However, even people familiar with lambda calculus are often confused about the proper way ofprovingthis fact. From theCambridge English Corpus In principle, guard verification consists of two automated steps: (a) generating the guard conjectures, and (b)provingthem to be theorems. From theCambridge English Corpus The usual way ofprovingthe decidability of such an equivalence relation is byprovingconfluence and strong normalisation of the corresponding reduction relation. From theCambridge English Corpus The easily worked oxidised ore was largely depleted and the underlying sulfide deposits wereprovingdifficult and costly to treat. From theCambridge English Corpus Another algorithm, forprovingfreedom from deadlock for two transactions synchronizing with binary semaphores only was also described. From theCambridge English Corpus The addition of recursive contracts has far-reaching implications, deeply affecting the formulation of our model and requiring different techniques forprovingsoundness. From theCambridge English Corpus These materials, which have been available for three years now, will already beprovingtheir worth in the classroom. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。