買了一本80s年代的書，名字叫做the science of programming（其實是在淘寶上pdf列印），作者是david gries，dij寫的序。總體上只讀了開頭，先寫個開頭鼓勵自己一邊讀一邊寫文章。

dij在forward裡面說，很多人認為需求的正確性比程式正確性更重要，真正的世界不需要證明程式的正確性，說這些話的人都是不專業的（these objections come from people that don't master the techniques they object to）。dij是屬於大師級的人，這個不是指現在很多公司裡說的那種科學傢什麼可以比肩的，傳說他一直致力於科學的程式設計，

而這個概念很模糊，什麼是科學，什麼是不科學。按我的經驗就是平時我們想當然的這麼寫這個程式，錯了就重新再改。dij說的應該是這個意思吧。

在preface中作者david引用了oxford english dictionary裡面一個很有意思的句子，關於什麼是science，什麼是art， 簡單說science更需要principles的支援推到吧。那麼這本書裡面的科學程式設計不去討論“ 測試”，“魯棒性”，“錯誤檢測”，這本書講的是關於程式邏輯推理，自然演繹系統的內容。這些課程研究生上過一些，負責任說一句，上的太水了，完全沒把實際和理論連起來講。所以這部書買過來彌補一下缺憾。