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

本书介绍了常用的数学建模方法和建模的基本技巧，主要内容包括数学模型的概念、初等模型、微分方程模型、层次分析法、离散模型、聚类分析、对策模型、稳定性分析、最小覆盖模型、一般优化模型、数学建模—实例，并在附录中分别给出了美国和中国大学生数学建模竞赛的优秀论文。

本书基于“数学建模与数学实验”“数学教学软件”等课程要求，对常用的三款数学软件Mathematica、LINGO、几何画板的功能、语法及基本使肪法在实验基础上进行总结。本书内容主要包括Mathematica软件的基本用法、Mathematica软件在高等数学中的应用、Mathematica软件在高等代数(线性代数)中的

本书是国家级一流本科课程“数学建模”的配套教材，全书对数学建模中使用广泛的各种数学模型进行了介绍，内容包括MATLAB与LINGO编程、趣味数学建模问题、优化模型、图论模型、离散模型、线性回归模型、微分方程模型、排队论模型、数据处理方法、指标合成方法及大量竞赛实战建模案例。本书不但对每个问题都建立了数学模型，而且配有M

"作者根据多年科学研究成果及数学建模竞赛辅导经验编写此书。本书旨在架起评估理论与应用之间的桥梁，从评估方法的基本理论、实现与步骤、优缺点、应用案例几个方面进行剖析，使得评估理论在纵深方向得以延展。全书共分为10章，包括了评估的基本理论、层次分析法、模糊综合评估法、灰色聚类评估法、人工神经网络评估、多源信息融合评估、物元

本书的编写遵循数学建模的基本原理，精选了一些典型数学模型案例，注重讲解基本建模的框架和方法。全书包括了9章2个附录，主要涉及了数学模型与数学建模基本概述、初等建模、线性规划、非线性规划、统计描述与分析、微分方程、差分方程、图与网络以及数学建模竞赛及专家讲评等基础模块，文后附加了MatLab、Python软件入门知识和使

本书主要介绍了儿童数学建模的选题、开题、做题、结题，精选了11个儿童数学建模的案例，详细介绍了儿童如何开展数学建模的过程。主要内容包括：儿童数学建模的选题；儿童数学建模的开题；儿童数学建模的做题等。

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

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

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