几年前读过英文版，但是没有读完，最近因一个问题，又来翻中文版，也没有看完，不过英文版看得更细一些。现在谈谈我的看法。第一、本书前半部分作者的写作风格明显是要模仿《TheCProgramming》(以后... 查看全部>>
第一次看到这本书，特别是书的封皮，似乎有一种毛骨悚然的感觉，两个大大的L中间夹着一个圆环围绕的λ符号，像是魔法师的做法坛龛，我甚至可以想象在那个λ符咒后面会冒起神秘的青烟。当然，更让让我迷惑的是书名：... 查看全部>>
这是本什么样的书？正如本书前言所说，本书的基本内容是关于逻辑、数学基础和计算复杂性。最大特点是可读性强，用的是叙述性的自然语言而不是数学教科书式的专用数学语言：定义，定理，证明，举例。本书关注的重点是... 查看全部>>
书评 (查看全部)
对《实用Common Lisp编程》这本书的评价 2017-04-20
几年前读过英文版，但是没有读完，最近因一个问题，又来翻中文版，也没有看完，不过英文版看得更细一些。现在谈谈我的看法。第一、本书前半部分作者的写作风格明显是要模仿《TheCProgramming》(以后... 查看全部>>
对《Let Over Lambda》这本书的评价 2017-04-22
第一次看到这本书，特别是书的封皮，似乎有一种毛骨悚然的感觉，两个大大的L中间夹着一个圆环围绕的λ符号，像是魔法师的做法坛龛，我甚至可以想象在那个λ符咒后面会冒起神秘的青烟。当然，更让让我迷惑的是书名：... 查看全部>>
对《Logical Foundations of Mathematics and Computational Complexity》这本书的评价 2016-10-30
这是本什么样的书？正如本书前言所说，本书的基本内容是关于逻辑、数学基础和计算复杂性。最大特点是可读性强，用的是叙述性的自然语言而不是数学教科书式的专用数学语言：定义，定理，证明，举例。本书关注的重点是... 查看全部>>