计算机数学对于许多人来说可能是一个难以搞定的科目。在这里我们为大家提供了21本免费电子书来帮助大家更好的理解计算机数学。 这本书是对贝叶斯推理的一个引导，着重于计算机理解方面，以数学观点为辅。这本书假定你事先即不了解贝叶斯推理也不了解概率编程的知识。 Thomas Hales 著，出版商：arXiv ，2013 Jonathan M. Borwein著，出版商：DocServer, 2010 - Wikibooks, 2010 这本书展示了计算机是如何画出技术完美的Julia 集和Mandelbrot集图片的。书中对所有必要的理论进行了解释，并提出了一些关于如何将它们放入计算机程序中的建议。 Allen B. Downey著，出版商Green Tea Press, 2011 作者T. Nipkow、L.C. Paulson、M. Wenzel——施普林格出版社，2010 这本书是高阶逻辑的辅助证明的介绍，使用的是Isabelle的辅助证明。这是潜能用户的一本指南。这本书有三个部分：基本技术；逻辑与集合；高级内容。 作者Richard Liska。捷克技术大学，1996 8.实代数几何算法 作者S. Basu、R. Pollack、M. Roy——施普林格出版社，2009 9. Nuprl 证明开发系统的数学应用 R. L. Constable著——Prentice Hall，1986 10.算法代数 Bhubaneswar Mishra著——柯朗数学科学研究所，1993 11.组合子图归约结构 Philip J. Koopman、Jr著，科学出版社，1990 12. 奇异吸引子：创建混沌系统模型 Julien C.Sproot编写，由M&T Books于2000年出版 混沌和分形改变了我们对这个世界的看法。这本书展示了许多由非常简单的方程所产生的艺术魅力的例子，并教会读者如何生成这种模型的无穷变换。 13. 艺术画廊定理及算法 Joseph O'Rourke编写,牛津大学出版社于1987年出版 艺术画廊定理和算法这么叫是因为这些定理与算法与几何图形的可视性以及几何图形的内部切面问题相关。这本书深入的探讨了这个领域的普遍性问题和特殊性问题。 14. Axiom:一个科学计算系统
Axiom是一个免费的通用的代数计算系统。这本书对AXIOM做了技术性的介绍，双向性地介绍了由符号计算社团开发的系统教程、访问算法，并介绍了一些高级技术。 15. 数学函数图形化的黄金电子书 由E.Pérez在2008年发表 这本书对复变数领域进行了可视化介绍，并隐性地与对应的真正的平面图形进行了比较。这本书假设读者对平面上的曲线和平面有些许了解。 16. 计算机科学家的数学 Gareth J.Janacek，Mark L.Close编写，由BookBoon于2008年出版 你可以在这本书里找到计算机科学家所必须的基础数学。它应当可以帮助你理解数学概念的意义。并对基本逻辑、 因式分解、 绘图函数和矩阵等等问题进行了解释说明。 Bill Casselman 编写，由剑桥大学出版社于2005年出版 作者介绍了PostScirpt语言的基本功能，并展示了如何使用这种语言生成数学图形。这本书包括了对计算机图形的讨论和好风格的数学图解的一些评论。 18. 数学算法与系统分析 Edward A.Bender,S。Gill Williamson编写，由Dover出版社于2005年出版 这本书帮助大学生运用数学语言确定数学领域的许多应用的问题所在。它有四部分组成：计数和罗列，函数、决策树和递归以及图论的基本概念。 19. 计算机3D图形的向量数学 Bradley Kjell编写，由Central Connecticut State University于2003年出版 这本书从计算机图形的视角介绍了向量代数和矩阵代数。它包括了大学生阅读计算机图形书籍所必需的大多数向量和矩阵问题。对那些有兴趣进行游戏编程的计算机科学的学生尤其有用。 20. 数学算法
这本书是数学算法的教程，它试图满足第二年数学专业的学生。它包括了整数、多项式和向量空间的计算算法。这个课程不需要任何计算经验。 21. 数论和代数学的计算简介
这本书介绍的重点是算法和应用，比如加密和纠错码。许多读者都可以阅读。前提条件是特别学习过大学的计算课程，并具有对某些算法进行证明了一些经验。 英文原文：21 Free eBooks On Computer Mathematics!参与翻译(3人)： |
