随着微机的发展，其应用越来越广泛。目前微机不仅应用于 生产管理、办公室自动化、数据处理、通信、网络等方面，已愈 来愈多地进行实时控制和实时数据处理，即用于控制和检测生产 过程中的各种参数，已达到控制整个生产过程的目的。 生产过程中的各种参数大部分是连续变化的模拟量，需要转 换成离散的数字量（ 通过A/D转换 ）才能输入到计算机进行处 理；而计算机处理后的数据为数字量，需经过D/A转换变成模拟 量输出，从而实现对被控对象的控制

一、二维随机变量的分布函数 二、二维离散型随机变量 三、二维连续型随机变量 四、课堂练习 五、小结 布置作业

一、离散型随机变量的数学期望 二、连续型随机变量的数学期望 三、随机变量函数的数学期望 四、数学期望的性质

一、判断题(在括号内划“√”或“×”) （ ）1、联结词集合{↓，﹁}是联结词全功能集。 （ ）2、x F(x) →y F(y)是永真式。 （ ）3、 “x+4>0”是简单命题。 （ ）4、集合 A, B，若 A – B＝Φ，则 B＝A。 （ ）5、若 R 为具有自反性的二元关系，则 R 的逆关系也具有自反性

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

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

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

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 群的同态与同构