书名：可计算性理论: 计算机科学丛书
出版社：科学出版社
作者：莫绍揆; 王元元
出版年份：1987
电子书格式： pdf
简介：《可计算性理论》是计算机科学丛书中的一本经典著作，由莫绍揆和王元元编著，科学出版社于1987年出版。该书深入探讨了可计算性理论的基本概念、图灵机、递归函数、不可判定性等内容，为读者提供了系统的理论基础和研究方法。适合计算机科学、数学、逻辑学等专业的学生和研究人员学习参考。
ISBN：9787030000613, 70300