《九章算术》是中国古代数学专著，也是算经十书之重要一种，历来被尊为算经之首。该书系统总结了战国、秦、汉时期的数学成就，在中国数学 具有重要地位。全书采用问题集的形式，收有246个与人们生产、生活实践紧密相关的应用问题，反映了中国人的数学观和生活观。每道题由问（题目）、答（答案）、术（解题的步骤，但没有证明）三部分组成，有的是一题一术，有的则是多题一术或一题多术。译注本分为原文、注释、译文三部分，注释、译文部分结合现代数学知识和直观生动的图例对原文进行解读，通俗易懂，便于理解。
![Martin-Lof类型论程序设计导引 宋方敏 译；[瑞典]诺德斯特龙（Nordstrom） 9787305038327](http://img3m1.ddimg.cn/28/24/12345176971-1_l.jpg)
谢冬秀、左军编著的《数值计算方法与实验(十二五普通高等教育规划教材)》比较全面地介绍了科学与工程计算中常用的数值计算方法，具体介绍了这些计算方法的数学原理与算法及其实现，同时对这些数值计算方法的计算效果、稳定性、收敛效果、适用范围以及优劣性与特点也作了简要的分析。全书共8章，内容包括误差分析、非线性方程求根、线性方程组的直接求解和迭代求解、函数的数值逼近(代数插值与函数的逼近)、数值积分与数值微分、矩阵特征值与特征向量的计算、常微分方程初值问题的数值解法等。本书概念清晰，语言通俗易懂，理论分析严谨，结构编排由浅入深．各章有数量的习题，供读者练习使用，书后有习题答案与提示。本书可作为高等院校信息与计算科学专业、数学与应用数学专业、计算机专业、通信工程专业等理工科本科及研究生的教材，
