1、[数]可计算性
可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种...
2、可算性
... compulsoryunitization强制合一 computability可算性 computationattribute计算属性 ...
3、可计算
...1937年,Alan Turing 想出了一个 通用机器(Universal Machine)” 的概念，可以执行任何的算法，形成了一个可计算(computability)”的基本概念。Turing 的概念比其它同类型的发明为好，因为他用了符号处理(symbol processing) 的概念。
4、可计算性
...Advanced d Computer Communications先进的计算机通讯Computability可计算性 性Computer r Graphics计算机图形学 ...
practical computability[经] 实用可计算性;翻译
abacus computability算盘可计算性
turing computability图灵机可计算性;图灵机可计算性英语;翻译
partial computability[数] 部分可计算性;翻译
program computability程序可计算
relative computability相对可计算性
computability decidability可计算性
computability logic可计算性逻辑
effective computability算能力