"根据高等院校数学建模课程的教学基本要求，结合编者丰富的理论教学和竞赛指导经验编写本书。全书共六章，分别是方程模型、规划模型、图与网络模型、统计模型、数据处理与模型求解、建模竞赛与论文写作指导，前四章主要介绍数学建模中应用比较广泛的四类模型及其求解方法，第五章针对前四章的模型给出软件(包括LINGO和 MATLAB)求解的算法和步骤，以及软件的一些使用说明，第六章结合建模的应用，介绍全国大学生数学建模竞赛的一些相关知识。本书应
用性强，通俗易懂，能有效启发和培养学生解决实际问题的能力。

本书分为四个部分：第一部分介绍了基本概念和 ZU 的公理；第二部分讨论了如何由此引出自然数、实数、线等概念；第三部分的主题是基数和序数；第四部分主要讨论了选择公理和连续统假设。本书不仅由浅入深地呈现了集合论领域的技术手段和证明结论，还论述了这些工作背后的哲学动机，可以让读者了解那些貌似繁杂冗长的技术细节背后的哲学思考。

本书是髙等学校数学建模课程教材，共12章，包括数学建校概述、初等模型、微分方程模型、差分方程模型、概率与随机模型、数学规划模型、数据处理模型、问归分析模型、分类模型、评价模型、预测模型、现代优化算法。本书以数学建模方法为主线，以解决社会生活和生产符理等领域中的实际问题为切入点，着重介绍解决问题的数学建模思想方法和基本过程，包括问题分析与假设、模型建立与求解、结果分析与检验、模型应用与解释等基本内容。各章后附有一定量的思考题供学生思考和练习，书后提供了主要的参考文献以便学生系统地学习相关的知识和方

本书介绍了二层模型及其拟合方法，包括数据准备、模型估计、模型解释、假设检验、模型假设条件检验及中心化，并介绍了多层次模型的扩展应用，包括对非连续型因变量和非正态分布型因变量的处理以及使用多层次方法分析纵向数据和构建三层模型的方法。

本书是国家级一流本科课程“数学建模”的配套教材，全书对数学建模中使用广泛的各种数学模型进行了介绍，内容包括 MATLAB 与 LINGO 编程、趣味数学建模问题、优化模型、图论模型、离散模型、线性回归模型、微分方程模型、排队论模型、数据处理方法、指标合成方法及大量竞赛实战建模案例。本书不但对每个问题都建立了数学模型，而且配有 MATLAB 或 LINGO 完整的实现程序。此外，本书还提供讲解和演示程序的配套视频，十分便于读者学习。本书可作为本科生数学建模教材，也可供数学建模爱好者参考。

本书系统介绍了数学建模的理论知识和求解方法，结合典型实例全面阐述了数学建模解决实际问题的基本过程。内容涵盖了数学建模课程中的一些基本方法和基本模型，包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型等。

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。

本书是Fred等三个美国流行病学模型专家、数学家合著的Mathematical Models in Epidemiology一书的中译本。内容分流行病学的基本概念（包括各种类型的仓室模型、地方病模型、流行病模型、异质混合模型、媒介传播的疾病模型）,特殊疾病的模型（包括结核病模型、艾滋病病毒/艾滋病（HIV/AIDS）模型、流感模型、埃博拉模型、疟疾模型、登革热模型与寨卡病毒模型）,进一步概念（包括年龄结构和空间结构的疾病传播模型等）和展望未来四个部分,另加三个附录。

本书介绍了验证、确认和不确定度量化的定义、研究范畴和主要方法途径。并对不确定度和误差中的重要内容进行了具体讨论，归纳了误差和不确定度的来源。从代码验证和解验证以及近似计算模型的代理模型方法，讨论了输入不确定性通过计算模型的传播问题，以及相应敏感性分析内容。从而进一步对模型确认和预测相关的一系列问题展开介绍。