4.1 二元关系及其表示法 4.2 关系的运算 4.3 关系的性质 4.4 关系的闭包 4.5 等价关系与划分 4.6 次序关系

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

▪ 个体词 ▪ 谓词 ▪ 量词 ▪ 一阶逻辑中命题符号化

问题1：关系具有哪些重要性质？ 问题2：如果计算关系的闭包？ 问题3：什么是等价关系与等价类？

一、对偶式与对偶原理 二、析取范式与合取范式 三、主析取范式与主合取范式

▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式

◼ 环的定义与实例 ◼ 特殊的环  交换环  含幺环  无零因子环  整环  域

一、图灵机的基本模型 二、图灵机接受的语言——递归可枚举语言 三、用图灵机计算函数——部分可计算函数与可计算函数

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-（2006级）解答

《离散数学 Discrete Mathematics》课程教学资源（习题集）《集合论与图论》课堂练习1-07（2011级）