更新时间:-- | 阅读量: 77
求解问题类的、机械的、统一的方法,它由有限多个步骤组成,对于问题类中的每一个给定的具...因为“算法可计算”（“能行可计算”）是一个未经严格数学定义的概念，而“递归函数”（以及图灵机，λ-可定义函数）却是精确定义了的数学概念，因此无法证明 ...
搜索到与“ 概念精确化”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
