查询词典 computability

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 theory examines the limitations of various theoretical models of the computer, including the most powerful known model the Turing machine .

可计算性理论探讨了计算机的各种理论模型的局限性，包括已知的最强大的模式，-图灵机。

Firstly, an overview is given on the wave equation issue, its solution, along with the historical and present studies of computability theory.

随着计算机科学的快速发展，应用计算机来给出非线性偏微分方程的解析近似解在理论上已成为可能。

Meanwhile, the strict definitions of all divergence types presented in this paper improve the computability for the solving divergences and enable the design and the implementation of the system to be feasible.

同时，由于给出了各差异类型的严格定义，增强了异化求解的可计算性，使系统易于设计和实现。

Q. Aren't computability theory and computational complexity the keys to AI?

可计算性理论和计算复杂性理论是不是AI的关键？

However, there are some imperfections and deficiencies in theory and practice in this method, such as the paradox of topological definition, linear dependency of three components of an object and worse computability and so on.

鉴于此，本文就GIS的空间关系计算这一关键问题进行了探索与尝试。

Because of their intrinsic characteristics of hard computability, they cannot be solved accurately by efficient algorithms up to now. Since these problems have many applications in real situations, it is quite important to find some applicable algorithms.

由于难计算是这类问题的固有性质，因此它们目前尚无法用有效算法精确求解，但这些问题在现实领域中有着许多广泛的应用，因而寻找其实际而有效的算法就显得颇为重要了。

An complete example with the model is given using the AHP method, which illustrates the practicability and computability of both the model and its solution.

本文还对该模型用AHP法给出了一个完整的求解算例，表明该模型和解法均具较强的实用性和可算性、可操作性。

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.

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

Computability logic - the subject of the present course - is an approach recently introduced by him.

这是第一次对中国进行学术访问。办公时间：上课前后一个小时，或者预约。

If I didn't care what anyone thought, I would.....

如果我不介意别人怎么看，我会。。。。

In recent decades, Chile has mandated earthquake-proofing for new structures, requiring that materials like rubber and features like counterweights be built into the architectural designs to allow buildings to bend and sway during temblors rather than break.

在最近数十年里，智利已经为兴建防震的新土建结构而对建筑材料提出要求，需要的材料类似于橡胶，而特性就象运用在建筑设计中的平衡物体，一旦应用以后，当地震发生时建筑就能弯曲摇摆。