复习 一阶谓词演算的符号化: 个体变元:x,Y,z,… 个体常元:a,b,c ·谓词:Fn,Gn,Hn, 函数:fn,gn,hn, 量词:全称量词V,存在量词3

0、简例 2、传染病问题 1、人口预报问题 3、作战模型 4、捕食问题 5、火箭发射问题 6、药物吸收、真假绘画作品鉴定、交通管理/堵塞问题

(1)若取整:x1=4,x2=1,=250,是可行解,但非最优解,因有可行解:x1=4,x2=2,3Z=340>250 (2)按四舍五入得:x1=5,x2=2,不是可行解因②左边为:5956用穷举法也是不可取的

（1）上述二项目基本情况介绍，结合申请书 （2）教学路径：“微积分的一流化进程” （3）教学研究：“基于现代张量分析及微分几何的连续介质力学理论及其应用” （4）澄清知识体系的基本思想及方法：知识点、知识要素、数学通识

1 行列式的几何意义. 2 行列式与线性方程组解之间的关系. 3 行列式的定义. 4 行列式的性质. 5 用行列式定义矩阵的秩. 6 矩阵的行列式用于判别矩阵的可逆性. 7 行列式的计算

定义1设映射C→R满足: (1)正定性0,当且仅当x=0时,=0; (2)齐次性xx∈r,x∈Cn; (3)三角不等式x+y+y,x,y∈Cn

（1）不定积分的概念 （2）不定积分与微分的关系 （3）不定积分的基本积分公式 （4）不定积分的线性性质

一阶必要条件 定理1:若(1)x*是等式约束问题的局部最优解; (2)f(x)与c(x)(i=1,2,)在x的某邻域内连续可微; (3)c,(x)(i=1,2,)线性无关;

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

一、 求离散型分布 例 1 一袋内装有 5 个白球，3 个红球.第一次从袋中任意取一个球不放回；第二次又从袋中任取两个球