T007532 可计算性引论
王元元编。 东南大学出版社1990年5月版。23．0万字。电子工业部“七五”规划统编教材，主要介绍可行可计算和递归可计算概念，从理想化计算模型(计算所使用的时间和空间不受任何限制)的计算能力、固有局限性研究与可计算函数的数学特征这两方面出发，揭示计算的本质和计算的可行性。分5个部分：第一部分介绍抽象算法族(抽象计算机)可计算概念；第二部分介绍两种计算模型——Turing机及理想化的简明程序设计语言；第三部分讨论传统的递归论；第四部分介绍形式语言的基础知识；第五部分讨论判定问题，亦即可计算概念的应用。 各章末附有习题。 |