TCS入门书籍列表，供那些对TCS不太了解的人使用[关闭]

如果您必须向希望在入门级学习更多有关TCS的人推荐书籍，例如自动机理论，算法学，复杂性理论等，那么您会为那些有兴趣并想了解更多信息的人推荐什么书？ TCS，但没有接触过它吗？

如果您想在不深入了解技术细节的情况下进行一般性介绍，我建议使用David Harel的Algorithmics：计算的精神。之后，这是我最喜欢的列表：

• 迈克尔·西普瑟（Michael Sipser）的《计算理论导论》：关于自动机理论，可计算性和复杂性的最佳介绍。
• 算法最直观的介绍与算法更加注重直觉不是技术证明：由S.达斯古普塔，CH PAPADIMITRIOU和UV瓦齐拉尼。
• 乔恩·本特利（Jon Bentley）的《Programming Pearls》：这不是一本关于算法的教科书，但它很好地展示了如何使用算法设计技术来解决困扰真正程序员的实际问题。:-)如果您对编程有所了解，这可能是一个不错的开始。

• 科门，雷森，里维斯特和斯坦因等人的《算法概论》是一个受欢迎的选择，书名不言而喻。
• Aho，Ulman和Sethi撰写的《编译器：原理，技术和工具》是一本关于编译器的好书，也有一些有关自动机理论的介绍材料。
• 《模型检查原理》是一本庞大的书，可以用作模型检查的入门

对于算法分析所需的数学，我建议使用唯一的GKP：

格雷厄姆（Graham），克努斯（Knuth），帕塔什尼克（Patashnik）的具体数学
全面，高质量地处理了（基本）算法学中几乎所有需要的数学。这是一本有趣的读物，包括许多练习（和解决方案）。

算法 4.版R. Sedgewick

算法分析简介 P. Flajolet，R。Sedgewick

自动机理论，语言和计算概论 JE Hopcroft，JD Ullman，（R。Motwani）
1979年的第一版具有更多的理论结果，而2001年的第二版中却没有。还没有看过第三版的Ed。

形式语言理论导论 MA Harrison始于
1978年，但我仍然希望看到它。

Logicomix：对真相的史诗搜索 A. Doxiadis，CH Papadimitriou，
因为它真棒！

1979年再次，
Garey and Johnson的“ 计算机与难缠性：NP完全性理论指南”

我很乐意将TAoCP列入名单，但我担心Don Knuth的细致入微是无法被视为“入门”的。可悲的是...

如果您是TCS领域的新手，那么Sipser的《计算理论导论》绝对是入门的最佳书。我读过其他入门书籍，我认为这些书籍都不比Sipser提出问题的方式更接近。

其他更具体的优秀理论书籍包括：

• 本杰明皮尔斯的类型和编程语言。从不同的角度来看，这是理论计算机科学和逻辑学。
• U.Schöning和R. Pruim撰写的《理论计算机科学》。

一些涵盖TCS理论B部分的好书：

• CS中的逻辑：计算机科学中的逻辑：系统的建模和推理，作者：Michael Huth和Mark Ryan。
  广泛涉及计算机科学中逻辑的各种用途。大约本科三年级。

• Lambda微积分：Lambda微积分和组合器。介绍由J.罗杰辛德雷和Jonathan P.塞尔丁。
  引入了lambda演算，它是编程语言基础中的重要组成部分。大约本科三年级。

• 导致领域理论：本科生Davey和HA剑桥大学出版社Priestley 着的《格和序入门》（第二版）。（2002）。
  涵盖了一个非常有用的主题，尤其是在您打算使用语义的情况下。它比其他主题更具数学意义，但是早期的课程肯定是在较高的本科水平上。

• 语义：应用的语义：Hanne Riis Nielson和Flemming Nielson 的开胃菜。
  编程语言语义的非常不错的介绍。它没有深入探讨任何特定的形式主义，而是给出了广泛的介绍，并包括了其他有关语义的书中通常没有考虑的应用程序。可能对二年级本科生有用。

这是一个汇总答案，其中包含得分至少为5的答案中的书籍。请在聊天中讨论其内容。

算法与数据结构

• Cormen，Leiserson，Rivest，Stein撰写的《算法简介》（2009年第3版）
  全面论述了基本算法和数据结构及其分析，而无需过于深入。
• 算法，作者：Dasgupta，Papadimitriou，Vazirani（2006年）
  ，最直观的算法介绍，比技术证明更注重直觉。

可计算性和复杂性

• Sipser 的计算理论导论（第2版，2005年）
  自动机理论，可计算性和复杂性的最佳介绍。

形式语言与自动机

• 编译器： Aho，Ulman和Sethi的《原理，技术和工具》（2006年第2版）
  。非常全面。也涉及自动机理论。

应用理论

• Baier，Katoen（2008）的模型检查原理
  大量书籍，可作为模型检查的全面介绍。
• Jon Bentley 编写的《 Programming Pearls》（第二版，1999年）
  不是一本关于算法的教科书，而是精美地演示了如何使用算法设计技术来解决实际问题。如果您对编程有所了解，则可能是一个好的开始。