网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 编程的本质(英文版)/经典原版书库
分类
作者 (美)斯特潘诺夫
出版社 机械工业出版社
下载
简介
编辑推荐

本书不是一本能提升你的编程技能的秘诀和技巧的汇编,它的终极目标是提升你对编程的洞察力,要想从中大获裨益,你需要从头到尾认真学习:阅读代码,证明引理,完成练习。到结束之时,你将看到如何把这里讨论的演绎式方法应用到你的程序中,保证你做出的软件部件能一起工作,并表现出它们所应该表现的行为。

内容推荐

本书提供了有关编程的一种与众不同的理解。其主旨是,实际的编程也应像其他科学和工程领域一样基于坚实的数学基础。本书展示了在实际编程语言(如C++)中实现的算法如何在最一般的数学背景中操作。例如,如何定义快速求幂算法,使之能使用任何可交换运算。使用抽象算法将能得到更高效、可靠、安全和经济的软件。

这不是一本很容易读的书,它也不是能提升你的编程技能的秘诀和技巧汇编。本书的价值是更根本性的,其终极目标是提升你对编程的洞察力。要想从中大获裨益,你需要从头到尾认真学习:阅读代码,证明引理,完成练习。到结束之时,你将看到如何把这里讨论的演绎式方法应用到你的程序中,保证你做出的软件部件能一起工作,并表现出它们所应该表现的行为。

书中给出的算法和需求针对某些被操作的类型。有关这些描述的代码(也可以通过Web得到)采用C++的一个小子集书写,这样做是为了让所有有经验的程序员都能理解。这个小子集可以看做一种特殊语言,是由Sean Parent和Bjarne Stroustrup一起设计的。

无论你是一位软件开发者,还是其他以编程作为一项重要活动的专业人员,或者是一名在校的学生,你都会逐渐理解本书的经验丰富的作者多年来一直在教授和阐释的道理:数学对于编程是绝好的东西,理论对于实际是绝好的东西。

目录

Preface ix

AbouttheAuthors xiii

1 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 Conclusions14

2 TransformationsandTheirOrbits1

 2.1 Transformations

 2.2 Orbits

 2.3 CollisionPoint

 2.4 MeasuringOrbitSizes

 2.5 Actions

 2.6 Conclusions

3 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 Conclusions

4 LinearOrderings

 4.1 Classi?cationofRelations

 4.2 TotalandWeakOrderings

 4.3 OrderSelection

 4.4 NaturalTotalOrdering

 4.5 ClustersofDerivedProcedures

 4.6 ExtendingOrder-SelectionProcedures

 4.7 Conclusions

5 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 Conclusions

6 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 Conclusions

7 CoordinateStructures

 7.1 ifurcateCoordinates

 7.2 BidirectionalBifurcateCoordinates

 7.3 CoordinateStructures

 7.4 Isomorphism,Equivalence,andOrdering

 7.5 Conclusions

8 CoordinateswithMutableSuccessors

 8.1 LinkedIterators

 8.2 LinkRearrangements

 8.3 ApplicationsofLinkRearrangements

 8.4 LinkedBifurcateCoordinates

 8.5 Conclusions

9 Copying

 9.1 Writability

 9.2 Position-BasedCopying

 9.3 Predicate-BasedCopying

 9.4 SwappingRanges

 9.5 Conclusions

10 Rearrangements

 10.1 Permutations

 10.2 Rearrangements

 10.3 ReverseAlgorithms

 10.4 RotateAlgorithms

 10.5 AlgorithmSelection

 10.6 Conclusions

11 PartitionandMerging

 11.1 Partition

 11.2 BalancedReduction

 11.3 Merging

 11.4 Conclusions

12 CompositeObjects

 12.1 SimpleCompositeObjects

 12.2 DynamicSequences

 12.3 UnderlyingType

 12.4 Conclusions

Afterword

AppendixA MathematicalNotation

AppendixB ProgrammingLanguage

 B.1 LanguageDe?nition

 B.2 MacrosandTraitStructures

Bibliography

Index

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/9 1:10:59