A nonterminating input can be further constructed as a counterexample.
非终止输入可以进一步构造为反例。
Is this a counterexample to the utilitarian idea of calculating?
这算是功利主义计算思路的反例吗？
Finally, a counterexample is presented to illustrate the conclusion.
最后通过一个反例对结论予以验证。
Now noticed if that's the way we interpret his argument, harmony works no longer as a counterexample.
注意到如果这是，我们解读他论点的方式，和声就不再一个反例了。
We particularly proved that 2 - sensitivity does not imply 3 - sensitivity by a counterexample.
特别地，通过反例证明了2-敏感不蕴涵3 -敏感。
Finally, a counterexample is given to show that the relative normality is not relative transition.
最后给出了相对正规分离性不是相对遗传的一个反例。
As a counterexample, Brown mentions a project using three persistence solutions: Spring, EJB and Hibernate.
作为一个反例，Brown提到一个项目，其中使用了三种持久化解决方案：Spring、EJB和Hibernate。
There exists a counterexample showing that a compact topological space is not necessarily a sequentially compact space.
有反例表明一个紧致拓扑空间不一定是序列紧致的拓扑空间。
So the crucial point right now is that, thinking about harmony is offered as a counterexample to the generalization that invisible things can't be destroyed.
所以现在的重要问题是，和声的例子现在作为，灵魂不可毁灭，这一概括说法的反例。
Socrates never says Simmias, here's what your objection goes wrong: harmony is not really invisible or can't be destroyed, whatever it is, so we don't have a counterexample.
苏格拉底从没说过，西米亚斯，你的观点在这里有错，和声并非无形或者不可毁灭，所以我们没有了反例。
If he could show us, he could convince us that harmony is not really invisible, then we would no longer have a counterexample to the claim that the invisible can't be destroyed.
如果他可以说服我们，和声并非无形，那我们就没有了，灵魂不可毁灭，这一论断的反例。
Then, after the introduction and analysis of algorithm ASRAI we show a counterexample of this algorithm and present a revised algorithm CHEN1 to eliminate the disadvantage of algorithm ASRAI.
然后，通过对asrai算法的介绍与分析，举出asrai算法的反例，提出增量算法1以用于克服asrai算法存在的缺点。
So if what Socrates means by invisibility is the first notion: can't be seen with your eyes, then the argument is not any good, harmony is a pretty compelling counterexample.
所以如果苏格拉底说的无形，是第一个意思：，眼睛看不见，这个论证就不好，和声是个很有说服力的反例。
Next, a waveform derived from the counterexample is generated, and the user debugs the failure.
接下来可产生从反例衍生而来的波形并调试该失败。
Under his termination-deciding method, a nonterminating input can be further constructed as an counterexample for the given nonterminating loop, which makes the result more complete.
在其终止性可判定理论的基础上，对于给定非终止循环构造出其非终止输入作为反例，使该结果更加完整。
Under his termination-deciding method, a nonterminating input can be further constructed as an counterexample for the given nonterminating loop, which makes the result more complete.
在其终止性可判定理论的基础上，对于给定非终止循环构造出其非终止输入作为反例，使该结果更加完整。
应用推荐