本书以通俗易懂的语言向读者描述了各类常用算法。全书包括四个部分，涉及排序与搜索、算术与密码、规划、协同与设计、优化四个领域，每个部分都给出该领域中常用的算法，每一个算法都从一个实际的生活场景引入。通过作者深入浅出的介绍，读者可以轻松了解计算机科学中常用的算法的原理，具备初步的计算思维能力。本书适合作为高校计算机科学入门

本书包含了集合论与图论课程需涵盖的概念、理论、方法和应用,主要包括两部分:集合论与图论。集合论部分主要包括集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数;图论主要包括图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度和匹配、平面图和图的着色、有向图等。

"本书对数理逻辑的基础知识进行了系统介绍。全书共8章，其中，第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识，第2~6章分别介绍了命题逻辑和谓词逻辑，构造了它们的形式系统，并讨论了它们的系统性质，进而引入了包含数学理论的形式系统，前6章是本书核心内容；后2章介绍了哥德尔的不完全性定理、算法可计算性，这部分

证明是数学思想中最重要，也是极具开拓性的特征之一。没有证明，就无法谈论真正的数学。本书讲述了证明的演变及其在数学中的重要作用和启发意义。从古希腊几何学时代开始，涵盖代数、微积分、集合、数论、拓扑、逻辑等几乎全部数学分支中的证明故事。我们将看到欧几里德、康托尔、哥德尔、图灵等数学大师的精彩发现和发明。这本书不是教材，它是

本教材将Python软件与数学建模和实验相结合，从数学建模概述、Python语言快速入门、数据处理与可视化、Python在高等数学中的应用、Python在线性代数中的应用、线性规划、整数规划与非线性规划、插值与拟合、图论模型、数据与统计描述、统计分析、智能算法等12个部分展开论述。全书理论与实践相结合，旨在帮助学生较熟

本书将数学建模和数学实验课程有机融合，以数学软件为操作平台，以解决数学问题为主要线索，为培养大学生数学建模能力打下基础，为提高大学生计算机应用水平创造条件。全书共7章，分别为数学建模入门、简单优化模型、数学规划模型、常微分方程模型、插值与拟合、图论模型、概率统计模型。各章包括基本内容和典型案例分析，通过案例教学开拓学生

宇宙的广袤不断激发人类的好奇心，令人浮想联翩。为了更好地认识无穷大和宇宙自诞生以来的演变历程，我们必须转向另一个无穷，即无穷小，以粒子物理学标准模型为基础，研究其中的夸克、轻子和玻色子，力争在最小尺度上破解物质的结构之谜。没有无穷小，我们就不能对宇宙大爆炸、大型恒星的结构和演化及物质的诞生展开描述。没有两个无穷，我们将

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

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

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