counterexample
英 ['kaʊntəɪg'zæmpl] 美 ['kaʊntəɪg'zæmpəl]

n.

反例；

英英释义

counterexample[ 'kauntəriɡ'zɑ:mpl ]

• n.refutation by example

双语例句

用作名词(n.)

1. You mention China as a counterexample.
   你提到中国作为一个反例。
2. In this paper, we give a counterexample about an open problem on regular orbits.
   本文给出了关于正则轨道问题的一个反例。

权威例句

Counterexample-Guided Abstraction Refinement
Counterexample-guided abstraction refinement
A Counterexample in Stochastic Optimum Control
Counterexample-guided abstraction refinement for symbolic model checking
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
From symptom to cause: localizing errors in counterexample traces
From symptom to cause: localizing errors in counterexample traces
Is transport in porous media always diffusive? A counterexample