Translation of computability from English into Chinese
Noun
computing theory
- The computability of the problem was proven by the researchers.研究人员证明了这个问题的可计算性。
mathematics
- Computability is important in computer science and mathematics.可计算性在计算机科学和数学中很重要。
Examples of computability in a sentence
Researchers are exploring the computability of complex systems. Understanding computability helps in algorithm design. The course covers the basics of computability theory.
Translations of "computability" in Context ordered by category and frequency
The field has since grown to include the study of generalized computability and definability.
它的领域增长为包括一般性的可计算性和可定义性的研究。
The fields of feasible computability and computational complexity study functions that can be computed efficiently.
可行可计算性 和计算复杂性 研究可有效计算的函数。
The computability theory is one of the vital and hard problems in computer scientific research nowadays.
可计算性理论是当今计算机科学中研究的热点和难点问题之一。
Closely related fields in theoretical computer science are analysis of algorithms and computability theory.
在理论计算机科学领域，与此相关的概念有算法分析和可计算性理论。
Other translations for computability:
- 可计算
computability: Examples and translations in context
This has led mathematicians and computer scientists to believe that the concept of computability is accurately characterized by these three equivalent processes.
这导致数学家和计算机科学家相信可计算性的概念可由上述三种等价的计算过程描述。
University and work on computability [edit]
大学和可计算性的工作 ［ 编辑 ］
In computability theory in computer science, it is common to consider formal languages.
在计算机科学的可计算性理论 中，经常考虑形式语言 。
The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation.
他们获得的基本结果建立了图灵可计算性作为有效计算的非正式想法的正确的形式化。
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
使用可计算函数来讨论可计算性而不提及任何具体的计算模型 ，如图灵机或寄存器机。
I tried to read Alan Turing's paper on computability, but I found it very difficult.
我试图去阅读阿兰·图灵那些关于可计算性的论文，但是却发现它们对我来说太难了。
See also: