作为一个反例,Brown提到一个项目,其中使用了三种持久化解决方案:Spring、EJB和Hibernate。
从某种意义上,这个程序是一个可执行文件,因为对于作为过滤器来说,它决不会有任何用处。
如果找到了这样的点,那么特性就会失败,该点就是一个反例。
通过构造反例表明,一个模的赋值在该模的扩张上不一定总存在拓展。
此外,构造反例、倒推法、淘汰法也均来源于反向思考。
那么反例成为了,这是星期五Marianne穿着牛仔裤。
同时指出了文献[33]中有关命题5的错误,并给出了反例和相关的证明。
关于最大平面图着色的探讨——希伍德的反例是4-色的
1·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.
苏格拉底从没说过,西米亚斯,你的观点在这里有错,和声并非无形或者不可毁灭,所以我们没有了反例。
2·Sometimes the best way to illustrate how to do something is by counterexample.
有时候,说明如何做某事的最好方法是举反例。
3·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.
所以如果苏格拉底说的无形,是第一个意思:,眼睛看不见,这个论证就不好,和声是个很有说服力的反例。
4·There exists a counterexample showing that a compact topological space is not necessarily a sequentially compact space.
有反例表明一个紧致拓扑空间不一定是序列紧致的拓扑空间。
5·Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.
模型检测基于概率系统的反例产生问题,在最近引起人们的关注。