读起来非常枯燥,boring.这一定是作者的问题.不能很好的引导读者(至少是我)去理解整个过程.前12章170多页,分两部分:1.logic学简介;2,程序语言的形式化.总之非常无聊.废话太多了.完全...
虽然这本书的名声并不响亮,但是在我看来他对我的帮助如算法导论一样大,刷新了我的“编程观”。在看算法导论之前,我以为编程就是API调来调去,一堆Lib堆起来一个程序。而在看这本书之前,我正如本书作者所描...