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

本书围绕建模竞赛论文的评审标准，讨论如何写好数学建模竞赛论文，如何写作才能使评委能够在短时间内掌握论文的要点，哪些内容可以打动评委。既有基础又有拓展，既能让学生掌握基础的竞赛论文写作方法，又能拓展学生思维，为后续的研究做准备。

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

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

本书分6章，内容涉及数学建模概论、MATLAB基础知识、微分方程及差分方程方法、规划论模型、回归分析、预测与决策分析等建模常用的方法，并在数学建模概述中介绍建模竞赛论文的写作方法。第2~6章每章先结合实例讲解建模理论，之后结合软件介绍模型的求解方法，以避免在解决问题中做烦琐的数学推导和计算。

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

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

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

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

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