可计算性

基本解释 (translations)

computability

与可计算性相关的网络例句 [注：此内容来源于网络，仅供参考]

Documents are defined in real number field using the form of vector, pattern recognition and mature calculate methods in other fields can be used, which improves calculability and maneuverability of nature language document obviously.

把文档以向量的形式定义到实数域中，能够使用模式识别和其它领域中各种成熟的计算方法，极大地提高自然语言文档的可计算性和可操作性。

This includes computability theory , computational complexity theory , and information theory .

这包括可计算性理论，计算复杂性理论，信息理论。

Computational theory of the three traditional core areas: automata, computability and complexity.

计算理论的三个传统的核心领域：自动机、可计算性和复杂性。

The computability of a language is one of the fundamental problems of theoretical computer science.

引官 语言的可计算性问题是理论计算机科学的一个基本问腼川，计算机仅能够对数字进行计算，但在实际应用中，人们不仅摇要计算机进行数值计算，还孺要计算机能够处理大t 的文字信息。

Computability theory differs from the related discipline of computational complexity theory, which deals with the question of how efficiently a problem can be solved, rather than whether it is solvable at all.

可计算性理论的不同之处相关学科的计算复杂性理论，其中涉及的问题是，如何有效的问题可以得到解决，而不是它是否解决了。

Computability is one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces. This is where computability logic comes in.

可计算性在数学、哲学和计算机科学领域是最有趣和最基础的概念之一，人们很自然地会问，从可计算性得出的是什么逻辑，这就是报告人新近提出的可计算性逻辑。

That field which is concerned with decidability and solvability of problems is referred to as computability theory or theory of computation, although some computer scientists advocate the inclusion of the current field of algorithms as part of the discipline.

我们把问题的可判定性和可解性的研究领域称为可计算性理论或者计算理论，虽然一些计算机科学家主张把现代算法领域包括到这门学科当中去。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

So the paper analyzes system complexity by inversion, and it, in the theory, is also a non-computable problem or unsolvable problem, that is not to simply say a lot or hugeness.

另一个是理论上可计算性的，但实际中由于问题的计算量以非多项式增长无法在现有计算机可接受的时间内完成。

For a good 3D models retrieval system, the geometrical similarity matching method should be reckonable, and be robust to rotation, noise, model degeneracy.

对于三维模型检索系统，三维模型几何相似性比较算法要有较好的可计算性，具有较好的噪声鲁棒性，较好的网格简化鲁棒性，以及三维模型的坐标系旋转鲁棒性。

与可计算性相关的网络解释 [注：此内容来源于网络，仅供参考]

Calculability：可计算性

可计算性(calculability)是指一个实际问题是否可以使用计算机来解决.从广义上讲如"为我烹制一个汉堡"这样的问题是无法用计算机来解决的(至少在目前).而计算机本身的优势在于数值计算,因此可计算性通常指这一类问题是否可以用计算机解决.事实上,

effective calculability：能行可计算性

能量谱|energy spectrum | 能行可计算性|effective calculability | 能行性|effectiveness

effective calculability：有效可计算性

有效面积 effective area | 有效可计算性 effective calculability | 有效截断频率 effective cut off frequency

CALCULATED RISK：可计算性风险

"凯登","Caiden, Gerald E." | "可计算性风险","calculated risk" | "精算式联邦主义","calculative federalism"

computability：可计算性

后来我上数学系,学了更多的"公理系统",在做毕业论文时还自己设计了一个公理系统,以便来证明数学上"可计算性"(Computability)里边,一条没有证明的定理.

computability：可计算性 可算性

Compurshutter康盘快门 | computability可计算性 可算性 | computablefunction可算函数

computability：自动化、可计算性与复杂性

18.385 非线性动力学及混沌 Nonlinear Dynamics and Chaos, Fall 2... | 18.400J 自动化、可计算性与复杂性 Automata, Computability, and Complexity, Spring 2002 | 18.404J 计算理论 Theory of Computation, Fall 2...

turing computability：图灵机可计算性

turbulent 湍聊 | turing computability 图灵机可计算性 | turing computable 图灵机可计算的

Computability theory：(可计算性理论)

4.本计画拟以可计算性理论(Computability Theory)为基础,建立数位仪控系统软体故障行为数学模式,结果可应用在软体可靠度、风险分析等安全分析工作,将有助於建立具共识基础、可为各方接受的安全/风险分析技术.

predictably computable function：预测可计算性函数

predictable interrupt 可预测中断 | predictably computable function 预测可计算性函数 | predicted and corrected altitude 修正的提前高度