decidability发音

意思翻译

n.[数]可判定性

相似词语短语

decidable language───可解语言

decidable synonym───可判定同义词

decidable meaning───可判定意义

decidable set───可判定集

decidable logic───[计]可判定逻辑（电路）

decidable def───可判定def

双语使用场景

decidability of the model is proven and a decidability algorithm is presented.───证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

The concept of algorithm is also used to define the notion of decidability.───算法的概念，也用来界定概念的决定性。

present a dense timed interval temporal logic and exploit the decidability problem of DTITL.───了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

A Definition Framework of Spatial Logic and Decidability───空间逻辑的一个定义框架及其可判定性

The Decidability of Proof Method in the Predicate Logic Inference───谓词逻辑推理中证明方法的判定

英语使用场景

The decidability of system M can thus be derived from the finite model property.

A formal semantics is given. We prove 79's soundness, consistency, completeness[sentencedict .com], and decidability with respect to the semantics.

Condensing is one important type of redundancy elimination. We first consider the decidability and complexity of this problem, and then gives a polynomial algorithm of its sub-problem.

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

This thesis fully uses the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.

The decidability of the model is proven and a decidability algorithm is presented.

In his fictions, the destiny is represented by the mysterious nature, the decidability and comeuppance, contingency and coincidence, instinct and desire.

This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.