具体描述
本书由计算机理论领域的知名权威Michaael Sipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。
本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。
作者简介
目录信息
读后感
事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。
评分事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。
评分我觉得作者很可爱，他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说，看了第一章，就应当一成的收获。计算机中重要的数学概念被解构的如此清楚，非常的难得。 另外，要说一下，翻译的问题。翻译的很不错（话说本来英文版就很上口），但是却是看原版会...
评分我觉得作者很可爱，他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说，看了第一章，就应当一成的收获。计算机中重要的数学概念被解构的如此清楚，非常的难得。 另外，要说一下，翻译的问题。翻译的很不错（话说本来英文版就很上口），但是却是看原版会...
评分本书的作者是著名的计算理论方面专家，麻省理工学院应用数学系主任 M. Sipser。全书分为11章，并附有部分习题解答。全书思路清晰，由浅入深，内容详细，是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
用户评价
书是好书，虽然英文版，但是慢慢看说得还是挺清楚的，但是但是。。。习题还是不会呀。。求答案。。。2012/1/10终于考完，和它的爱恨纠葛到此为止。
评分What are the fundamental capabilities and limitations of computers?
评分去年去中科院软件所面试的时候恶补了一下，还是国外的教科书靠谱，深入浅出。这本书给我最深的印象是直觉与逻辑推理并重，作者在每个具体的证明之前都会给出直觉上产生这种思路的原因。
评分part 2 看了一部分, part 3 其他地方看过了, 没有细看
评分偶得，很不错的书！
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2026 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有