Name: 计算理论导引
ISBN: 9787111173274

作者: 塞普瑟
出版社: 机械工业出版社
出版年: 2006-1
ISBN: 9787111173274
页数: 437
装帧: 简裝本
定价: 49.00元
丛书: 经典原版书库

豆瓣评分

9.1

58人评价

5星

69.0%
4星

29.3%
3星

1.7%
2星

0.0%
1星

0.0%

评价:

内容简介 · · · · · ·

本书由计算机理论领域的知名权威Michaael Sipser所撰写。他以独特的视角，系统地介绍了计算机理论的三个主要内容：自动机与语言、可计算性理论和计算复杂性理论。约大部分内容是基本的，同时对可计算性和计算复杂性理论中的某些高级内容进行了重点介绍。作者以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下涵的概念。同样，对于算法描述，均以直观的文字而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。新版根据多年来使用本书的教师和学生的建议进行了改进，并对课堂测试题进行了全面的更新，每章末均有样例解答。

本书可作为计算机专业高年级本科生和研究生的教材，也可作为教师和研究人员的参考书。

原文摘录 · · · · · ·

Ignoring the trees to see the forest doesn't mean that one is more important than the other--it just gives a different perspective. (查看原文)

Darkgt 1赞 2013-09-18 04:29:12

—— 引自第235页
We have come to a turning point in the study of the theory of computation. We continue to speak of Turing machines, but our real focus from now on is on algorithms. That is, the Turing machine merely serves as a precise model for the definition of algorithm. We skip over the extensive theory of Turing machines themselves and do not spend much time on the low-level programming of Turing machines. We need only to be comfortable enough with Turing machines to believe that they capture all algorithms. (查看原文)

7086 2022-11-24 14:56:26

—— 引自章节：Terminology for describing Tur

丛书信息 · · · · · ·

　　经典原版书库(共391册)，这套丛书还有《现代操作系统》《贝叶斯方法》《信息论、编码与密码学》《统计机器学习导论》《高性能嵌入式计算》等。

喜欢读"计算理论导引"的人也喜欢的电子书 · · · · · ·

支持 Web、iPhone、iPad、Android 阅读器

: CoffeeScript小书

1.99元

: 精益创业

9.90元

: 思考的乐趣

18.00元

喜欢读"计算理论导引"的人也喜欢 · · · · · ·

: Randomized Algorithms 8.7

: Database Systems 9.5

: 计算理论基础 9.1

: Computers and Intractability 9.6

: The Computational Beauty of Natur... 9.4

: Complexity and Approximation

: 算法概论（注释版） 9.1

: 离散数学与组合数学 9.3

: 微积分教程 8.6

: Approximation Algorithms 9.6

我来说两句

短评 · · · · · · ( 全部 14 条 )

计算理论导引的书评 · · · · · · ( 全部 10 条 )

热门只看本版本的评论

etone 2008-03-08 04:38:47 机械工业出版社2002版

我们为什么要学习计算理论

在所有我看过的计算理论、可计算性、计算复杂度的教材中，Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁，直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction，真是再好不过了。计算理论... (展开)

215 30回应

平凡的老鱼 2009-03-09 15:19:17 机械工业出版社2006版

很不错的关于计算理论的介绍

事知其然而后知其所以然。现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。总之，是一本好的数学书。 (展开)

3 1回应

章黄 2023-05-19 14:52:41 机械工业出版社2015版

计算是什么？

这篇书评可能有关键情节透露

我们计算3×7=21，与计算21=3×7有什么不同？3×7蕴含着21，21也蕴含着3×7。区别在于求解过程和答案形式。一般来说，问题，不仅和其他已知的公理、原理一起，构成了蕴含着答案的文本，更重要的是，它本身限定了答案的形式。计算过程就是以逻辑方法变换问题的文本形式，最终构... (展开)

2 0回应

Plato Inc. 2024-12-07 20:06:52

o1给出的可计算性定义

严格来说，经典的图灵可计算性概念是基于离散操作而非单纯的线性代数结构来定义的。然而，在扩展或类比的框架下（如Blum–Shub–Smale（BSS）模型），可以从线性代数的角度给出一种对可计算性的描述：向量空间与运算单元：将输入数据表示为一个向量（可能在某个数域上，如实... (展开)

1 0回应

RONGE KUTA 2011-03-20 21:22:00 机械工业出版社2006版

非常易读的计算理论教材

我觉得作者很可爱，他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。对于这本书来说，看了第一章，就应当一成的收获。计算机中重要的数学概念被解构的如此清楚，非常的难得。另外，要说一下，翻译的问题。翻译的很不错（话说本来英文版就很上口），但是却是看原版会... (展开)

2 1 2回应

陈炬 2009-03-19 11:11:59 机械工业出版社2002版

CS学生必读书籍

让人了解计算机的本质，它的能力与它的局限性。计算理论课的教材，上课上的很累，但很有收获。我觉得没读过这本书的不好意思说自己是Computer Science专业毕业的。 (展开)

3 2 1回应

ying17zi 2011-09-21 05:19:35 Cengage Learning2005版

Introduction to “困难问题”

如果你周围的人在说P， NP之类，而你还不知道这些概念，请捧起这本书！之后，如果你还想去解决它们，寻求解决思路可以参考这本Metaheuristics For Hard Optimization (展开)

1 3回应

我要飞羊习习 2012-06-13 20:35:42 Cengage Learning2005版

我想问问这本书有中文的翻译版么

RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指导一下，请告知翻译版本的书名，出版社等信息 RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指... (展开)

5 2回应