本书是十四五职业教育国家规划教材，是一本面向应用型高校的数学建模教材。本书融入党的二十大精神，精选丰富多样、难易恰当的模型，遵循常用的教学模式、按照新颖的体例编写而成。 本书包括基础篇和竞赛篇，分别对应课堂教学和竞赛培训。主要内容有数学建模简介、初等模型、微分模型、微分方程模型、线性代数模型、数学规划模型、概率统计模型

"本书分别介绍了数学建模方法论，初等数学、微积分、数值计算、微分方程、差分方程、优化与运筹、统计与数据挖掘等方法在现实问题中的应用案例。书中需要编程计算的部分，基本都提供了SPSS、MATLAB或者国产软件北太天元的代码。 本书是基于作者多年从事本科生数学建模课程教学、竞赛培训的经验，并结合了国内外数学建模教材、竞赛

本书完美描述了概念判断三段论及其关系。该图解弥补了欧拉图解和文恩图解的缺陷，其图形的变形规则表达了逻辑学的推理规则。该书也是逻辑学的形式系统：语义学是棋盘表达的论域，语形学是直言命题的下标符号，语用学是直言命题的语句分析。这是一部非常有趣的逻辑学教材。一半篇幅是通俗易懂的知识讲解；另一半是风趣幽默的练习题，以及完整答案

本书主要探讨数学建模的应用对学生的数学素养的培养及思想品德的再塑，同时明确深度学习是落实数学建模素养的重要途径。数学建模教学的开展又促进了学生的深度学习。本书对学生核心素养的提升、丰富、完善、到最终实践落实的途径都给出了实施方案，对中学数学教育改革给出了专业性建议。

本书是海外优秀数学类教材系列丛书之一，从培生教育集团引进。本书向学生介绍各种证明方法、分析证明过程，以帮助学生独立撰写正确且清晰的证明过程。书中先介绍逻辑基础，再引入各种常用的证明方法，如直接证法、反证法、数学归纳法等，然后详细分析数学各分支（数论、组合学、数学分析、群论、高等代数等）中的典型证明过程。各章的练习因其精

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

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

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

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

本书内容共分为9章，分别为MATLAB软件基础、MATLAB绘制功能、MATLAB数值分析、数学建模基本问题、微分方程模型、优化模型、图与网络模型、概率统计模型、深度神经网络模型。另外，在每章中还针对具体内容介绍了相应的应用实例和MATLAB源程序，以帮助学生逐步提升利用所学知识解决实际问题的能力。每章都附有一定量的习