《編程原本 》一導讀

前 言 本書將演繹方法應用於程序設計,討論程序與保證它們能正確工作的抽象數學理論之間的聯繫.書中把反映這些理論的規程(speci.cation),基於這些理論寫出的算法,以及描述算法性質的引理和定理一起呈現給讀者.這些算法在一種實際程序設計語言裏的實現是本書的中心.雖然規程主要是供人閱讀,但它們也應該(或者說必須)嚴格地與非形式化的、供機器使用的代碼相結合,必須在通用的同時又是抽象而且精確的. 與

>>阅读原文<<