北京大学：《离散数学》教学详细计划 Discrete Mathematics

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

–集合的基本概念—集合、相等、(真)包含、子集、空集、 全集、幂集 –集合运算—交、并、(相对和绝对)补、对称差、广义交、 广义并 –文氏图—有穷集计数问题 –集合恒等式

8.1 函数的定义与性质 8.2 函数的复合与反函数 8.3 一个电话系统的描述实例

10.1 二元运算及其性质 10.2 代数系统

12.1 环的定义与性质 12.2 整环与域

13.1 格的定义与性质 13.2 子格与格同态 13.3 分配格与有补格 13.4 布尔代数

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）16 布尔表达式