离散数学期复习要点与重点.docVIP

离散数学期末复习要点与重点大纲 （复习以课本和笔记为主。文中标红为需重点掌握的，祝大家都能取得好成绩！） 第1章 命题逻辑 复习要点 1．理解命题概念，会判别语句是不是命题．理解五个基本联结词：(、合取(、条件(、和双条件(及其真值表，理解其他联结词的定义及基本等价式，会将简单命题符号化． 具有确定真假意义的陈述句称为命题． 命题必须具备：其一，语句是陈述句；其二，语句有唯一确定的真假意义. 2．理解公式的概念(公式、赋值、成真指派和成假指派)和公式真值表的构造方法．能熟练地作公式真值表．理解永真式和永假式概念，掌握其判别方法． 判定命题公式类型的方法：其一是真值表法，其二是等价演算法. 3．了解公式等价概念，掌握公式的重要等价式和判断两个公式是否等价的有效方法：等价演算法、列真值表法和主范式方法． 4．理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念，熟练掌握它们的求法（真值表法和等价推导法）． 命题公式的范式不惟一，但主范式是惟一的． 命题公式A有n个命题变元，A的主析取范式有k个小项，有m个大项，则 于是有 (1) A是永真式(k=2n(m=0)； (2) A是永假式(m＝2n(k=0)； 5．了解C是前提集合{A1,A2,…,Am}的有效结论或由A1, A2, …, Am 逻辑地推出C的概念．要理解并掌握推理理论的规则、重言蕴含式和等价式，掌握命题公式的证明方法：真值表法、直接证法、间接证法． 重点：命题与联结词，真值表，主析取(合取)范式，命题演算的推理理论. 第2章 谓词逻辑 复习要点 1．理解谓词、量词、个体词、个体域，会将简单命题符号化． 原子命题分成个体词和谓词，个体词可以是具体事物或抽象的概念，分个体常项和个体变项．谓词用来刻划个体词的性质或之间的关系． 量词分全称量词(，存在量词(. 命题符号化注意：使用全称量词(，特性谓词后用(；使用存在量词(，特性谓词后用(． 2．了解原子公式、谓词公式、变元(约束变元和自由变元)与辖域等概念．掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法． 由原子公式、联结词和量词构成谓词公式．谓词公式具有真值时，才是命题． 在谓词公式(xA或(xA中，x是指导变元，A是量词的辖域．会区分约束变元和自由变元． 在非空集合D(个体域)上谓词公式A的一个解释或赋值有3个条件． 在任何解释下，谓词公式A取真值1，A为逻辑有效式(永真式)；公式A取真值0，A为永假式；至少有一个解释使公式A取真值1，A称为可满足式． 在有限个体域下，消除量词的规则为：设D＝{a1, a2, …, an}，则 会求谓词公式的真值，量词的辖域，自由变元、约束变元，以及换名规则、代入规则等． 掌握谓词演算的等价式和重言蕴含式．并进行谓词公式的等价演算． 3．理解前束范式的概念，掌握求公式的前束范式的方法. 若一个谓词公式F等价地转化成 ，那么就是F的前束范式，其中Q1，Q2，…，Qk只能是(或(，而x1, x2, …, xk是个体变元，B是不含量词的谓词公式．前束范式仍然是谓词公式． 重点：翻译；前束范式． 第3章 集合与关系 复习要点 1．理解集合、元素、集合的包含、子集、相等，以及全集、空集和幂集等概念，熟练掌握集合的表示方法． 集合的表示方法：列举法和描述法. 注意：集合的表示中元素不能重复出现，集合中的元素无顺序之分． 掌握集合包含(子集)、真子集、集合相等等概念． 注意：元素与集合，集合与子集，子集与幂集，(与(((),空集(与所有集合等的关系. 空集(，是惟一的，它是任何集合的子集． 集合A的幂集P(A)＝， A的所有子集构成的集合．若(A(＝n，则(P(A)(=2n． 2．熟练掌握集合A和B的并A(B，交A(B，补集(A((A补集总相对于一个全集).差集A－B，对称差(，A(B＝(A－B)((B－A)，或A(B＝(A(B)－（A(B）等运算． 掌握集合运算律(运算的性质). 3．掌握用集合运算基本规律证明集合恒等式的方法． 集合的运算问题：其一是进行集合运算；其二是运算式的化简；其三是恒等式证明． 证明方法有二：(1)要证明A＝B，只需证明A(B，又A(B； (2)通过运算律进行等式推导． 4．了解有序对和笛卡尔积的概念，掌握笛卡尔积的运算． 有序对就是有顺序二元组，如x, y，x, y 的位置是确定的，不能随意放置． 注意：有序对a，b(b, a，以a, b为元素的集合{a, b}={b, a}；有序对(a, a)有意义，而集合{a, a}是单元素集合，应记作{a}…×An． 5．理解关系的概念：二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图，掌握关系的集合运