赛义甫书评 >
-
具有C语言风格的Lisp参考书
0有用 0无用 2017-05-23
几年前读过英文版,但是没有读完,最近因一个问题,又来翻中文版,也没有看完,不过英文版看得更细一些。现在谈谈我的看法。第一、本书前半部分作者的写作风格明显是要模仿《The C Programming》(以后简称K&R),从"hello world"起步,然后在读者对语言几乎一无所知的情况下将篇...
修改 -
《Let over Lambda》第一章·书评
0有用 0无用 2017-05-22
第一次看到这本书,特别是书的封皮,似乎有一种毛骨悚然的感觉,两个大大的L中间夹着一个圆环围绕的λ符号,像是魔法师的做法坛龛,我甚至可以想象在那个λ符咒后面会冒起神秘的青烟。当然,更让让我迷惑的是书名:LET OVER LAMBDA——百思不得其解。多年的阅读经历我对自己的英语解读能力还是比较自信的,...
修改 -
为什么要读这本书
1有用 0无用 2017-05-22
这是本什么样的书? 正如本书前言所说,本书的基本内容是关于逻辑、数学基础和计算复杂性。最大特点是可读性强,用的是叙述性的自然语言而不是数学教科书式的专用数学语言:定义,定理,证明,举例。 本书关注的重点是20世纪初以来在数学基础论、逻辑等传统问题,包括了康托尔集合论的建立,集合悖论问题,哥德尔不完...
修改