一、问题的提出 二、离散型随机变量的函数的分布 三、连续型随机变量的函数的分布 四、小结 布置作业

一、判断题 1、设代数系统是的子代数，则 S  G。 （ ） 2、如果一个有向图D是欧拉图，则 D是强连通图。 （ ） 3、设 G 为 n 阶无向图简单图，则其补图也为 n 阶无向图简单图。 （ ）

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

为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容

在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

6.1 代数结构的定义与例 6.2 代数结构的基本性质 6.3 同态与同构 6.4 同余关系 6.5 商代数 6.6 积代数

9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理

7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论