离散数学 软件技术学院 考试大纲.pdfVIP

郑州大学工学院和乐图文（南三食堂旁）QQ ：459782113 更多资料、店内咨询 《离散数学》考试大纲 考试时长：120 分钟占 100 分 试题数量：四道大题 15 道填空题 15 道单选择题 4 道解答题 2 道综合题 考试考查的内容如下： 第一部分 集合论（集合和二元关系） 一、集合 [考核知识点] 1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、 幂集 2 、集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸 收律、 De Morgan 律等），文氏（Venn ）图 3、序偶与迪卡尔积 [考核要求] 1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概 念。 2 、掌握集合的表示法和集合的交、并、差、补等基本运算。 3、掌握集合运算基本规律，证明集合等式的方法。 4 、 了解序偶与笛卡尔积的概念，掌握笛卡尔积的运算。 二、关系与映射 第 1 页 共 5 页 郑州大学工学院和乐图文（南三食堂旁）QQ ：459782113 更多资料、店内咨询 [考核知识点] 1、关系、关系矩阵与关系图 2 、复合关系与逆关系 3、关系的性质（自反性、对称性、反对称性、传递性） 4 、关系的闭包（自反闭包、对称闭包、传递闭包） 5、等价关系与等价类 6、偏序关系与哈斯图（Hasse ）、极大/小元、最大/小元、上/下界、最小上界、 最大下界 7、 映射及其性质（单射、满射、双射） 8、复合映射与逆映射 [考核要求] 1、理解关系的概念：二元关系、空关系、全关系、恒等关系；掌握关系的集 合表示、关系矩阵和关系图、关系的运算。 2 、掌握求复合关系与逆关系的方法。 3、理解关系的性质（自反性、对称性、反对称性、传递性），掌握其判别方法 （定义、矩阵、图） 4 、掌握求关系的闭包 （自反闭包、对称闭包、传递闭包）的方法。 5、理解等价关系和偏序关系的概念，掌握等价类的求法和偏序关系做哈斯图 的方法，极大/小元、最大/小元、上/下界、最小上界、最大下界的求法。 6、理解函数概念：函数、函数相等、复合函数和反函数。 7、理解单射、满射、双射等概念，掌握其判别方法。 第二部分 数理逻辑（命题逻辑和谓词逻辑） 第 2 页 共 5 页 郑州大学工学院和乐图文（南三食堂旁）QQ ：459782113 更多资料、店内咨询 一、命题逻辑 [考核知识点] 1、命题与联结词（否定、析取、合取、蕴涵、等价），复合命题 2 、命题公式与解释，真值表，公式分类（恒真、恒假、可满足），公式的等价 3、析取范式、合取范式，极小（大）项，主析取范式、主合取范式 4 、公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法） 5、公式的蕴涵与逻辑结果 6、形式演绎 [考核要求] 1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的 方法。 2 、理解公式与解释的概念；掌握求给定公式真值表的方法，用基本等价式化 简其他公式，公式在解释下的真值。 3、 了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取） 范式的概念；掌握用基本等价式或真值表将公式化为主析取（合取）范式的 方法。 4 、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和 公式等价的方法。 5、理解公式蕴涵与逻辑结果的概念，掌握基本蕴涵式。 6、掌握形式演绎的证明方法。 二、谓词逻辑 [考核知识点] 第 3 页 共 5 页 郑州大学工学院和乐图文（南三食堂旁）QQ ：459782113 更多资料、店内咨询 1、谓词、量词、个体词、个体域、变元 （约束变元与自由变元） 2 、谓词公式与解释，谓词公式的类型（恒真、恒假、可满足） 3、谓词公式的等价和蕴涵 4 、前束范式 [考核要求] 1、理解谓词、量词、个体词、个体域、变元的概念；理解用谓词、量词、