单词百科:decidability是什么意思?decidability怎么发音?decidability的解释和用法

英语单词decidability是什么意思?decidability怎么读?decidability怎么发音?英语巴士为您整理了decidability的解释、用法、例句、词组等相关学习资料。下面跟小编一起来看看吧！

decidability怎么读

decidability的读音:[dɪ'saɪdəblɪtɪ]

decidability的意思

1、可决定性，可判定性;

decidability的双语例句

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

这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。

2、Based on the scheduling decidability conditions, we propose a heterogeneous multiprocessor multi-frame real-time task scheduling algorithm based on genetic algorithm.

以此为基础利用调度可判定性条件，提出了基于遗传算法的异构多处理器多帧实时任务调度算法。

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

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

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

在他的小说中，命运以神秘的大自然、遗传与因果报应、偶然与巧合、本能与欲念的形式表现出来。

5、A Definition Framework of Spatial Logic and Decidability

空间逻辑的一个定义框架及其可判定性

6、On Decidability of NP complete Problems by Polynomial Sized Circuit

关于NP完全问题的多项式线路可判定性

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

证明了该模型的可判定性，并给出了判定任意一个事件是否需要审计的算法。

8、It was not the determinism of physics, or chemistry, or of biological cells, that was involved in Hilbert's question about decidability.

希尔伯特的可判定性问题，并不是指物理、化学，或生物细胞的决定论。

9、The Decidability and Complexity for Theories of Modules on Finitely PI Rings

有限可换主理想环上模理论可判定性及其复杂性

10、Description of parallel algorithms by FP and Decidability of its systolic implementation

并行算法的FP描述及其脉动化的判定

11、The Decidability of regular Problems for Monoids Presented by Church-Rosser Systems

Church-Rosser系统表现&么半群中正则问题的可判定性

12、Epistemic logic ( 4): on the Decidability of epistemic logic

认识逻辑（4）：关于认识逻辑的可判定性

13、Decidability of Propositional Projection Temporal Logic

命题投影时序逻辑的可判定性

14、The Decidability of Proof method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

15、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.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

16、The concept of algorithm is also used to define the notion of decidability.

算法的概念，也用来界定概念的决定性。

17、Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference

假言+选言推理的逻辑构造、判定和使用

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

本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。

以上是英语巴士为您整理的decidability怎么读的相关信息，希望对大家有一定的帮助。查看更多关于decidability的用法、decidability的释义、decidability的相关详情请点击：http://www.sijidanci.com/decidability