三峡大学期末计算机专业离散数学考试期末离散复习资料.docxVIP

PAGE 16 PAGE 1 《离散数学》期末复习提要 课程的主要内容 集合论部分（集合的基本概念和运算、二元关系和函数）； 数理逻辑部分（命题逻辑、谓词逻辑）； 图论部分（图的基本概念、特殊的图，树及其性质）。 各章复习要求与重点 第一章　命题逻辑 [复习知识点] １、命题与联结词（否定、析取、合取、蕴涵、等价），复合命题 ２、命题公式与解释，真值表，公式分类（永真、矛盾、可满足），公式的等价 ３、析取范式、合取范式，极小（大）项，主析取范式、主合取范式 ４、公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法） ５、全功能集 ６、推理理论 本章重点内容：命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定、推理理论 [复习要求] １、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。 ２、理解公式与解释的概念；掌握求给定公式真值表的方法，用基本等价式化简其他公式，公式在解释下的真值。 ３、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等价式或真值表将公式化为主析取（合取）范式的方法。 ４、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价的方法。掌握24个重要等值式。 ５、掌握推理理论，会写出推理的证明，掌握附加前提证明法和归谬发。 [本章重点习题