选择公理的发展处在数学、逻辑学和哲学的交汇处。选择公理的提出以及关于它的争论，涉及许多哲学观点的相互碰撞。选择公理为数学提供了强有力的论证方法，利用它可以证明许多重要的结论。选择公理的发展也促进了逻辑学的发展。本书主要对选择公理的产生及发展历史，在数学和逻辑学中的应用，协调性和独立性以及对数学哲学的影响作了全面系统的论

本书是版权引进自英国剑桥大学出版社的一本原版大学数学教材，中文书名可翻译为《集合论入门》。本书作者丹尼尔.W.坎宁安，是纽约州立大学布法罗分校的数学教授，专门研究集合论和数学逻辑。他是国际符合逻辑协会、美国数学协会和美国数学学会的成员。坎宁安曾于2013年出版著作《证明的逻辑导论》。大学数学教材中集合论虽然是一个十分重

《数学建模实用教程（第二版）》共收录了76个应用案例分析，其中包含16个全国竞赛题的案例，60个实际问题的应用练习。该书结合高职高专数学课程的教学实际和参加全国大学生数学建模竞赛培训的需要，从内容的选择、组织编排、难易取舍都考虑到高职高专院校教师的使用和学生的学习实际，力求做到有用、适用、能用、够用和方便使用。《数学建

本书以培养数学建模思想、突出应用为重点,以技能训练为主线,使学生通过本课程的学习,在数学建模能力的提高上有所收获,为处理实际问题和参加全国数学建模竞赛打好基础。本书中的例题、能力训练题多数选自与实际生活贴近的应用案例,以培养学生的数学建模意识,充分体现高职教育的应用性和实用性。为拓展学生建模能力,挖掘学生的建模潜力,还

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

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了数理逻辑的基本知识。全书共10章:第一章是预备知识，主要介绍书中所需要的集合论的初步知识:第二至第六章是一阶逻辑的基本内容，重点介绍哥德尔的完全性定理;第七章是递归论的基本知识，也是为后面内容所做的准备;第八章介绍一阶算术的一些片段;第九和第十章是哥德

《数学建模入门教程》主要包括数学建模与数学建模竞赛、MATLAB软件简介、微分方程数值解、线性规划与非线性规划、LINGO软件及离散问题求解、多元统计方法、图像处理与模式识别、案例分析等内容。《数学建模入门教程》集数学建模入门基础知识、数学实验及程序编写为一体,注重入门基础知识介绍、数学软件及程序编写,由浅入深、循序渐

编者根据高等院校数学建模课程的教学基本要求结合自身丰富的理论教学和竞赛指导经验编写《数学建模与数据处理》。《数学建模与数据处理》共6章，分别是绪论、方程模型、规划模型、图与网络模型、统计模型和论文写作及真题解析。另外，部分章节附有相应的程序。《数学建模与数据处理》实用性强、通俗易懂，且能够启发和培养学生的自学能力。

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

本书共有七章，包括：数学建模概述、初等建模方法与初等模型、微分方程模型、运筹学模型、随机性模型、统计建模方法和中学数学建模。第二章和第七章用初等数学方法建模，第三章至第六章用高等数学方法建模。书中案例丰富，分析过程和解题步骤细致。全书纸质内容与数字课程一体化设计，紧密结合。数字课程包含基础知识、数学家小传、拓展阅读、数