圖書標籤: 編程 計算機科學 計算機 程序設計 Dijkstra 經典 Programming 編程思維
发表于2024-11-05
編程的修煉(中英雙語) pdf epub mobi txt 電子書 下載 2024
本書是圖靈奬獲得者Edsger W. Dijkstra在編程領域裏的經典著作中的經典。作者基於其敏銳的洞察力和長期的實際編程經驗,對基本順序程序的描述和開發中的許多關鍵問題做瞭獨到的總結和開發。書中討論瞭順序程序的本質特徵、程序描述和對程序行為(正確性)的推理,並通過一係列從簡單到復雜的程序的思考和開發範例,闡釋瞭基於嚴格的邏輯推理開發正確可靠程序的過程。
本書寫於20世紀70年代中後期,但其對編程技術領域的開發、編程語言發展和程序理論研究的深刻影響持續至今。本書值得每個關注計算機科學技術的本質,冀求在程序和軟件領域有長遠發展的計算機工作者、教師和學生閱讀。
作者簡介:
艾茲赫爾•戴剋斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生於荷蘭鹿特丹,自喻為荷蘭第一個以程序設計作為職業的人。他早年積極推動結構化程序設計,一生緻力於將計算(computing)發展為一門科學,在計算機科學技術的諸多領域有開拓性建樹,並由於在程序設計基礎研究中的卓越貢獻獲得1972年圖靈奬。
Dijkstra 提供瞭一種基於謂詞轉換器的方法論來解決實際問題. 幾個關鍵詞: 狀態空間, 選擇的不變定理, 循環的可終止性. 幾個優化策略: 減少分支, 將重復計算的值緩存, 將不變關係提取到循環結構外, 尋找不變式的更小超集.
評分有點老瞭。講得很形式化和抽象。
評分Dijkstra 提供瞭一種基於謂詞轉換器的方法論來解決實際問題. 幾個關鍵詞: 狀態空間, 選擇的不變定理, 循環的可終止性. 幾個優化策略: 減少分支, 將重復計算的值緩存, 將不變關係提取到循環結構外, 尋找不變式的更小超集.
評分有點老瞭。講得很形式化和抽象。
評分Dijkstra 提供瞭一種基於謂詞轉換器的方法論來解決實際問題. 幾個關鍵詞: 狀態空間, 選擇的不變定理, 循環的可終止性. 幾個優化策略: 減少分支, 將重復計算的值緩存, 將不變關係提取到循環結構外, 尋找不變式的更小超集.
这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
評分怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...
評分上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...
評分这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
評分这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...
編程的修煉(中英雙語) pdf epub mobi txt 電子書 下載 2024