本书既涵盖命题逻辑、一阶谓词逻辑等经典形式系统,系统阐述基本概念与核心理论;又聚焦软件/硬件验证的前沿应用,深入介绍程序逻辑、模型检测技术的算法实现与工具环境。

本书共分为6章：数学建模导论、北太天元基础、初等模型、数学规划模型、微分方程模型和概率统计模型。全书内容严谨、条理清晰、难易得当，并融入历年数学建模竞赛真题与AI在数学建模中的应用等素材。具体而言，前两章侧重模型理论与软件基础知识，后四章则强调实践应用。本书旨在响应国家教育战略需求，构建一套融合传统建模方法、国产软件与

本书选编了2010-2016年北京理工大学学生参加美国大学生数学建模竞赛的部分获特等奖提名(Finalist)和一等奖(MeritoriousWinner)及二等奖(HonorableMention)的比赛论文。参赛论文均全文刊登,尽可能不作任何删节,所有细节和详细计算过程均予以保留。

本书系统地介绍了三类重要偏微分方程的推导过程、理论基础及其数值求解方法，旨在为读者提供一本从理论推导到实际应用无缝衔接的教材。作为描述物理现象、工程问题中空间和时间变化规律的数学模型，偏微分方程在自然科学和工程技术中都具有重要的核心地位和广泛的应用价值。本书介绍了偏微分方程的基本概念，通过生动的物理和工程实例展示了如何

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

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

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

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

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

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