《数学建模与实践》是基于作者多年来从事数学建模教学、组织数学建模竞赛、开设数学实验课程以及编写相关书籍的丰富经验编写而成的。本书是作者对《数学建模》一书的修订，除保留了前三版的大部分内容外，根据读者的反馈进行了补充与修订，尤其在第5章增加了求解实际问题的MATLAB程序设计。全书分为入门篇和进阶篇。入门篇内容包括数学模

本书通过经济管理、社会生活、物理化学、工程技术中众多数学模型的实例，系统、详实地阐述数学建模与数学实验的基本理论和主要方法。分别介绍代数模型、方程模型、线性规划模型、非线性规划模型、概率模型、统计模型、蒙特卡洛模拟、图论模型、近世算法等，注重数学建模方法的介绍，重视数学模型的科学表达，并重点讲解模型在MATLAB中的编

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

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

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

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

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

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

本书按照工科学生数学建模能力培养要求编写，以巩固学生数学基础知识、培养学生专业复杂问题分析能力、增强学生计算软件应用能力，以及训练学生的实践能力和创新能力为目的，通过基础知识讲解、基本技能训练和应用创新实践等环节深入浅出地介绍了专业学科领域里的数学建模基础知识、相关计算软件的使用方法、复杂问题的研究方法和科技论文写作等

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