计算的本质•短评
-
0 花卷 2015-08-07
可以跑的ruby代码,好兴奋呀! https://github.com/tomstuart/computationbook
-
0 chglyq 2017-03-30
请教:谁能概括一下,这本书揭示计算的本质是什么?
-
0 Misen 2016-07-26
计算理论~
-
0 asdf 2017-01-26
这半年读过的最漂亮的一本书,各种计算模型及某些通用计算模型的等价性、语义分析/语法分析以及最后一章的类型检查系统(给我感觉就是在写一个小的编译器或者解释器)、还有停机问题的具体介绍都非常精彩。最最重要的是,所有的论述都用上了 Ruby 代码,大部分例子理论上都是可以运行的!Ruby 的灵活性(比如代码即数据在某些语言中就不是很方便)给本书某些章节写实现时带来不少便利,第八章作者甚至一本正经胡说八道地用 evaluate function 写了个停机问题的函数,然后想尝试解决哥德巴赫猜想。 笔记过几天附上。
-
1 耿志逵 2016-03-15
对编译原理和计算机组成原理的解释,思想新颖
-
0 sp42 2015-05-19
可惜是 ruby 描述的
-
0 不分瓣的桔子 2016-12-30
书本身还是不错的,看得出作者的用心,但是定位就有点尴尬,因为理论部分的缺失所以没有办法学到很多真正有用的知识,如果算作科普书籍的话难度又有些大,没有基础很容易看的似懂非懂。归根到底是计算理论这部分知识太抽象太难了吧,不过如作者所说的用来“满足自己的好奇心”还是足够有趣的。
-
0 泊浮目 2016-04-22
你竟然用ruby!!于是我没看下去
-
0 zeal 2017-01-02
习惯了站在巨人的肩膀上, 偶尔也要往下看看
-
0 QY 2015-01-25
《计算的本质》以Ruby程序为工具讲解了计算机、程序、程序语言等基本的计算机科学问题,是一本非常好的计算机科学实践书籍。使用Ruby语言模拟了各种机器的计算能力、计算机语言的语义,深入浅出的讨论了计算的本质。 书中详细探讨了各种类型机器的计算能力,机器按照计算能力分为有限自动机(FA),下推自动机(PDA),图灵机(TM),通用计算机;除图灵机与通用计算机等价外,计算能力逐渐增强。有限状态机增加外部存储的栈,扩大计算能力就是下推自动机;有限状态机增加无限长的纸带访问就是图灵机,图灵机的实质就是能够访问无限长纸带的有限状态机。 DFA可以识别正则式,NPDA可以识别回文字符串,确定性图灵机(DTM)可以进行二进制递增运算。每种机器都有相当明显的能力限制,FA无法解决涉及无限制的计数问题,例如判
-
0 mistwave 2016-12-08
前半部分不错,后半部分的形式语言讲的太浅了
-
0 纸张 2015-10-19
1星不是说这本书写的不好, 是我看不懂
-
0 李4.0_online 2015-10-05
知识储备不足,仅看懂了跟正则表达式相关的一部分。
-
1 十八哥 2016-08-11
练习到了第六章,后面三章大概看了下。
-
0 19 2015-06-16
SICP
-
0 雨停就走 2016-12-22
2016年最有收获的一本技术书,从有限状态机到下推自动机,再到终极机器图灵机,能力一步步增强。中间介绍了一些图灵完备的系统,但是图灵机也有做不到的事情,也就是判断一个系统或者一段程序做了什么,最后通过介绍几个案例来弥补这些不可能做到的事情。
-
0 cosmo_mapanje 2016-12-05
在不到三百页的篇幅里,把自动机,图灵机,lambda过了一遍,而且还附了实现及测试代码。唯一不足的就是用工程的态度去讲解科学,会缺乏更细致的理解。看来还得先看看几本导论性质的计算理论的书,再来刷一遍,相信理解会深入一些。
-
0 bpc 2016-12-31
满足好奇心
-
0 行者 2016-08-06
抽象描述计算机物体和人之间关系。机器,语言,编程。以及结果的预判,可能与不可能。处理对象中方法,消息类,模块,数据,语法,语义。
-
1 啧 2016-08-13
这本书的读者对象是“没有正规学习过数学或者计算机科学的朋友”,然而根据我的目前的阅读经验来看,没有基础的人是完全不可能看得懂这本书的。因为这本书主要以实战为主,理论讲的超级烂的,内容编排也不够到位……看不懂的建议先补理论吧。
书名: 计算的本质
作者: [英] Tom Stuart
出版社: 人民邮电出版社
原作名: Understanding Computation: From Simple Machines to Impossible Programs
副标题: 深入剖析程序和计算机
译者: 张伟
出版年: 2014-11
页数: 300
定价: 69.00元
装帧: 平装
ISBN: 9787115361547