本书根据多年的数学建模教学、学生数学建模培训、竞赛及相关数学实验等教学实践经验，参考国内外优秀的数学建模文献，精心编撰。本书运用建模的基本方法，介绍数学建模过程。内容包括初等模型、微积分模型、数学规划模型、统计分析模型、离散模型等。模型求解涉及的程序使用MATLAB、Lingo软件编写后附在小结之后，各模块附有思考与练习题。本书是学习数学建模和参加竞赛培训的基础教材，适合师范或高职专业的高等数学教学改革配套教材，可供师范类学生、高职高专学生、教师及科学技术工作者参考。

　　《LINGO基础培训教程》是作者结合多年LINGO教学实践编写的。其内容包括LINGO介绍、LINGO基础、LINGO外部文件接口、UNGO在数学规划中的应用、LINGO多目标规划模型、LINGO数学模型编程实例共六章，书中配备了较多的实例。这些实例是学习LINGO与数学建模必须掌握的基本技能。同时在每章后面给出了大量的练习及其参考答案。
　　《LINGO基础培训教程》由浅入深，由易到难，可作为在职教师学习LINGO的自学用书，也可作为数学建模培训班学生的培训教材。

数学建模与实验是将数学理论和专业知识有机结合的有效途径。本书通过案例介绍各种数学建模方法，并运用数学软件实现模型求解，内容包括规划模型、微分方程模型、随机模型、数据处理与统计模型、图论模型、模糊数学模型、层次分析模型等。还介绍了数学软件MATLAB和相关数学建模竞赛。各章后附练习题。
本书可作为高等学校数学建模与数学实验课程教材，也可作为数学建模竞赛的培训教材，还可作为应用数学方面的参考书。

本书以培养数学建模思想、突出应用为重点, 以技能训练为主线, 使学生通过本课程的学习, 在数学建模能力的提高上有所收获, 为处理实际问题和参加全国数学建模竞赛打好基础。本书中的例题、能力训练题多数选自与实际生活贴近的应用案例, 以培养学生的数学建模意识, 充分体现高职教育的应用性和实用性。为拓展学生建模能力, 挖掘学生的建模潜力, 还在附录中展示了我院获得全国一等奖并刊登于中国工业与应用数学学报的优秀论文, 供学生参考学习。

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识，主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理;第七章是递归论的基本知识，也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德尔的两个不完全性定理。本书主要面向对数学基础感兴趣的读者。与其他数理逻辑教材相比，本书更加强调逻辑与元数学的联系，更多介绍语义部分，更加强调语法与语义的统一。书中除了讲解各

主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用（包括不完全性定理及技术发展过程中衍生的语言分析技术）

本书精选了2013～2017年中国研究生数学建模竞赛的七个赛题.全书共分8章，内容包括对中国研究生数学建模竞赛的思考、水面舰艇编队防空和信息化战争评估模型、微蜂窝环境中无线接收信号的特性分析、乘用车物流运输计划问题、机动目标的跟踪与反跟踪、面向节能的单/多列车优化决策问题、多无人机协同任务规划、多波次导弹发射中的规划问题.每个案例自成体系，可以独立阅读.

全书分为入门篇和进阶篇。入门篇为比较经典的数学建模内容，主要面向数学建模的初学者；进阶篇为现代数学建模方法和MATLAB软件简介及应用，主要面向希望进一步提高数学建模能力并用于解决实际问题的读者，这些方法在数学建模竞赛中会经常用到。全书案例丰富，每章后附有习题，其中不部分习题需要上机实践。

《集合论导引》共三卷，本书是第一卷，本卷是这本《导引》的开卷。本卷将分成三章来为后续两卷奠定基础。第一章主要是引进集合论的基本公理、基本概念、基本方法以及建立起典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合的集合。第二章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第三章专门引进实数集合并展开对它的系统分析。这一卷将建立一系列基本概念为全书作为铺垫。这一卷的内容既可以作为大学高年级本科生或者研究生数学教育的基本教程，也可以作为大学数学教师教学中的参

本卷是集合论的模型分析部分. 在第一卷的基础上, 本卷的主要任务是将逻辑植入集合论之中, 并以此为基础实现三大目标: 第一大目标是将同质子模型分析引入集合论, 这是一种不同于组合分析的对无穷集合展开分析的基本方法; 第二大目标则是建立集合论论域的具有典范作用的内模型——哥德尔可构造集论域, 从而证明一般连续统假设和选择公理的相对相容性; 第三大目标是建立集合论论域的具有典范意义的外模型——科恩的力迫扩张模型, 从而证明连续统假设以及选择公理的相对独立性.