Elements of Programming (Hardcover)

Alexander A. Stepanov, Paul McJones

  • 出版商: Addison Wesley
  • 出版日期: 2009-06-01
  • 定價: $1,400
  • 售價: 9.0$1,260
  • 語言: 英文
  • 頁數: 288
  • 裝訂: Hardcover
  • ISBN: 032163537X
  • ISBN-13: 9780321635372
  • 相關分類: 程式語言軟體工程
  • 立即出貨

買這商品的人也買了...

商品描述

“Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, while other engineers routinely deliver finished bridges, automobiles, electrical appliances, etc., on time and with only minor defects. This book sets out to redress this imbalance. Members of my advanced development team at Adobe who took the course based on the same material all benefited greatly from the time invested. It may appear as a highly technical text intended only for computer scientists, but it should be required reading for all practicing software engineers.”
    —Martin Newell, Adobe Fellow

 “The book contains some of the most beautiful code I have ever seen.”
    —Bjarne Stroustrup, Designer of C++

“I am happy to see the content of Alex’s course, the development and teaching of which I strongly supported as the CTO of Silicon Graphics, now available to all programmers in this elegant little book.”
    —Forest Baskett, General Partner, New Enterprise Associates

“Paul’s patience and architectural experience helped to organize Alex’s  mathematical approach into a tightly-structured edifice—an impressive feat!”
    —Robert W. Taylor, Founder of Xerox PARC CSL and DEC Systems Research Center

Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like other areas of science and engineering,must be based on a solid mathematical foundation. The book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation  algorithm is defined to work with any associative operation. Using abstract algorithms leads to efficient, reliable, secure, and economical software.

This is not an easy book. Nor is it a compilation of tips and tricks for incremental improvements in your programming skills. The book’s value is more fundamental and, ultimately, more critical for insight into programming. To benefit fully, you will need to work through it from beginning to end, reading the code, proving the lemmas, and doing the exercises. When finished, you will see how the application of the deductive method to your programs assures that your system’s software components will work together and behave as they must.

The book presents a number of algorithms and requirements for types on which they are defined. The code for these descriptions—also available on the Web—is written in a small subset of C++ meant to be accessible to any experienced programmer. This subset is defined in a special language appendix coauthored by Sean Parent and Bjarne Stroustrup.

Whether you are a software developer, or any other professional for whom programming is an important activity, or a committed student, you will come to understand what the book’s experienced authors have been teaching and demonstrating for years—that mathematics is good for programming, and that theory is good for practice.

商品描述(中文翻譯)

「詢問一位機械、結構或電氣工程師,如果他們沒有強烈依賴堅實的數學基礎,他們會走得有多遠,他們會告訴你『走不遠』。然而,所謂的軟體工程師常常在實踐他們的藝術時對於其背後的數學基礎知識知之甚少,甚至毫無概念。然後我們就想知道為什麼軟體因交付延遲和充滿錯誤而臭名昭著,而其他工程師則經常按時交付完成的橋樑、汽車、電器等,只有輕微的缺陷。本書旨在糾正這種不平衡。Adobe的高級開發團隊成員們參加了基於相同材料的課程,他們都從投入的時間中受益匪淺。這本書可能看起來是一本專為計算機科學家而寫的高度技術性的書籍,但對於所有實踐軟體工程師來說,它應該是必讀的。」——Martin Newell,Adobe Fellow

「這本書包含了我所見過的一些最優美的程式碼。」——Bjarne Stroustrup,C++設計師

「作為Silicon Graphics的CTO,我非常支持Alex的課程的內容和教學,現在這些內容都可以在這本優雅的小書中找到,適用於所有的程式設計師。」——Forest Baskett,New Enterprise Associates的總合夥人

「Paul的耐心和架構經驗有助於將Alex的數學方法組織成一個緊密結構的建築物,這是一項令人印象深刻的成就!」——Robert W. Taylor,Xerox PARC CSL和DEC Systems Research Center的創始人

《程式設計的要素》提供了與其他地方不同的對程式設計的理解。它的主要前提是,實際的程式設計,就像其他科學和工程領域一樣,必須建立在堅實的數學基礎之上。本書展示了在真實的程式語言(如C++)中實現的演算法可以在最一般的數學環境中運作。例如,快速冪運算法被定義為可以與任何結合操作一起使用。使用抽象演算法可以實現高效、可靠、安全和經濟的軟體。

這不是一本容易的書。它也不是一本關於逐步提升程式設計技能的技巧和技巧的彙編。本書的價值更基礎,最終對於理解程式設計更為關鍵。要充分受益,您需要從頭到尾閱讀並理解其中的程式碼,證明引理並完成練習。完成後,您將看到將演繹法應用於您的程式碼可以確保系統的軟體組件能夠協同工作並按照預期運行。

本書介紹了一些演算法和它們所定義的類型的要求。這些描述的程式碼(也可在網上找到)是用一個對任何有經驗的程式設計師都易於理解的C++子集編寫的。這個子集在一個特殊的語言附錄中被Sean Parent和Bjarne Stroustrup共同撰寫。

無論您是軟體開發人員,還是任何其他將程式設計視為重要活動的專業人士,或者是一位全心投入的學生,您將會明白這本書的經驗豐富的作者多年來一直在教授和展示的內容——數學對於程式設計是有益的,理論對於實踐是有益的。」