1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.设A∈R且有线性初等因子,其特征值为2n证明:存在A的左特征向量 yy2y和右特征向量xx2xn,满足A=xy 2.设A∈R且有线性初等因子,其特征值为2,,相应的左特征向量为yy2y ,右特征向量为xx2xn,并有y,x,=0(i≠),y,x,≠0.证明:矩阵

一、名词解释 1、沉降速度;2、悬浮速度3、输送浓度比;4、绞龙:5、快速提升机:6、慢速提升机 7、吸送式:8、压送式;9、料封压力门:10、吸嘴:11、供料器;12、双筒吸嘴:13、诱导式 接料器:14、卸料器:15、容积式卸料

常微分方程数值解 1将下列方程化为一阶方程组

3.1 集合的基本概念与表示 3.2 集合的基本运算 3.3 集合元素的计数 3.4 例题选解 习题三

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.下列函数组在其定义区间内哪些是线性无关的? (1)x,x2; (2)x,2x;

练习12-1 1.试说出下列各微分方程的阶数: (1)x(y)2-2yy+x=0

1.设有一平面薄板(不计其厚度),占有xOy面上的闭区域D,薄 板上分布有密度为=u(x,y)的电荷,且x,y)在D上连续,试用二重 积分表达该板上全部电荷Q