編程的本質 pdf epub mobi txt 電子書 下載2025

想要找書就要到 小美書屋

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

本書提供瞭有關編程的一種與眾不同的理解。其主旨是，實際的編程也應像其他科學和工程領域一樣基於堅實的數學基礎。本書展示瞭在實際編程語言(如C++)中實現的算法如何在最一般的數學背景中操作。例如，如何定義快速求冪算法，使之能使用任何可交換運算。使用抽象算法將能得到更高效、可靠、安全和經濟的軟件。

這不是一本很容易讀的書，它也不是能提升你的編程技能的秘訣和技巧匯編。本書的價值是更根本性的，其終極目標是提升你對編程的洞察力。要想從中大獲裨益，你需要從頭到尾認真學習：閱讀代碼，證明引理，完成練習。到結束之時，你將看到如何把這裏討論的演繹式方法應用到你的程序中，保證你做齣的軟件部件能一起工作，並錶現齣它們所應該錶現的行為。

書中給齣的算法和需求針對某些被操作的類型。有關這些描述的代碼(也可以通過Web得到)采用C++的一個小子集書寫，這樣做是為瞭讓所有有經驗的程序員都能理解。這個小子集可以看做一種特殊語言，是由Sean Parent和Bjarne Stroustrup一起設計的。

無論你是一位軟件開發者，還是其他以編程作為一項重要活動的專業人員，或者是一名在校的學生，你都會逐漸理解本書的經驗豐富的作者多年來一直在教授和闡釋的道理：數學對於編程是絕好的東西，理論對於實際是絕好的東西。

Alexander Stepanov於1967～1972年間在莫斯科國立大學學習數學，從1972年開始在蘇聯，1977年移民美國後在美國從事編程工作。他編寫過操作係統、編程工具、編譯器和各種庫。他在程序設計基礎方麵的工作先後得到GE、Polytechnic、AT&T、惠普、Silicon Graphics的支持，2002年後是Adobe的支持。1995年因C++標準模闆庫的設計獲Dr.Dobb的程序設計傑齣貢獻奬。

Paul McJones於1967～1971年間在加州大學伯剋利分校學習工程數學。從1967年開始介入程序設計，涉足的領域包括操作係統、程序設計環境、事務處理係統以及企業和客戶應用係統等。他先後在加州大學、IBM、Xerox、Tandem、DEC工作，2003年至今在Adobe公司。1982年他與閤作者一起因其論文“The Recovery Manager of the System R Database Manager”獲得ACM程序設計係統和語言論文奬。

Preface ixAbouttheAuthors xiii1 Foundations 1.1 CategoriesofIdeas:Entity,Species,Genus 1.2 Values 1.3 Objects 1.4 rocedures6 1.5 RegularTypes 1.6 RegularProcedures 1.7 Concepts 1.8 Conclusions142 TransformationsandTheirOrbits1 2.1 Transformations 2.2 Orbits 2.3 CollisionPoint 2.4 MeasuringOrbitSizes 2.5 Actions 2.6 Conclusions3 AssociativeOperations 3.1 Associativity 3.2 ComputingPowers 3.3 ProgramTransformations 3.4 Special-CaseProcedures 3.5 ParameterizingAlgorithms 3.6 LinearRecurrences 3.7 AccumulationProcedures 3.8 Conclusions4 LinearOrderings 4.1 Classi?cationofRelations 4.2 TotalandWeakOrderings 4.3 OrderSelection 4.4 NaturalTotalOrdering 4.5 ClustersofDerivedProcedures 4.6 ExtendingOrder-SelectionProcedures 4.7 Conclusions5 OrderedAlgebraicStructures 5.1 BasicAlgebraicStructures 5.2 OrderedAlgebraicStructures 5.3 Remainder 5.4 GreatestCommonDivisor 5.5 Generalizinggcd 5.6 Steingcd 5.7 Quotient 5.8 QuotientandRemainderforNegativeQuantities 5.9 ConceptsandTheirModels 5.10 ComputerIntegerTypes 5.11 Conclusions6 Iterators 6.1 Readability 6.2 Iterators 6.3 Ranges 6.4 ReadableRanges 6.5IncreasingRanges 6.6 ForwardIterators 6.7 IndexedIterators 6.8 BidirectionalIterators 6.9 Random-AccessIterators 6.1 Conclusions7 CoordinateStructures 7.1 ifurcateCoordinates 7.2 BidirectionalBifurcateCoordinates 7.3 CoordinateStructures 7.4 Isomorphism,Equivalence,andOrdering 7.5 Conclusions8 CoordinateswithMutableSuccessors 8.1 LinkedIterators 8.2 LinkRearrangements 8.3 ApplicationsofLinkRearrangements 8.4 LinkedBifurcateCoordinates 8.5 Conclusions9 Copying 9.1 Writability 9.2 Position-BasedCopying 9.3 Predicate-BasedCopying 9.4 SwappingRanges 9.5 Conclusions10 Rearrangements 10.1 Permutations 10.2 Rearrangements 10.3 ReverseAlgorithms 10.4 RotateAlgorithms 10.5 AlgorithmSelection 10.6 Conclusions11 PartitionandMerging 11.1 Partition 11.2 BalancedReduction 11.3 Merging 11.4 Conclusions12 CompositeObjects 12.1 SimpleCompositeObjects 12.2 DynamicSequences 12.3 UnderlyingType 12.4 ConclusionsAfterwordAppendixA MathematicalNotationAppendixB ProgrammingLanguage B.1 LanguageDe?nition B.2 MacrosandTraitStructuresBibliographyIndex
· · · · · · (收起)