计算理论导引

Hacker News 上怎么说

• T-R · 2011 年

  ……Rivest 和 Stein；Hyde 的《汇编语言的艺术》；一本数字逻辑的书（不确定哪本最受推崇），以及一本计算机体系结构的书（参见 tftfmacedo 的回复）；Tanenbaum 的《现代操作系统》；Sipser 的《计算理论导引》；Aho、Lam、Sethi 和 Ullman 的《编译原理》（即“龙书”）；Scott 的《编程语言实用主义》；一本数据库设计的书（讲关系型……

  …Rivest, and Stein The Art of Assembly Language - Hyde a digital logic book (not sure which is most recommended), and an architecture book (see reply by tftfmacedo) Modern Operating Systems - Tanenbaum Introduction to the Theory of Computation - Sipser Compilers: Principles, Techniques, and Tools - Aho, Lam, Sethi, and Ullman (a.k.a. "Dragon Book") Programming Language Pragmatics - Scott A database design book (one that covers Relational…

• LeafStorm · 2013 年

  本科读了两年半，Sipser 的《计算理论导引》是我迄今为止遇到的唯一一本除了课后作业外真觉得受益匪浅的计算机教材，另外就是 K.N. King 的《C语言程序设计：现代方法》了。（为了保持……

  Two and a half years into my bachelor's, Sipser's Introduction to the Theory of Computation is the only computer science textbook I've had so far that I'd say I really found useful for anything beyond the homework problems, besides K.N. King's C Programming: A Modern Approach. (To keep this…

• unlinked_dll · 2020 年

  ……Edit：以及 type state 模式 http://cliffle.com/blog/rust-typestate/ 顺便说一句，如果你想深入搞懂 FSM（有限状态机）和自动机理论（以及一些基础语言理论主题），去读 Sipser 的书《计算理论导引》。只需几十页，你就能从逻辑推演到状态机，并领悟为什么图灵机这么屌。里面的数学其实一点都不劝退。

  …Edit: and the type state pattern http://cliffle.com/blog/rust-typestate/ As an aside, if you want to dive in with FSMs and automata theory (as well as some basic language topics) go read Sipser's book, "Introduction to the Theory of Computation." You'll go from logic to state machines to understanding why Turing Machines are so dope in a few dozen pages. The math isn't bad.

• tikhonj · 2013 年

  ……可能这也是为什么我不太喜欢那门课。感觉就像是一堆零散的话题，全靠一些反复出现的小技巧勉强拼凑在一起。相比之下，Sispser 的《计算理论导引》给我的印象好太多了，作为一本书其脉络要连贯得多。这完全不是个公平的对比，因为它们探讨的是不同（尽管相关）的领域，但我认为这恰好能说明我的观点。另外，我也不……

  …Probably why I didn't like the course much. It feels like a bunch of disjoint topics held together very loosely by some techniques that get repeated a bit. I compare it very unfavorably to Sispser's Introduction to the Theory of Computation which, I felt, was much more coherent as a book. It's not a fair comparison at all because they're about different (although related) subjects, but I think it neatly illustrates my point. Also, I don't…

• User23 · 2018 年

  我读过最棒的入门书就是 Michael Sipser 的《计算理论导引》。可读性极高。它不知怎么做到的，既能保持严密的逻辑性，又极其平易近人。对于像你这样的人，我简直不能推荐得更用力了。更爽的是，它甚至不算特别……

  The best introduction I’ve ever read is Michael Sipser’s Introduction to the Theory of Computation. It is eminently readable. It somehow manages to be logically rigorous while remaining approachable. I couldn’t recommend a book more strongly for someone such as yourself. As a bonus it’s not even particularly…

• bo1024 · 2019 年

  ……图灵的和香农的；但你最好还是去读读更新的教材。话虽如此，为了平衡一下这里对编程和工程类书籍的过度偏重，给几点推荐：- Sipser，《计算理论导引》。- Russell 和 Norvig，《人工智能：现代方法》。- 算法方面我没什么特定偏好。有 Dasgupta-Papadimitriou-Vazirani 的；Cormen-Leisersen-Rivest-Stein 的；Kleinberg-Tardos 的等等。再稍微深入一点……

  …Turing's and Shannon's; but you're probably better off reading more recent textbooks. That said, to balance out the heavy emphasis on programming and engineering books here, some recommendations: - Sipser. Introduction to the Theory of Computation. - Russell, Norvig. AI: A Modern Approach. - For algorithms I don't have a preference. There is Dasgupta-Papadimitriou-Vazirani; Cormen-Leisersen-Rivest-Stein; Kleinberg-Tardos; and more. A bit farther…

正在加载完整评论……