T007532 可计算性引论

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-11-09 13:13:17

出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第16册工业技术(下)》第796页(285字)

王元元编。

东南大学出版社1990年5月版。23.0万字。

电子工业部“七五”规划统编教材,主要介绍可行可计算和递归可计算概念,从理想化计算模型(计算所使用的时间和空间不受任何限制)的计算能力、固有局限性研究与可计算函数的数学特征这两方面出发,揭示计算的本质和计算的可行性。

分5个部分:第一部分介绍抽象算法族(抽象计算机)可计算概念;第二部分介绍两种计算模型——Turing机及理想化的简明程序设计语言;第三部分讨论传统的递归论;第四部分介绍形式语言的基础知识;第五部分讨论判定问题,亦即可计算概念的应用。

各章末附有习题。

分享到: