推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

2.4纯强迫振动 一、定解问题 二、求解 1、解题分析 若将方程中的非齐次项消掉,即可利用达朗贝尔公式得到此定解问题的解

一、传统的库存策略通常是： 1、需求方根据有关信息做供应链下游需求预测 2、需求方向供应链上游供应方订货 3、将原材料囤积在仓库等待使用 问题：因为需求和供给市场的波动，会导致各种成本发生或不合理的增加

所谓统筹技术，意指项目管理技术 （1）PERT－－Program Evaluation and ReviewTechnique （2）CPM－－Critical Path Method 它们可广泛应用于大型、复杂项目计划、规划和设计，帮助项目管理人员对项目进度进行安排，对项目之完成进行控制设计、项目计划管理等，实用性强需要重点掌握：统筹技术的应用和算法

网络模型的讨论，本质上属于图论范畴 用途极其广泛（如：运输系统设计、信息系统 设计、项目计划管理等）、实用性强，是网络 模型的特征之一，其解法的特殊，也是值得关 注的地方 需要重点掌握：各种网络模型的算法

一、 二阶线性微分方程解的结构 二、 二阶常系数齐次线性微分方程 三、 二阶常系数非齐次线性微分方程

虽然用途广泛，但经常地，客观上要求 L.P.最优解中不能含有非整数值（如股票的购买之解答），整数规划就是专门用来求解这类问题的有效工具 重点掌握：0-1 规划灵活应用、分枝定界法

4.4函数的极值与最值 设函数y=f(x)在(a,b)内图形如下图:在处的函数值f(5)比它附近各点的函数值都要小;而在52处的函数值f(52)比它附近各点的函数值都要大;但它们又不是整个定义区间上的最小、最大者,而且f()>f(2)将这样的点称为极小值点、极大值点

前面讨论的定积分不仅要求积分区间[a,b]有限,而且 还要求被积函数f(x)在[a,b]上有界.然而实际还经常遇到 无限区间或无界函数的积分问题.这两类积分统称为广义 积分.其中前者称为无穷积分,后者称为瑕积分. 对于广义积分的计算是以极限为工具来解决的,即先 将广义积分转化为定积分,再对该定积分求极限

一、敏感性分析： 二、除最优解外，为决策者提供有价值的额外信息 三、计算机求解： 四、解决两个以上变量 L.P. 问题