2009 年出版186 页ISBN：9787563629107
本书是高等学校计算机软件理论及相关专业的博士研究生教材，主要内容包括计算的三个方面：可计算性、计算复杂性和算法。其中主要讲解了算法设计的主要思想方法，并通过具体实例对这些思想方法进行了阐述；重点阐述...
2006 年出版158 页ISBN：711804329X
本书介绍了可计算性的四个主要模型及之间的关系，计算复杂性的基本概念和重要方法等。
2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
2005 年出版289 页ISBN：7121007797
本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...
1987 年出版335 页ISBN：7030000617
本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...
2009 年出版609 页ISBN：9787115196576
本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...
1996 年出版299 页ISBN：7301032293
本书是学习理论计算机科学基础的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机...
2004 年出版221 页ISBN：7301074638
本书是高等学校计算机理论教材的参考书。计算模型及等价性，函数、谓词和语言的可计算性等基本概念。
2011 年出版256 页ISBN：9787301177686
本版（第三版）是在2004年第二版的基础上，作者经过6年多的讲学听取学生的意见、要求进行了修订，新增了习题解答；同时对第二版中存在的错误作了纠正；而且在内容上作了部分调整。本教材是一本较为成熟的教材，本书第二...
