本书分别针对铀矿堆浸工程中的参数识别、放射性废物安全处置库区域稳定性、“薄”预混火焰燃烧稳定性、肿瘤扩散生长等应用背景，分别讨论了铀矿堆浸扩散模型参数反演问题、双重介质中核素迁移扩散模型反问题、热-扩散燃烧模型和高阶广义Cahn-Hilliard方程等的数值计算，将数学物理反问题的理论与方法应用到工业中，对铀矿堆浸提炼

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

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

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

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

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

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

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

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

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