computability

computability是什么意思，computability的意思中文翻译、音标及例句等。

音标/读音:英 [kəm,pjuːtə'bɪlɪtɪ]美

computability意思翻译-n. 可计算性

n. 可计算性

n.〔数〕可计算性

可算性；来自可计算性；可计算性论

computability的例句及中文翻译

Matin D . Davis , Computability, Complexity, and Languages, Academic Press, 198

《可计算性 、 复杂性和语言》, 清华大学出版社,北京, 198

A more extensive and theoretical treatment of the material in 1400 J, Automata , Computability, and Complexity computabilitytheory.

本课程比1400J[自动机, 可计算性和复杂性]涉及面更广、更理论化.

For a more advanced graduate course, computability theory and computational complexity theory are also covered.

高级课程中还包括了可计算理论和计算复杂性理论.

1.The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability .

真理的经典概念转变为可计算性的特殊的零交互度的情况。

2.He did make a brief contribution to the book, buried in chapter 26, in which he summarized computability and the universal machine.

图灵的确为书做处简要的贡献，这在第二十六章可以看出，他总结了可计算性和通用机械。

3.For a more advanced graduate course, computability theory and computational complexity theory are also covered.

高级课程中还包括了可计算理论和计算复杂性理论。

4.Thanks to its computability, it has been applied in quantifying local coherence of discourse segments.

该模式因其具有可计算性特征而被逐渐应用于语篇局部连贯性的量化分析。

5.with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

关于电脑程序语言计划习惯于用明确性的运算结构，就如一个自学的对象？？。

6.For curricula automata subject a more advanced graduate course, computability theory and computational complexity theory are also covered.

高级课程中还包括了可计算包括理论模型理论和计算复杂性理论。

7.In general, questions of what can be computed by various machines are investigated in computability theory.

一般而言，计算性理论研究的问题是：什么是能够被各种机器计算的问题。

8.Hence meaningful concepts of intuitionistic truthand linear-logic truthcan be derived from the semantics of computability logic.

因为“直觉真理”和“线性逻辑真理”的有意义的概念可从可计算性逻辑的语义中推导出来。

9.In computability theory, there is a closely related concept known as Turing equivalence.

翻译过来就是：在可策画理论里，有一个很相干的概念叫图灵等价。

10.The proofs of computability give rise to Turing algorithms, which may possibly be translated into numerical algorithms.

可计算性的证明过程通常会产生图灵算法，这些图灵算法可能会被转化为数值算法。

computability是什么意思-n. 可计算性

computability是什么意思由英汉词典整理修订，时间:2024-03-20 14:12