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

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

本书旨在引导学生初步掌握数学建模的思想和方法，着重介绍常见的数学建模方法以及在实际问题中的应用，主要内容包括：线性规划模型、非线性规划模型、微分方程模型、回归模型、时间序列模型、多元统计分析模型、综合评价模型、模糊理论模型、灰色系统模型等。本书将适当介绍数学建模方法在各领域的最新应用，并对每一类模型，都会给出相关的案例

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

本书第一章为归纳法简述，是对这个主题的简要介绍，在几何论的背景下描述了归纳法，并提出几个相关示例，说明如何由它导出非负整数的不同性质；第二章的题目为加和、乘积与相等，主要适用于想要熟悉归纳法应用的基础知识的读者，所提出的问题的性质与最初促使归纳法作为代数工具使用的问题相似；从第三章开始，通过讨论数学各个领域的归纳法，跟

本书结合案例，系统介绍了使用MATLAB进行数学建模的相关知识和方法论。 本书分为11章，主要包括走进数学建模的世界、函数极值与规划模型、微分方程与差分模型、数据处理的基本策略、权重生成与评价模型、复杂网络与图论模型、时间序列与投资模型、机器学习与统计模型、进化计算与群体智能、其他数学建模知识、数学建模竞赛中的一些基本

数学建模系列比赛是一项考察学生使用数学工具解决实际问题的比赛，其中含金量最高的比赛为全国研究生数学建模竞赛、全国大学生数学建模竞赛，获得的奖励对推免、评奖学金等都有较大的贡献。本书是作者学生时期参加数学建模竞赛的获奖论文与任教职之后指导学生参加数学建模竞赛的获奖论文之中，精选完成得最为理想的六篇加工而成。为了展现最真实

本书主要从数学规划的视角出发，系统地介绍了数学优化问题建模和求解的相关理论、方法、实际案例，以及基于Python和数学规划求解器（COPT和Gurobi）的编程实战。全书共分为四部分。第一部分为基本理论和建模方法，重点介绍了数学规划模型分类和建模方法（包括逻辑约束与大M建模方法、线性化方法）以及计算复杂性理论。第二部分

本书是针对高等院校人文社会科学类专业学生编写的教材。本书坚持在理论体系上保持完整性、严谨性、准确性和简洁性，旨在帮助学生掌握一定的现代数学的基础知识，吸收数学思想与方法的精华，提升数学素养，加强数学技术应用能力。 本书内容分为三篇，共计10章。第一篇为微积分，共4章，内容主要包括函数与极限、导数与微分、不定积分及定积分

《数学建模与实践》是基于作者多年来从事数学建模教学、组织数学建模竞赛、开设数学实验课程以及编写相关书籍的丰富经验编写而成的。本书是作者对《数学建模》一书的修订，除保留了前三版的大部分内容外，根据读者的反馈进行了补充与修订，尤其在第5章增加了求解实际问题的MATLAB程序设计。全书分为入门篇和进阶篇。入门篇内容包括数学模