如果把编程当做一个求解的过程，那我认为一本好的数学书应该能给开发者提供新的抽象对象去理解问题，从这点出发的话，我推荐数学与泛型编程，作者是Stepanov，STL库的作者，书中主要介绍部分数学抽象对象和这些对象如何影响他思考问题的方式，他也是另一本书编程原本的作者，号称是受到几何原本的启发，用演绎推理法搭建编程语言的理论大厦(but 我还没拜读过)。另一本书是个开源书籍叫同构-编程中的数学，用的语言是个函数式语言Haskell，作者是个中国人，也是讲了如何用抽象代数中的数学对象去理解问题，不过思维从过程式编程一下子转到函数式编程去思考问题，一开始会有点稍许不时。读完这两本书，还有本叫The Mathematica GuideBook for Programming，不过这本书我只看了下目录，似乎与前两本书的内容重合度蛮大的，我就没读了