离散数学期末复习指导(专科)
离散数学复习提纲

《离散数学》期末复习一、期末考试题型试题类型及分数分别为单项选择题和填空题各有15题,分数占60%;化简解答题与计算题及证明题,共占40%。
各章分数的比例大致与其所用课时比例相同。
单项选择题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简单计算。
单项选择题给出四个备选答案,其一正确。
填空题只需填写正确结论,不写计算、推论过程或理由。
化简解答题与计算题主要考核同学们的基本运算技能和速度,要求写出计算过程。
证明题主要考查应用概念、性质、定理及重要结论进行逻辑推理的能力,要求写出推理过程。
二、各章复习要求和重点第1章命题逻辑复习要求1. 命题及其联结词。
命题表述为具有确定真假意义的陈述句。
命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义,六个联结词。
2. 命题公式及分类。
在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;真值表3. 命题的判定及命题演算的推理理论。
推理方法有:真值表法;等值演算法;主析取范式法,构造证明法(直接证明法、附加前提证明法和间接证明法)本章重点:命题与联结词,公式与解释,真值表,公式的类型及判定, (主)析取(合取)范式,命题逻辑的推理理论.。
第2章一阶逻辑复习要求1.谓词与量词谓词,在谓词逻辑中,原子命题分解成个体词和谓词. 个体词是可以独立存在的客体,它可以是具体事物或抽象的概念。
谓词是用来刻划个体词的性质或事物之间关系的词 量词,是在命题中表示数量的词,量词有两类:全称量词∀,表示“所有的”或“每一个”;存在量词∃,表示“存在某个”或“至少有一个”2. 2.公式与解释谓词公式,由原子公式、联结词和量词可构成谓词公式(严格定义见教材).命题的符号化结果都是谓词公式.例如∀x(F(x)→G(x)),∃x(F(x)∧G(x)),∀x∀y(F(x)∧F(y)∧L(x,y)→H(x,y))等都是谓词公式3. 解释(赋值),谓词公式A的个体域D是非空集合,则(1) 每一个常项指定D中一个元素;(2) 每一个n元函数指定D n到D的一个函数;(3) 每一个n元谓词指定D n到{0,1}的一个谓词;按这个规则做的一组指派,称为A的一个解释或赋值。
1009离散数学期末复习指导

离散数学期末复习指导注意:1试题类型及结构:单项选择题的分数占15%,填空题的分数占15%,公式翻译题的分数占12%,判断说明题的分数占14%,计算题的分数占36%;证明题的分数占8%.2考试重点:本学期的三次教学活动资料、学习笔记和历年试题!3离散数学期末复习指导分为两个部分:第一部分,离散数学历年试题汇编,熟悉考试试题及解题方法;第二部分,例题精讲。
4请大家充分利用课程学习平台教学活动资料栏目(尤其是本学期 11 月 3 日 , 24 日和 12 月 9 日 的三次教学辅导活动资料)、学习笔记栏目和课程复习 — 自测栏目中的资料,抓住重点进行复习争取期末考试获得好成绩。
第一部分,离散数学历年试题汇编一、单项选择题1.若集合A ={1,{1},{2},{1,2}},则下列表述正确的是(A ).A .{2}∈AB .{1,2}⊂AC .1∉AD .2 ⊂ A 2.设G 为无向图,则下列结论成立的是 ( C ) . A .无向图G 的结点的度数等于边数的两倍. B .无向图G 的结点的度数等于边数.C .无向图G 的结点的度数之和等于边数的两倍.D .无向图G 的结点的度数之和等于边数. 3.图G 如图一所示,以下说法正确的是(C ) . A .{(a ,b )}是边割集 B .{ a ,c }是点割集 C .{d }是点割集 D .{ (c ,d )}是边割集图一4.设集合A ={1},则A 的幂集为( D ).A .{{1}}B .{1,{1}}C .{∅,1}D .{∅,{1}}5.设A (x ):x 是人,B (x ):x 犯错误,则命题“没有不犯错误的人” 可符号化为( B ).A .┐(∃x )( A (x ) → ┐B(x))B .┐(∃x )( A (x )∧┐B (x ))C .┐(∃x )( A (x )∧B (x ))D .(∀x )( A (x )∧B (x ))6.若集合A={a,{1}}则下列表述正确的是( A).. {1}. {1}. {}. A A B A C a AD A∈⊆∈∅∈7. 设图,,GV E v V=<>∈,则下列结论成立的是(D).A 、deg()2v E =B 、deg()v E=οο ο οοο a b c defC 、deg()v Vv E ∈=∑ D 、deg()2v Vv E ∈=∑8. 如图一所示,以下说法正确的是(B )。
离散数期末复习

1
推理证明过程如下:
2
(∀x)(N(x) I(x)) P规则
3
(∃x)(N(x)
I(x)) T规则和
4
N(a)
I(a)
ES
1
规则和2
5
N(a)
T规则和3
6
I(a)
T规则和3
7
(∀x)(N(x) (Q(x)∇E(x)))
P规则
8
N(a) (Q(a)∇E(a)) US规则和6
• 8 Q(a)∇E(a)
空关系vs空集上的关系
空集上的关系:自反的,反自反的,对称的,反对称的, 可传递的。在空集上可定义任意元 关系。
性质:若A非空,空关系是反自反的,对称的,反对称的,可传递的; 若A是空集,该空关系是自反的,反自反的,对称的,反对称的,可传递的
空关系:对于任何集合A, 称空集为A上的空关系.
1. 3-1设A={1,2,3},R是ρ(A)上的二元关系,且R={<a,b>|a,b∈ρ(A),a∩b≠Φ},则R 不满足下列哪些性质?为什麽?
2. 自反性 2)反自反性 3)对称性 3. 反对称性 5)传递性 4. 解:1)因为Φ∈ρ(A),但Φ∩Φ=Φ 5. 所以<Φ,Φ>∉R,即R不满足自反性。 6. 因为{1}∈ρ(A)但{1}∩{1}={1}≠Φ 7. 即<{1},{1}>∈R,因此R不是反自反的. 8. 对任意x,y∈ρ(A),若x∩y≠Φ,即 9. <x,y>∈R,则y∩x≠Φ即<y,x>∈R即R满足对称性。
1. s(R)=R∪R~ 2. t(R)= ∪i=1nRi 3. 关系的性质: 4. R是自反的=(∀x)(x∈X <x,x>∈R) 5. R是反自反的=(∀x)(x∈X<x,x>∉R) 6. R是不自反的 7. (∃x)(∃y)(x,y∈X<x,x>∈R<y,y>∉R) 8. R是对称的=(∀x)(∀y)(x,y∈X <x,y>∈R <y,x>∈R) 9. R是反对称的=(∀x)(∀y)(x,y∈X<x,y>∈R <y,x>∈Rx=y)
离散数学复习资料

离散数学复习资料离散数学是计算机科学与数学领域中的重要学科,它研究的是离散的数学结构和离散的数学对象。
在计算机科学领域,离散数学是构建算法和设计计算机系统的基础。
为了更好地复习离散数学,我们可以从以下几个方面入手。
一、集合论集合论是离散数学的基础,它研究的是集合及其运算。
在集合论中,我们需要了解集合的定义、基本运算和集合间的关系。
此外,还需要掌握集合的代数运算法则,如交、并、差和补集等。
复习时可以通过解题来加深理解,例如证明集合之间的等价关系、集合的幂集等。
二、逻辑与命题逻辑是离散数学中的重要分支,它研究的是推理和论证的规则。
在逻辑中,命题是最基本的逻辑单位。
复习时需要了解命题的定义和常见的逻辑运算符,如非、与、或、异或等。
此外,还需要熟悉命题的真值表和命题之间的逻辑等价关系。
通过解题和推理,可以提高对逻辑的理解和应用能力。
三、图论图论是离散数学中的一个重要分支,它研究的是图及其性质。
在图论中,我们需要了解图的基本概念,如顶点、边、路径、环等。
此外,还需要熟悉图的表示方法,如邻接矩阵和邻接表。
复习时可以通过解题来加深对图的理解,例如求最短路径、判断图的连通性等。
四、代数系统代数系统是离散数学中的一个重要内容,它研究的是代数结构及其性质。
在代数系统中,我们需要了解群、环、域等代数结构的定义和性质。
此外,还需要熟悉代数运算法则和代数结构之间的关系。
复习时可以通过解题来加深对代数系统的理解,例如证明一个集合构成一个群、判断一个环是否是域等。
五、概率论与统计学概率论与统计学是离散数学中的一个重要分支,它研究的是随机事件和随机变量的概率性质。
在概率论与统计学中,我们需要了解概率的定义和性质,掌握常见的概率分布和统计方法。
此外,还需要熟悉概率的运算法则和统计推断的基本原理。
复习时可以通过解题和实际问题的分析来加深对概率论与统计学的理解。
总之,离散数学作为计算机科学与数学领域中的重要学科,对于计算机科学专业的学生来说具有重要意义。
离散数学期末复习总要

离散数学期末复习总要离散数学期末复习各个章节要点纲要(及定理)离散数学定义定理1.3.1命题演算的合式公式规定为:(1)单个命题变元本身是一个合式公式。
(2)如果A是合式公式,那么┐A是合式公式。
(3)如果A和B是合式公式,那么(A∨B)、(A∧B)、(A→B)、(A?B)、都是合式公式。
(4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元,连接词和圆括号的符号串是合式公式。
1.3.2 设Ai是公式A的一部分,且Ai是一个合式公式,称Ai是A的子公式。
1.3.3 设P为一命题公式,P1,P2,……,Pn为出现在P中的所有命题变元,对P1,P2,……,Pn指定一组真值称为对P的一种指派。
若指定的一种指派,使P的值为真,则称这组指派为成真指派。
若指定的一种指派,使P的值为假,则称这种指派为成假指派。
含n个命题变元的命题公式,共有2n个指派。
1.3.4 给定两个命题公式A和B,设P1,P2,……,Pn为所有出现于A和B中的原子变元,若给P1,P2,……,Pn任一组真值指派,A和B的真值都相同,称A和B是等价的,记做A <=>B。
1.3.5 设A为一命题公式,若A在它的各种指派情况下,其取值均为真,则称A为重言式或永真式。
1.3.6 设A为一命题公式,若A在它的各种指派情况下,其取值均为假,则称A为矛盾式或永假式。
1.3.7设A为一命题公式,若A在它的各种指派情况下至少存在一组成真指派,则称A为可满足式。
1.4.1 设X式合式公式A的子公式,若有Y也是一个合式公式,且X<=>Y,如果将A中的X用Y置换,得到公式B,则A<=>B。
1.4.2 设A,B为两个命题公式,A<=>B,当且仅当A ←→B为一个重言式。
P=>Q称做P蕴含Q或蕴含式,又称永真条件式。
蕴含式有下列性质:(1)对任意公式A,又A=>A;(2)对任意公式A,B和C,若A=>B,B=>C,则A=>C;(3)对任意公式A,B和C,若A=>B,A=>C,则A=>(B∧C); (4)对任意公式A,B和C,若A=>C,B=>C,则A∨B=>C.1.4.3设P,Q为任意两个命题公式,P<=>Q的充分必要条件式P=>Q,,Q=>P。
离散数学复习提纲(完整版)解析

《离散数学》期末复习大纲(完整版)(含例题和考试说明)一、命题逻辑[复习知识点]1、命题与联结词(否定¬、析取∨、合取∧、蕴涵→、等价↔),复合命题2、命题公式与赋值(成真、成假),真值表,公式类型(重言、矛盾、可满足),公式的基本等值式3、范式:析取范式、合取范式,极大(小)项,主析取范式、主合取范式4、公式类型的判别方法(真值表法、等值演算法、主析取/合取范式法)5、命题逻辑的推理理论本章重点内容:命题与联结词、公式与解释、(主)析取范式与(主)合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法。
2、理解公式与赋值的概念;掌握求给定公式真值表的方法,用基本等值式化简其它公式,公式在解释下的真值。
3、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法。
4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。
5、掌握命题逻辑的推理理论。
[疑难解析]1、公式类型的判定判定公式的类型,包括判定公式是重言的、矛盾的或是可满足的。
具体方法有两种,一是真值表法,二是等值演算法。
2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等值式中的分配律、同一律和互补律(排中律、矛盾律),结果的前一步适当使用幂等律,使相同的短语(或子句)只保留一个。
3、逻辑推理掌握逻辑推理时,要理解并掌握12个(除第10,11)推理规则和3种证明法(直接证明法、附加前提证明法和归谬法)。
例1.试求下列公式的主析取范式:(1)))()((P Q Q P P ⌝∨⌝⌝∧→→;(2))))((R Q Q P P →⌝∨→⌝∨())()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解 Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨)2.用真值表判断下列公式是恒真?恒假?可满足?(1)(P ∧⌝P )↔Q(2)⌝(P →Q )∧Q(3)((P →Q )∧(Q →R ))→(P →R )解:(1) 真值表因此公式(1)为可满足。
离散数学期末复习要点与重点

离散数学期末复习要点与重点离散数学计算机科学与技术专业的一门统设必修学位课程,共60学时,开设一学期.该课程的主要内容包括:数理逻辑、集合论、图论等.第1章 命题逻辑复习要点1.理解命题概念,会判别语句是不是命题.理解五个联结词:否定⌝P 、析取∨、合取∧、条件→、和双条件↔及其真值表,会将简单命题符号化.具有确定真假意义的陈述句称为命题.命题必须具备:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2.了解公式的概念(公式、赋值、成真赋值和成假赋值)和公式真值表的构造方法.能熟练地作公式真值表.理解永真式和永假式概念,掌握其判别方法.判定命题公式类型的方法:其一是真值表法,其二是等值演算法.3.了解公式等价概念,掌握公式的重要等价式和判断两个公式是否等价的有效方法:等值演算法、列真值表法和主范式方法.4.理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念以及和成真赋值、成假赋值的关系,熟练掌握它们的求法.命题公式的范式不惟一,但主范式是惟一的.5.了解C 是前提集合{A 1,A 2,…,A m }的有效结论或由A 1, A 2, …, A m 逻辑地推出C 的概念.要理解并掌握推理理论的规则、重言蕴含式和等价式,掌握命题公式的证明方法:真值表法、直接证法、间接证法.重点:命题与联结词,公式与解释,真值表,公式的类型及判定,主析取(合取)范式,命题演算的推理理论.第2章 谓词逻辑复习要点1.理解谓词、量词、个体词、个体域,会将简单命题符号化.原子命题分成个体词和谓词,个体词可以是具体事物或抽象的概念,分个体常项和个体变项.谓词用来刻划个体词的性质或之间的关系.量词分全称量词∀,存在量词∃.命题符号化注意:使用全称量词∀,特性谓词后用→;使用存在量词∃,特性谓词后用∧.2.了解原子公式、谓词公式、变元(约束变元和自由变元)与辖域等概念.掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法.由原子公式、联结词和量词构成谓词公式.谓词公式具有真值时,才是命题.在谓词公式∀xA 或∃xA 中,x 是指导变元,A 是量词的辖域.会区分约束变元和自由变元.在非空集合D (个体域)上谓词公式A 的一个解释或赋值有3个条件.在任何解释下,谓词公式A 取真值1,A 为逻辑有效式(永真式);公式A 取真值0,A 为永假式;至少有一个解释使公式A 取真值1,A 称为可满足式.会求谓词公式的真值,量词的辖域,自由变元、约束变元,以及换名规则、代入规则等. 掌握谓词演算的等值式和重言蕴含式.并进行谓词公式的等价演算.3.了解前束范式的概念,会求公式的前束范式的方法.若一个谓词公式F 等价地转化成 B x Q x Q x Q k k ...2211,那么B x Q x Q x Q k k ...2211就是F 的前束范式,其中Q 1,Q 2,…,Q k 只能是∀或∃,而x 1, x 2, …, x k 是个体变元,B 是不含量词的谓词公式.前束范式仍然是谓词公式.重点:谓词与量词,公式与解释,谓词演算.第3章 集合及其运算复习要点1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.具有确定的,可以区分的若干事物的全体称为集合,其中的事物叫元素..集合的表示方法:列举法和描述法.注意:集合的表示中元素不能重复出现,集合中的元素无顺序之分.掌握集合包含(子集)、真子集、集合相等等概念.注意:元素与集合,集合与子集,子集与幂集,∈与⊂(⊆),空集∅与所有集合等的关系. 空集∅,是惟一的,它是任何集合的子集. 集合A 的幂集P (A )=}{A x x ⊆, 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章 关系与函数复习要点1.了解有序对和笛卡儿积的概念,掌握笛卡儿积的运算.有序对就是有顺序二元组,如<x , y >,x , y 的位置是确定的,不能随意放置.注意:有序对<a ,b >≠<b , a >,以a , b 为元素的集合{a , b }={b , a };有序对<a , a >有意义,而集合{a , a }是单元素集合,应记作{a }.集合A ,B 的笛卡儿积A ×B 是一个集合,规定A ×B ={<x ,y >∣x ∈A ,y ∈B },是有序对的集合.笛卡儿积也可以多个集合合成,A 1×A 2×…×A n .2.理解关系的概念:二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图,掌握关系的集合运算和求复合关系、逆关系的方法.二元关系是一个有序对集合,},{B y A x y x R ∈∧∈><=,记作xRy .空关系∅是唯一、是任何关系的子集的关系;全关系},,{A b a b a E A ∈><=A A ⨯≡;恒等关系},{A a a a I A ∈><=,恒等关系的矩阵M I 是单位矩阵.关系的集合运算有并、交、补、差和对称差.复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><=•=;复合关系矩阵:21R R R M M M ⨯=(按布尔运算);有结合律:(R •S )•T =R •(S •T ),一般不可交换.逆关系},,{1R y x x y R >∈<><=-;逆关系矩阵满足:T R R M M =-1;复合关系与逆关系存在:(R •S )-1=S -1•R -1.3.理解关系的性质(自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示),掌握其判别方法(利用定义、矩阵或图,充分条件),知道关系闭包的定义和求法.注:(1)关系性质的充分必要条件:① R 是自反的⇔I A ⊆R ;②R 是反自反的⇔I A ⋂R =∅;③R 是对称的 ⇔R =R -1;④R 是反对称的⇔R ⋂R -1⊆I A ;⑤R 是传递的⇔R •R ⊆R .(2)I A 具有自反性,对称性、反对称性和传递性.E A 具有自反性,对称性和传递性.故I A ,E A 是等价关系.∅具有反自反性、对称性、反对称性和传递性.I A 也是偏序关系.4.理解等价关系和偏序关系概念,理解集合上等价关系与划分一一对应的关系、掌握划分的求法和做偏序集哈斯图的方法.知道极大(小)元,最大(小)元的概念,会求极大(小)元、最大(小)元、上界和下界、最小上界和最大下界.等价关系和偏序关系是具有不同性质的两个关系.⎩⎨⎧==+⎭⎬⎫⎩⎨⎧+偏序关系等价关系传递性反对称性对称性自反性 知道等价关系图的特点和等价类定义,会求等价类.一个子集的极大(小)元可以有多个,而最大(小)元若有,则惟一.且极元、最元只在该子集内;而上界与下界可以在子集之外.由哈斯图便于确定任一子集的最大(小)元,极大(小)元.5.理解函数概念:函数(映射),函数相等,复合函数和反函数。
南京邮电大学《离散数学》考试复习重点精讲

典型例题1-1
设P表示命题“天下雪”,Q表示命题“我将去镇上”, R表示命题“我有时间”。 以符号形式写出下列命题: a ) 如果天不下雪和我有时间,那么我将去镇上。 b) 我将去镇上,仅当我有时间。
解:(a ) (P R ) Q (b) (1)"仅当"表示必要条件,有:Q R (2)"当"表示充分条件,有:R Q (3)"当且仅当"表示充要条件,有:R Q (本题正确答案)
典型例题1-2
求公式(P∨Q)∧(Q∨R)的主析取范式
解:法一:(P∨Q)∧(Q∨R) =(P∧Q)∨(P∧R) ∨(Q∧Q ) ∨(Q∧R) =(P∧Q∧(R∨R)) ∨(P∧(Q∨Q)∧R)∨((P∨P) ∧Q∧R) =(P∧Q∧R) ∨(P∧Q∧R) ∨(P∧Q∧R) ∨(P∧Q∧R)
《离散数学》考试复习指南
南京邮电大学 计算机学院
《离散数学》课程组
考试题型
1、填空题( 10空,20分) 2、判断题(10小题,20分)
3、简答题(5小题,40分)
4、证明题(2小题,20分)
第一章 命题逻辑
命题的概念、命题的表示法 五个基本联结词的含义 命题公式与命题翻译。
命题公式的真值表(万能的真值表!)
第二章 谓词逻辑
谓词的概念与表示 量词的含义 谓词公式与翻译
判断谓词公式的真值
谓词演算的等价式与蕴含式证明
谓词演算的推理
典型例题2-1
他就不喜欢乘汽车;每一个人或者喜欢乘汽车或者喜欢骑 自行车;有的人不爱骑自行车。因而有的人不爱步行。 (请假设 P(x): x喜欢步行, Q(x): x喜欢乘汽车,R(x): x
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学期末复习指导(专科)中央电工部计算机教研室离散数学是中央电大计算机应用专业信息管理方向开设的必修统设课。
该课程使用新的教学大纲,在原有离散数学课程的基础上削减了教学容(主要是群与环、格与布尔代数这两章及图论的后三节容),使所学的知识达到必需、够用,更加适合大学专科层次的教育。
目前该课程没有新教材,借用原教材。
使用的教材为中央电大出版的《离散数学》(叙华等编)和《离散数学学习指导书》(虞恩蔚等编)。
离散数学主要研究离散量结构及相互关系,使学生得到良好的数学训练,提高学生抽象思维和逻辑推理能力,为从事计算机的应用提供必要的描述工具和理论基础。
其先修课程为:高等数学、线性代数;后续课程为:数据结构、数据库、操作系统、计算机网络等。
课程的主要容本课程分为三部分:集合论、数理逻辑和图论。
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 证明中的特殊作用。
证明:()()()()()()()()()()()()()()()()()()B A B A B A B A B B B A A B A A B B A A B A B A B A ~~~~~~~~~~~~~⋂⋃⋂=Φ⋃⋂⋃⋂⋃Φ=⋂⋃⋂⋃⋂⋃⋂=⋂⋃⋃⋂⋃=⋃⋂⋃第二章 关系与映射例1,设集合A={1,2,3,4,5},试求A 上的模2同余关系R 的关系矩阵和关系图。
[解析]关系的概念是第二章的基础,又是第一章集合概念的应用。
因此应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示。
这道题要把R 表示出来,先要清楚“模2同余关系”的概念,如果x ,y 模2同余,就是指x ,y 除以2的余数相同。
于是,R={(1,1),(1,3),(1,5),(2,2),(2,4),(3,1),(3,3),(3,5),(4,2),(4,4),(5,1),(5,3),(5,5)}求出了关系R 的表达式,就可以进一步求出关系矩阵和关系图了。
答:R 的关系矩阵为:⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛=1010101010101010101010101R MR 的关系图为:例2,设集合A={1,2,3,⋯,10},A 上的关系R={(x ,y )|x ,y ∈A ,且x+y=10},试判断R 具有哪几种性质? [解析]关系的性质既是对关系概念的加深理解与掌握,又是关系的闭包、等价关系、半序关系的基础。
对于四种性质(自反性、对称性、反对称性、传递性)的判定,可以依据其定义,也可以依据教材中49页上总结的关于关系矩阵和关系图的规律。
对于传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性。
如空关系具有传递性,同时空关系具有对称性与反对称性,但是不具有自反性。
另一点是介绍一种判定传递性的“跟踪法”,即若(a 1,a 2)∈R ,(a 2,a 3)∈R ,⋯,(a i-1,a i )∈R ,则(a 1,a i )∈R ;如若(a ,b )∈R ,(b ,a )∈R ,则有(a ,a )∈R ,且(b ,b )∈R 。
先写出R 的关系式,R={(1,9),(2,8),(3,7),(4,6),(5,5),(6,4),(7,3),(8,2),(9,1)},并在此基础上判断R 是否具有四种关系的性质。
答:R 只具有关系的对称性。
例3,设集合{}d c b a A ,,,=,判定下列关系,哪些是自反的,对称的,反对称的和传递的:()(){}()()(){}(){}()()(){}()(){}d b c a R c c b b a a R d c R a d c b a a R a b a a R ,,,,,,,,,,,,,,,,,54321=====解:均不是自反的;R 4是对称的;R 1,R 2,R 3,R 4,R 5是反对称的;R 1,R 2,R 3,R 4,R 5是传递的。
例4,设集合A={a ,b ,c ,d},R 1,R 2都是A 上的二元关系,R 1={(a ,b ),(b ,c ),(c ,a )},R 2=∅,试求R 1和R 2的自反闭包,对称闭包和传递闭包。
[解析]在理解掌握关系闭包概念的基础上,主要掌握闭包的求法。
关键是熟记三个定理的结论:定理2,自反闭包()A I R R r ⋃=;定理3,对称闭包()1-⋃=R R R s ;定理4的推论,传递闭包() ni iRR t 1==。
答:r (R 1)= R 1⋃I A ={(a ,b ),(b ,c ),(c ,a ),(a ,a ),(b ,b ),(c ,c )} s (R 1)= R 1⋃ R 1-1 ={(a ,b ),(b ,c ),(c ,a ),(b ,a ),(c ,b ),(a ,c )} R 12 ={(a ,c ),(b ,a ),(c ,b )}R 13 ={(a ,a ),(b ,b ),(c ,c )} t (R 1)= R 1⋃ R 12⋃ R 13 ={(a ,b ),(b ,c ),(c ,a ),(a ,c ),(b ,a ),(c ,b ),(a ,a ),(b ,b ),(c ,c )}空关系R 2的自反闭包,对称闭包和传递闭包均为∅。
例5,设集合{}5,4,3,2,1=A ,A 上的二元关系R 为: ()()()()()()()(){}5,5,4,5,3,5,4,4,4,3,3,3,2,2,1,1=R (1)写出R 的关系矩阵,画出R 的关系图;(2)证明R 是A 上的半序关系,画出其哈斯图;(3)若A B ⊆,且{}5,4,3,2=B ,求B 的最大元,最小元,极大元,极小元,最小上界和最大下界。
[解析]理解与掌握半序关系与半序集概念的关键是哈斯图。
哈斯图画法掌握了,对于确定任一子集的最大(小)元,极大(小)元也就容易了。
这里要注意,最大(小)元与极大(小)元只能在子集确定,而上界与下界可在子集之外的全集中确定,最小上界为所有上界中最小者,最小上界再小也不小于子集中的任一元素,可以与某一元素相等,最大下界也同样。
解:(1)R 的关系矩阵为⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛=1110001000011000001000001R M R 的关系图为(2)因为R 是自反的,反对称的和传递的,所以R 是A 上的半序关系。
(A ,R )为半序集,(A ,R )的哈斯图如下:(3)当B={2,3,4,5},B 的极大元为2,4;极小元为2,5;B 无最大元与最小元;B 也无上界与下界,更无最小上界与最大下界。
例6,下列映射中哪些是满射,哪些是单射,哪些是双射?4• 13• 25(1)⎩⎨⎧=→是偶数是奇数n n n N N 21)(,:11σσ(2)⎩⎨⎧=→是偶数是奇数,n n n N 01)(},10{:22σσ(3)1|2|)(,:33+=→a a N Z σσ (4)62)(,:44+=→a a R R σσ[解析]映射的概念与映射种类的判定:映射的种类主要指单射、满射、双射与非单非满射。
判定的方法除定义外,可借助于关系图,而实数集的子集上的映射也可以利用直角坐标系表示进行,尤其是对各种初等函数。
答:(1),(3)是非单非满射;(2)是满射;(4)是双射。
第三章 命题逻辑 例1,试证明公式()()()()R P R Q Q P G →→→∧→=为恒真公式。
[解析]判定公式的恒真性,包括判定公式是恒真的或是恒假的。