computability

computability

英/ kəmˈpjuːtəbɪləti /

美/ kəmˈpjuːtəbɪlɪti /

简明

n.可计算性

网络释义
英英释义

1
[数] 可计算性
可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种...
2
可算性
... compulsoryunitization强制合一 computability可算性 computationattribute计算属性 ...
3
可计算
1937年,Alan Turing 想出了一个通用机器(Universal Machine)” 的概念，可以执行任何的算法，形成了一个可计算(computability)”的基本概念。Turing 的概念比其它同类型的发明为好，因为他用了符号处理(symbol processing) 的概念。

短语

1
computability logic
可计算性逻辑
2
computability theory
数可计算性理论 ; 促使可计算理论 ; 计较理论
3
turing computability
图灵机可计算性

查看更多

双语例句

1
All these researches improve the computability of the language processing.
这些研究增强了语言处理的可计算性。
2
In computability theory, there is a closely related concept known as Turing equivalence.
在可计算理论里，有一个很相关的概念叫图灵等价。
3
This includes computability theory, computational complexity theory, and information theory.
这包括可计算性理论，计算复杂性理论，信息理论。

查看更多

同近义词

n.
[数]可计算性
calculability

点击反馈