语言与机器
Languages and machines
Thomas A. Sudkamp · 初版 1988 年
- 5次提及
- 2人推荐
- 3位 HN 评论者
Hacker News 读者推荐
…https://news.ycombinator.com/item?id=18325689） - Charles Petzlod 的《The Annotated Turing》 - H. Barendregt 的《Introduction to Lambda Calculus》（做做里面的习题/证明） - Philip Wadler 的《Propositions as Types》 - Thomas Sudkamp 的《Languages and Machines》第三部分
erwan 在 HN 的推荐
……顺序： - M. Sipser 的《Introduction to the Theory of Computation》[第一部分] - Torben A. Mogensen 的《Introduction to Compiler Design》 - P. Linz 的《An introduction to Formal Languages and Automata》 - Thomas A. Sudkamp 的《Languages and Machines》 >楼主的很多反对意见显得有些吹毛求疵 我亲自拿过那本书，翻过书页，亲眼见过它的排版。真不是夸张。看起来就像是某个人……
erwan 在 HN 的推荐
……其实根本没多少数学。复杂度理论，编辑补充：还有算法分析确实需要重温微积分里的一些求和和极限，但教的角度非常实用。我的《语言与机器》（Languages and Machines）课表面上是所有课里最“偏理论”的，却成了我最喜欢的一门课，除了基础的数字逻辑外，它完全不涉及数学。这并不是说它不严谨或不形式化；它只是不……
baddox 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。