当前位置：首页 > TAG信息列表 > 可计算性
可计算性
-
可计算性、计算复杂性与算法设计思路
吴哲辉编著2009 年出版186 页ISBN：9787563629107本书是高等学校计算机软件理论及相关专业的博士研究生教材，主要内容包括计算的三个方面：可计算性、计算复杂性和算法。其中主要讲解了算法设计的主要思想方法，并通过具体实例对这些思想方法进行了阐述；重点阐述...
-
-
-
国外计算机科学教材系列 可计算性与数理逻辑
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
-
-
可计算性与数理逻辑 第4版
（美）George S.Boolos，（美）John P.Burgess，（美）Richard C.Jeffrey著；何自强等译2005 年出版289 页ISBN：7121007797本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...
-
-
-
-
-
计算理论基础 可计算性、复杂性和语言 英文版 第2版
（美）戴维斯（Davis，M.D.），（美）西加尔（Sigal，R.），（美）韦约克（Weyuker，E.J.）著2009 年出版609 页ISBN：9787115196576本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材，书中涵盖的主题包括可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义。本书分为5个部分分别讲述...
-
-
-
可计算性与计算复杂性导引
张立昂编著1996 年出版299 页ISBN：7301032293本书是学习理论计算机科学基础的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机...
-
-
-
可计算性复杂性语言 理论计算机科学基础
（美）戴维斯（Davis，M.D.），（美）威尤克（Weyuker，E.J.）著；张立昂等译1989 年出版307 页ISBN：7302004269 -
-
可计算性与计算复杂性导引
张立昂编著2011 年出版256 页ISBN：9787301177686本版（第三版）是在2004年第二版的基础上，作者经过6年多的讲学听取学生的意见、要求进行了修订，新增了习题解答；同时对第二版中存在的错误作了纠正；而且在内容上作了部分调整。本教材是一本较为成熟的教材，本书第二...