This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
具体描述
读后感
事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。
评分如果你周围的人在说P， NP之类，而你还不知道这些概念，请捧起这本书！ 之后，如果你还想去解决它们，寻求解决思路可以参考这本Metaheuristics For Hard Optimization
评分RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指导一下，请告知翻译版本的书名，出版社等信息 RT，英语真心一般啊，想看看有木有翻译版本的，Introduction to the Theory of Computation，第二版，请各位大神指...
评分事知其然而后知其所以然。 现代计算机体系的构建，图灵机的数学模型的实现，正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了，只是记得不断的证明，一步步的证明，充满了智慧的光芒。 总之，是一本好的数学书。
评分本书的作者是著名的计算理论方面专家，麻省理工学院应用数学系主任 M. Sipser。全书分为11章，并附有部分习题解答。全书思路清晰，由浅入深，内容详细，是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
用户评价
数学很美妙
评分入门书~利用window的证明好萌啊
评分這本書的每一個字我都沒放過，所以我想評價它我是很有發言權的。這本書可能是我讀過最好的計算機類書，因為它踏實地用學過高中數學的人就能聽得懂的數學語言，把計算機科學中最基本的問題描述清楚﹣﹣任何問題只要看書，無需再上Google, Wikipedia就能明白（事實上Wiki很多概念的介紹引用該書）。書中的證明高度可讀，思路也異常清????。如果說遺憾的話，是有幾個證明過複雜了： （DFA至正則可用R_ij^k證明， SAT是NP完全應把第九章的電路證明移到第七章， Clique可以reduce到vertex cover來證明，IP in PSPACE 廢話稍多）。但總而言之，大愛此書，對訓練抽象思維大有助益。
评分比selman那本强太多了....
评分这本书相当理论了。从图灵机到语言到time complexity 到space complexity。reduction一路下来。Sipser比较善于画图和写reduction的过程，但是如果要涵盖全面的百科全书的话，还是有几本比它更全面些的。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有