离散数学期末复习指导(专科).docxVIP

实用文档 离散数学期末复习指导（专科） 中央电大理工部计算机教研室 离散数学是中央电大计算机应用专业信息管理方向开设的必修统设课。该课程使用新的教学大纲，在原有离散数学课程的基础上削减了教学内容（主要是群与环、格与布尔代 数这两章及图论的后三节内容） ，使所学的知识达到必需、 够用，更加适合大学专科层次的教育。目前该课程没有新教材，借用原教材。使用的教材为中央电大出版的《离散数学》（刘叙华等编）和《离散数学学习指导书》 （虞恩蔚等编） 。 离散数学主要研究离散量结构及相互关系，使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。其先修课程为：高等数学、线性代数；后续课程为：数据结构、数据库、操作系统、计算机网络等。 课程的主要内容 本课程分为三部分：集合论、数理逻辑和图论。 1、 集合论部分（集合的基本概念和运算、关系及其性质） ； 2、 数理逻辑部分（命题逻辑、谓词逻辑） ； 3、 图论部分（图的基本概念、树及其性质） 。 学习建议 离散数学是理论性较强的学科，学习离散数学的关键是对离散数学（集合论、数理逻辑和图论）有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。 一、各章复习示例与解析 第一章 集 合 例 1，将“大于 3 而小于或等于 7 的整数集合”用集合表示出来。 [解析] 集合的表示方法一般有两种，一种称为列举法，一种称为描述法。 列举法将集合的元素按任意顺序逐一列在花括号内， 并用逗号分开。 “大于 3 而小于或 等于 7 的整数”有 4、 5、 6、 7，用列举法表示为 {4 、 5、6、 7} ； 描述法是利用集合中的元素满足某种条件或性质用文字或符号在花括号内竖线后面表 示出来。上例用描述法表示为 {x| x Z 并且 3 x 7} ，其中 Z 为整数集合。 答： {4 、 5、 6、 7} 或{x| x Z 并且 3 x 7} 。 例 2，判定下列各题的正确与错误： 1） a {{a}} ； （ 2） {a} { a ， b， c } ； 3）{ a ， b， c } ； 4）{ a ， b， c } ； （ 5） {a ， b} {a ， b， c， { a ， b， c }} ； （ 6） {{a} ， 1， 3， 4} {{a} ， 3， 4， 1} ； （ 7） {a ， b} {a ， b， { a ， b }} ； 8）如果 A B=B，则 A=E。 [解析] 此题涉及到集合中子集的概念， 集合的包含关系， 空集与集合的关系。 解题时要注意 标准文案 实用文档 区分两个集合之间的关系以及集合中元素与集合之间的关系的不同。 集合之间的关系分为包含关系（子集、真子集） 、相等关系、幂集等，判断时要准确理解这些概念，才能正确地运用这些知识。 集合与它的元素之间的关系有两种：一个元素 a 属于一个集合 A，记为 a A；一个元 素 A 不属于一个集合 A，记为 a A。要注意符号的记法（ ）与集合包含符号记法（ ， ） 的不同。 答：正确的是（ 2）、（ 4）、（ 5）、（ 7）；其余的都是错误的。 例 3，设 A， B 是两个集合， A={1 ， 2， 3} ， B={1， 2} ，请计算 （ A）– （ B）。 [解析] 集合的概念一般在中学阶段已经学过，这里只多了一个幂集概念，重点对幂集加以掌 握，一是掌握幂集的构成，由集合 A 的所有子集组成的集合，称为 A 的幂集，记作 （ A） 或 2A；一是掌握幂集元数为 2n，n 为集合 A 的元数。 集合的基本运算有交、并、差、补。 答： （A）={ ，{1} ，{2} ，{3} ，{1，2} ， {1，3} ，{2 ，3} ，{1 ，2，3}} B）={ ，{1} ，{2} ，{1 ，2}} 于是 （ A）– （ B）={{3} ，{1 ， 3} ， {2 ， 3} ，{1 ， 2， 3}} 例 4，试证明（ A ~B） （ ~A B） =（A B） （ ~A ~B） [解析] 证明集合恒等式要熟练运用教材 15 页集合的 10 个基本运算。一般来说，欲证 P=Q， 即证 P Q并且 Q P，也就是要证明，对于任意的 x，有下式成立。 x P x Q 和 x Q x P 证明集合恒等式的另一种方法是利用已知的恒等式来代入。本题就是用的这个方法。通过对集合恒等式证明的练习，既可以加深对集合性质的理解与掌握；又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。实际上，本章做题是一种基本功 训练，尤其要求学生重视吸收律和重要等价式在 A– B=A ~B证明中的特殊作用。 证明： A ~B ~A B A ~B ~A A ~B B