Name: 计算理论导引
ISBN: 9787111075745

作者: [美] Michael Sipser
出版社: 机械工业出版社
副标题: 第1版
原作名: Introduction to the Theory of Computation
译者: 张立昂 / 王捍贫 / 黄雄
出版年: 2000-2
页数: 273
定价: 30.00元
装帧: 平装
丛书: 计算机科学丛书
ISBN: 9787111075745

豆瓣评分

9.2

30人评价

5星

60.0%
4星

33.3%
3星

6.7%
2星

0.0%
1星

0.0%

评价:

内容简介 · · · · · ·

本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角，综合地描述了计算机科学理论，并以清新的笔触、生动的语言给出了宽泛的数学理论，而并非拘泥于某些低层次的技术细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。同样，对于算法描述，均以直观的文字，而非伪代码给出，从而将注意力集中于算法本身，而不是某些模型。本书的内容包括三个部分：自动机与语言、可计算性理论和

计算理论导引的创作者 · · · · · ·

黄雄译者

目录 · · · · · ·

译者序
前言
第1章
导引
1.1
自动机、可计算性与复杂性
· · · · · · (更多)

原文摘录 · · · · · ·

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

丛书信息 · · · · · ·

　　计算机科学丛书(共654册)，这套丛书还有《数据结构算法与应用》《面向对象与传统软件工程》《计算机网络实用教程》《Java编程思想(第2版)》《Python大学教程：面向计算机科学和数据科学》等。

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

: Approximation Algorithms 9.6

: 计算理论基础 9.1

: Database Systems 9.5

: 矩阵计算（英文版·第4版） 9.2

: 人工智能 8.7

: 离散数学及其应用(原书第4版) 9.2

: 数据库系统实现 8.7

: 代数特征值问题 9.0

: Probability and Computing 9.5

: The Design of Approximation Algori... 9.2

我来说两句

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

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

热门只看本版本的评论

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

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

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

214 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回应

南山周末 2024-12-07 20:06:52 机械工业出版社2006版

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回应