T007532 可计算性引论
书籍：中国图书大辞典：1949-1992第16册工业技术(下)
更新时间：2018-09-19 11:13:59
出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第796页（285字）
王元元编。
东南大学出版社1990年5月版。23．0万字。
电子工业部“七五”规划统编教材，主要介绍可行可计算和递归可计算概念，从理想化计算模型(计算所使用的时间和空间不受任何限制)的计算能力、固有局限性研究与可计算函数的数学特征这两方面出发，揭示计算的本质和计算的可行性。分5个部分：第一部分介绍抽象算法族(抽象计算机)可计算概念；第二部分介绍两种计算模型——Turing机及理想化的简明程序设计语言；第三部分讨论传统的递归论；第四部分介绍形式语言的基础知识；第五部分讨论判定问题，亦即可计算概念的应用。
各章末附有习题。