§1 引言 §2 基本概念、基本方程和计算方法 §3 逆序解法的计算框图 §4 动态规划与静态规划的关系 §5 若干典型问题的动态规划模型

1.要求提供的素材格式(同一个动画演示同时提交以下2种格式): (1)ppt格式(包含动画演示及动画说明,请参见样例M IExampleppt,字号 可根据文字的多少做少量调整)

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

重点: 1、命题(简单命题, 复合命题)及符号化(联结词) 2、公式类型(可满足,永真,永假) 3、等值演算( 证明A  B) 4、联结词完备集 ( 用指定联结词表示任意公式) 5、主析（主合）取范式, 成真(假)赋值 6、推理证明(推理规则)

一、函数项级数的一般概念 1.定义: 设u1(x),2(),,n(x)是定义在ICR上的 函数,则∑un(x)=(x)+(x)+…+un(x) n=1 工士 称为定义在区间上的(函数项)无穷级数

2.3逆矩阵 定义:对于Ann,若有Bn满足AB=BA=E,则称A为可逆矩阵, 且B为A的逆矩阵,记作A-1=B. 定理1若A为可逆矩阵,则A的逆矩阵唯一 证设B与C都是A的逆矩阵,则有

§1 有瓶颈设备的多级生产计划问题 §2 下料问题 §3 面试顺序与消防车调度问题 §4 飞机定位和飞行计划问题

§1 共形映射的概念 §2 分式线性映射 §3 唯一决定分式线性映射的条件 §4 几个初等函数所构成的映射

2.1. 一袋装有5只球，编号为1，2，3，4，5 .在袋中同时取3只球，以X表示取出的3只球中的最大号码，写出随机变量X的概率分布

§1 确定性时间序列分析方法概述 §2 移动平均法 §3 指数平滑法 §4 差分指数平滑法 §5 自适应滤波法 §6 趋势外推预测方法 §7 平稳时间序列模型 §8 ARMA 模型的特性 §9 时间序列建模的基本步骤