本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。

《数学建模方法与实践》内容包括线性规划、非线性规划、动态规划、国论基础、组合数学、多元统计分析、微分方程建模分析、数值计算等。每章为一个相对独立的数学方法与建模实践单元。通过学习，可以使读者掌握基本数学方法，同时培养读者对实际问题的理解能力、从具体到抽象的分析能力、算法设计与编程能力、综合概括与结果分析能力等。

《数学建模基础及应用》既是编者在西南交通大学多年教学经验的总结，也是编者长期组织学生参加各类数学建模比赛的经验集成。《数学建模基础及应用》共9章，内容包含数学建模概述、数学规划模型、图论方法、数理统计模型、综合评价方法、预测方法、方程模型、其他模型、现代优化算法等。在编写过程中，力求做到以下几点：，系统性强，《数学建模基础及应用》结合数学建模课程特点，选择优化模型、方程模型、预测评价模型等常见类型进行讲解分析，满足理工科非数学专业学生的需求；第二，案例丰富，《数学建模基础及应用》选择难度低、中及

数学建模的过程是从实际中抽象出数学问题，使用已学的数学知识和方法建立数学模型，并利用计算机解模型，对实际问题验证模型并写成建模论文。本书阐述数学建模的常用理论和方法，包括:数学建模和 MATLAB人门、初等方法与微积分方法、线性代数与概率论方法、微分方程与差分方程方法、线性规划方法整数规划与非线性规划方法、多元统计分析方法、图论方法、插值与拟合方法、对策论与排队论方法、存贮论方、目标规划方法、动态规划方法、启发式算法的MATLAB实践、综合评价方法和数学建模论文写作。本书以应用为目的，由易

本书对公理化集合理论的基础知识进行了系统介绍。全书共分为十章，包括命题逻辑、谓词逻辑、公理集合论初步、关系、重建数系、等势与优势、良序关系、序数、基数、选择公理。本书强调培养学生的逻辑思维能力；本书不需要读者具有较多数学知识，具备高中数学知识基础的读者也可完全掌握本书的内容，只需要读者多思考即可。
本书可以作为高等院校工科相关专业的基础教材，也可供相关领域科研和工程技术人员参考。

　　《数学建模（西安交通大学本科“十四五”规划教材）》以生动有趣的实例，阐述将实际问题转化为数学模型的基本思想方法和技巧。全书共11章，包括微积分、微分方程、差分方程、线性代数、很优化、图与网络、回归分析等数学方法在物理、化学、生物、经济、生态、健康、交通、社会科学、军事等众多领域的广泛应用；还介绍了在数学模型的建立中发挥重要作用的计算机仿真方法以及大学生数学建模竞赛有关事项。该书内容从易到难，深人浅出，举例典型，通俗易懂。每个案例都给出了详尽的问题分析、模型假设、模型建立与求解、模型结论。课后