计算的本质•短评
-
1 .. 宸 ~ 2017-04-23
前半部写编译器的那部分不是很喜欢,可能是因为在kindle上看的原因,代码的格式太奇怪了。后面讲lambda演算的时候开始放大招了啊,只用proc实现的map一串数字到字母的function,expand出源码的时候简直看呆。然后到SKI组合子,标签系统,通过证明它们与图灵机的对等性来证明它们是通用的,这部分也很棒。最后一部分通过停机问题介绍了不可计算性,当程序能引用自身的时候,是无法解决说谎者悖论的。整部书对计算理论的介绍很详细又很通俗,除了kindle上不好看代码以外很值得读。
-
0 沈一州 2017-03-15
Ruby版编译原理
-
0 白纸白字 2016-03-11
循序渐进而又启发性很强的一本书
-
0 响亮的名号 2015-06-10
从有限状态机到图灵机,全书在引导读者剖析理论层面的计算机,lambda算法激动人心,就是Ruby语法有点琐碎。遗憾就是看的半懂。
-
0 cyukang 2015-02-10
难得的好书,简明有趣。
-
0 aleung 2016-01-19
读了一半,还是比较有意思的,但是基础不好看起来还是要用心,放下了就没有读完。
-
1 杨贵福 2014-12-15
SICP风格
-
0 到此一游 2015-04-29
蛮适合用于入门的;
-
1 风纪扣v 2015-04-10
必须是力荐,讲解通俗易懂,非常平易,可以让人轻松学习,里面的资料也比较丰富,我很喜欢。
-
1 宇宙 2014-11-28
#图灵PDF# 4.3 分。有点像大三大四两门外教课的课本欸!可爱也可爱在 Ruby 实现,啰嗦也啰嗦在这儿。如果能够压缩成 150 来页的小品,就更可爱啦!还蛮有趣的~
-
1 yang_bigarm 2015-02-26
看了这本书,对学习计算理论导引有很大的帮助,这本书可以看做是计算理论导引的实战版本。
-
1 阿丹 2015-09-21
非常精彩,这么薄的一本书,覆盖了图灵机、lambda演算、SKI 组合子等计算理论,并且提供了可供运行和测试的代码,还有啥不知足的呢?略微可惜的可能是因为篇幅或者作者故意限制,没有特别深入。
-
3 [已注销] 2015-06-02
Ruby版SICP
-
8 阅微草堂 2016-01-18
编程要思考这样几个关键的概念:时间(算法和流),空间(数据结构和存储),不确定性(大数分解和程序的处理未知结果),无限(堆栈和递归)。其实康德的《纯粹理性批判》不就是研究这几个概念么?
书名: 计算的本质
作者: [英] Tom Stuart
出版社: 人民邮电出版社
原作名: Understanding Computation: From Simple Machines to Impossible Programs
副标题: 深入剖析程序和计算机
译者: 张伟
出版年: 2014-11
页数: 300
定价: 69.00元
装帧: 平装
ISBN: 9787115361547