发表于2024-11-25
The Science of Programming 2024 pdf epub mobi 电子书
读起来非常枯燥, boring. 这一定是作者的问题. 不能很好的引导读者(至少是我)去理解整个过程. 前12章170多页, 分两部分: 1. logic学简介; 2, 程序语言的形式化. 总之非常无聊. 废话太多了. 完全应该把前12章, 作为附录, 习题存在. 把第三部分直接甩出来. 希望第三部分, 能有趣...
评分读起来非常枯燥, boring. 这一定是作者的问题. 不能很好的引导读者(至少是我)去理解整个过程. 前12章170多页, 分两部分: 1. logic学简介; 2, 程序语言的形式化. 总之非常无聊. 废话太多了. 完全应该把前12章, 作为附录, 习题存在. 把第三部分直接甩出来. 希望第三部分, 能有趣...
评分虽然这本书的名声并不响亮,但是在我看来他对我的帮助如算法导论一样大,刷新了我的“编程观”。在看算法导论之前,我以为编程就是API调来调去,一堆Lib堆起来一个程序。而在看这本书之前,我正如本书作者所描述的很多程序员那样,依赖直觉去编程,这么说也许有些含糊,但是如...
评分虽然这本书的名声并不响亮,但是在我看来他对我的帮助如算法导论一样大,刷新了我的“编程观”。在看算法导论之前,我以为编程就是API调来调去,一堆Lib堆起来一个程序。而在看这本书之前,我正如本书作者所描述的很多程序员那样,依赖直觉去编程,这么说也许有些含糊,但是如...
评分虽然这本书的名声并不响亮,但是在我看来他对我的帮助如算法导论一样大,刷新了我的“编程观”。在看算法导论之前,我以为编程就是API调来调去,一堆Lib堆起来一个程序。而在看这本书之前,我正如本书作者所描述的很多程序员那样,依赖直觉去编程,这么说也许有些含糊,但是如...
图书标签: Programming 算法 程序验证 计算机科学 编程 计算机 程序设计 programming
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
read it, if I've more time.
评分如何证明你写的程序是正确?
评分感觉不是很友好 有空了再读读看
评分如何证明你写的程序是正确?
评分搭配CMU class notes食用..
The Science of Programming 2024 pdf epub mobi 电子书