什么是可计算性
更新时间: 2025-12-28 17:55:05
所谓可计算性,亦称算法理论或能行性理论,是计算机科学的理论基础之一。
可计算性通过建立计算的数学模型 ,精确区分哪些是可计算的,哪些是不可计算的。计算的过程是执行算法的过程。可计算性理论的重要课题之一,是将算法这一直观概念精确化。算法概念精确化的途径很多,其中之一是通过定义抽象计算机,把算法看作抽象计算机的程序。通常把那些存在算法计算其值的函数叫做可计算函数。
因此,可计算性的精确定义为:能够在抽象计算机上编出程序计算出值的特征。
什么是可计算性 相关文章
上一篇:查看京东金融理财
下一篇:农村说的开社是什么时候
其他相关资讯
天气预报导航
天气资讯
更多 >>
