查询词典 instances

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

In July and August of last year there were still many instances of landlords cancelling tenancies and re-letting the land.

去年七八月间，地主还有好多退佃另佃的事。

In many instances, I discarded their bottom torso and replaced them with torsos I casted from other 1/32 scale figures.

在许多情况下，我丢弃其下部躯干，用我从其它1/32比例的人偶的躯干取而代之。

In other instances, individuals wish to lessen the need for shaving, waxing, tweezing, or other methods of hair removal.

在其他情况下，个人要减少需要剃，上蜡， tweezing ，或其他方法脱毛。

The Spousal Unit would like to see a closing of all the instances with significant lore bosses, maybe some terrain changes, and festivals celebrating the vanquishing of the Burning Legion.

最终的结局也许我们将看到所有重要的 BOSS 都被击败，也许一些地势发生了改变，或者是庆祝击败燃烧军团的节日。

Chapter 5 solves the difficult degree-constrained minimum spanning tree problem by ant algorithm. Large number of tests and comparisons show the effectiveness of the searching strategy for highly constrained problem instances.

第五章对度约束最小生成树问题这个难题设计了相应的蚂蚁算法，通过大量试验求解并与其他算法作比较，发现这种蚂蚁搜索策略对于约束条件苛刻的问题实例来说，效果十分明显。

The change of economics environment and competition rules,the adjustment and consummating of supervising policies and the increasing drastic competitions bring on several new instances and new problems. The bill discounting business of Harbin Commercial Bank is facing the huge challenges.

随着经济环境变化，利率的市场化、监管政策的调整和完善、竞争规则的改变，以及日益激烈的国际国内同业竞争等，随之而来出现了许多新情况和新问题。

In some instances, the actual performance of a regional block and establishment of surgical anesthesia may take longer than the proposed operation.

某些情况下区域麻醉和外科麻醉花费的时间较手术本身还要长。

This book offers a case in support of specified instances of medically assisted death and responses to the main objections to it.

本书提供了在医助的死亡，并给它的主要反对意见的答复具体情况下全力支持。

Some basic definitions before we begin: A buffer is simply a contiguous block of computer memory that holds multiple instances of the same data type.

在开始之前我们给出几个基本的定义：缓冲区，简单说来是一块连续的计算机内存区域，可以保存相同数据类型的多个实例。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。