本书是髙等学校数学建模课程教材，共12章，包括数学建校概述、初等模型、微分方程模型、差分方程模型、概率与随机模型、数学规划模型、数据处理模型、问归分析模型、分类模型、评价模型、预测模型、现代优化算法。本书以数学建模方法为主线，以解决社会生活和生产符理等领域中的实际问题为切入点，着重介绍解决问题的数学建模思想方法和基本过

本书分11章，内容涉及数学建模简介、Python编程基础与科学计算、常微分方程及差分方程方法、偏微分方程、插值与拟合方法、**化方法、图论方法、排队论、回归分析、因子分析、时间序列预测分析方法。第3—11章每章先给出历史沿革，然后进行方法简介，最后结合实例讲解建模方法，配合数学软件的介绍和使用，加强建模求解过程的基本训

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

本书是Fred等三个美国流行病学模型专家、数学家合著的MathematicalModelsinEpidemiology一书的中译本。内容分流行病学的基本概念（包括各种类型的仓室模型、地方病模型、流行病模型、异质混合模型、媒介传播的疾病模型）,特殊疾病的模型（包括结核病模型、艾滋病病毒/艾滋病（HIV/AIDS）模型、流

本书是在2015年科学出版社出版的《数学模型及其应用》（第二版）基础上吸取了读者和专家的意见修订而成。本书主要内容有绪论、初等模型、方程模型、预测模型、评价模型、优化模型、图论模型、概率模型、统计模型、高教社杯全国大学生数学建模竞赛真题等，每章后附相关习题，部分章后附有常用词汇中英文对照。本书完成教学约需40～60学时

数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、

本书内容以初等数学为主体内容，同时也渗透了后续高等数学中的一些思想概念，如：以整数为基础叙述了中国剩余定理，以坐标轴的旋转和平移运算化简平面上的二次曲线方程为例，说明这样的操作过程是线性代数中二次型化标准型的特例，最后一章介绍了古典概型概率的计算。整本书的内容既包含初等数学中重要知识点，同时也对这些知识点做了适当的补充

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

本书致力于适应普通本科高校的数学建模教学，力求做到内容简明扼要、浅显易懂，让学生既学到基本的建模方法，又有扩展学习的空间。本书采用了目前比较流行的Python语言进行数值实验。全书主要内容包括插值与拟合、微分方程、图与网络优化、线性规划、非线性规划、数据的统计描述、统计分析、综合评价方法等。本书还提供所有例题的Pyth

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