《九章算术》是从先秦至西汉中叶的长时期里经众多学者编纂、修改而成的一部数学著作，西汉张苍、耿寿昌等人对其进行过删补。该书是中国古典数学最重要的著作，标志着以筹算为基础的中国古代数学体系的形成，奠定了中国传统数学的基本框架，历来被尊为算经之首。全书分为九章，共收集246个数学问题并提供其解法，内容涉及算术、代数、几何等诸

本书在线性代数和高等数学的基础上分6章介绍矩阵分析及应用的相关内容。第1章回顾线性代数中的矩阵基础知识，并扩展到一般的复数矩阵，为后续章节做准备。第2章介绍在工程学科中常用的几种矩阵分解，包括三角分解、满秩分解、对角分解、酉相似分解和奇异值分解，并对这些分解在MIMO通信、线性系统分析和图像处理领域进行应用。第3章为矩

本书精选了近些年中国地质大学(武汉)在全国大学生数学建模中获一、二等奖的部分参赛论文，对里面的论文进行了部分的修改，并附有指导老师的点评。主要内容包括：城市表层土壤重金属污染分析；碎纸片的拼接复原；嫦娥三号软着陆轨道设计与控制策略等。

本书围绕当代高校数学教学的现状与挑战，深入探讨了创新教学与学生能力培养的紧密结合。首先论述了数学教育与教学的基础理论，分析了不同教学方法的应用，并通过理论与实践相结合，其次阐述了创新方法在实际教学中的可操作性和有效性，针对教学方法论与现代信息技术下的高等数学教学模式创新路径进行了探讨，最后对数学思维、创新能力和应用能力

本书从高职教育的实际情况出发，根据高职高专院校学生的特点，精心设计、安排和组织了相关内容.全书共9章，分别为函数、极限与连续，导数与微分，导数的应用，不定积分与定积分，向量代数与空间解析几何，多元函数微积分，微分方程初步，无穷级数以及线性代数初步。本书在在保证数学概念准确的前提下，尽量借助几何图形使一些抽象的数学概念形

离散数学是计算机专业课程的理论基础，这些课程涵盖从算法和自动机理论到组合学和图论。本书结构严谨，涵盖计算机科学专业的学生必须学习的离散数学基础，包括离散数学的基本概念、逻辑、有向图和无向图、自动机和正则语言、阶的表示法和计数问题、离散概率，以及模运算和公钥密码学的内容。本书通过问题讨论对离散数学的分析证明方法进行阐述，

本书内容包括：绪论、基于H-Hk结构的算子型最小范数解析解、基于Kriging插值模型的最小范数插值解、基于高斯过程回归模型的最小范数正则解、基于高斯过程回归模型的有限维逼近解、Burgers方程算例分析。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和

数理科学的发展史是和人类物质文明和精神文明的发展史交融在一起的，要学好数理化，就要着重领会数理科学的思想和精神实质，了解数理科学在人类文明发展中所起的关键作用。本书主要包括两篇，第一篇介绍数学的萌芽与发展，包括数与形的概念的发展总结，对古埃及、古巴比伦、古希腊、古印度、古阿拉伯及古代中国的数学的介绍；第二篇讲述数学之美

本书是与《高等数学》同济大学数学科学学院编相配套的同步习题册，根据应用型本科院校的实际情况，结合理工类专业“高等数学”课程的教学及考试大纲要求，为配合教学需要，方便学生课后巩固基本概念和掌握基本解题方法为主要目的而编写的配套练习册。主要包括微分方程、向量代数与空间解析几何、多元函数微分法及其应用、重积分、曲线积分与曲面