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

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

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

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

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

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

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

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

GMAT批判性推理题以非形式逻辑作为依托，希望考生正确识别一个论证的结构，继而准确找到当前论证结构的评估方式，最终选出正确答案。本书正是以批判性推理题所考查的非形式逻辑为基础编写的。全书共三章，内容涉及批判性推理的基础知识、演绎论证、假说论证、批判性推理常见四大题型，以及最后的综合练习。本书语言简练，帮助读者从了解批判

"本书第一版至第五版分别出版于1987年、1993年、2003年、2011年和2018年。基于编者长期从事数学建模和数学实验教学、数学建模竞赛组织和辅导，始终关注国内外数学建模教学案例收集与研究的经验，第六版在保持前五版基本结构和风格的基础上，进行增删与修订，新增和改编的案例生动新颖、内涵丰富。全书纸质内容与数字化资源