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

合集下载

离散数学复习提纲

离散数学复习提纲

《离散数学》期末复习一、期末考试题型试题类型及分数分别为单项选择题和填空题各有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离散数学期末复习指导

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.理解函数概念:函数(映射),函数相等,复合函数和反函数。

南京邮电大学《离散数学》考试复习重点精讲

南京邮电大学《离散数学》考试复习重点精讲
重言式与蕴含式的证明 主析取范式/主合取范式 命题公式的推理(真值表法、直接证法、间 接证法(反证法+CP规则))
典型例题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

《离散数学》期末复习

《离散数学》期末复习

《离散数学》期末复习《离散数学》期末复习内容:第一章~第七章题型:一、选择题(20%,每题2分)二.填空题(20%,每题2分)三、计算题(20%,每题5分)四、证明题(20%,每题5分)五、判断题(20%,每题2分)第1章数学语言与证明方法1.1 常用的数学符号1.计算常用的数学符号式子1.2 集合及其表示法1.用列举法和描述法表示集合2.判断元素与集合的关系(属于和不属于)3.判断集合之间的包含与相等关系,空集(E),全集(?)4.计算集合的幂集5.求集合的运算:并、交、相对补、对称差、绝对补6.用文氏图表示集合的运算7.证明集合包含或相等方法一:根据定义, 通过逻辑等值演算证明方法二:利用已知集合等式或包含式, 通过集合演算证明1.3 证明方法概述1、用如下各式方法对命题进行证明。

直接证明法:A→B为真间接证明法:“A→B为真” ?“ ?B→ ?A为真”归谬法(反证法):A∧?B→0为真穷举法:A1→B, A2→B,…, A k→B 均为真构造证明法:在A为真的条件下, 构造出具有这种性质的客体B ?空证明法:“A恒为假” ?“A→B为真”平凡证明法:“B恒为真” ?“A→B为真”数学归纳法:第2章命题逻辑2.1 命题逻辑基本概念1、判断句子是否为命题、将命题符号化、求命题的真值(0或1)。

命题的定义和联结词(?, ∧, ∨, →, ?)2、判断命题公式的类型赋值或解释.成真赋值,成假赋值;重言式(永真式)、矛盾式(永假式)、可满足式:。

2.2 命题逻辑等值演算1、用真值表判断两个命题公式是否等值2、用等值演算证明两个命题公式是否等值3、证明联结词集合是否为联结词完备集2.3 范式1、求命题公式的析取范式与合取范式2、求命题公式的主析取范式与主合取范式(两种主范式的转换)3、应用主析取范式分析和解决实际问题2.4 命题逻辑推理理论1、用直接法、附加前提、归谬法、归结证明法等推理规则证明推理有效第3章一阶逻辑3.1 一阶逻辑基本概念1、用谓词公式符号命题(正确使用量词)2、求谓词公式的真值、判断谓词公式的类型3.2 一阶逻辑等值演算1、证明谓词公式的等值式2、求谓词公式的前束范式第4章关系4.1 关系的定义及其表示1、计算有序对、笛卡儿积2、计算给定关系的集合3、用关系图和关系矩阵表示关系4.2 关系的运算1、计算关系的定义域、关系的值域2、计算关系的逆关系、复合关系和幂关系3、证明关系运算满足的式子4.3 关系的性质1、判断关系是否为自反、反自反、对称、反对称、传递的2、判断关系运算与性质的关系3、计算关系自反闭包、对称闭包和传递闭包4.4 等价关系与偏序关系1、判断关系是否为等价关系2、计算等价关系的等价类和商集3、计算集合的划分4、判断关系是否为偏序关系5、画出偏序集的哈期图6、求偏序集的最大元、最小元、极小元、极大元、上界、下界、上确界、下确界7、求偏序集的拓扑排序第5章函数1.判断关系是否为函数2.求函数的像和完全原像3.判断函数是否为满射、单射、双射4.构建集合之间的双射函数5.求复合函数6.判断函数的满射、单射、双射的性质与函数复合运算之间的关系7.判断函数的反函数是否存在,若存在求反函数第6章图1.指出无向图的阶数、边数、各顶点的度数、最大度、最小度2.指出有向图的阶数、边数、各顶点的出度和入度、最大出度、最大入度、最小出度最小入出度3.根据握手定理顶点数、边数等4.指出图的平行边、环、弧立点、悬挂顶点和悬挂边5.判断给定的度数列能否构成无向图6.判断图是否为简单图、完全图、正则图、圈图、轮图、方体图7.求给定图的补图、生成子图、导出子图8.判断两个图是否同构6.2 图的连通性1.求图中给定顶点通路、回路的距离2.计算无向图的连通度、点割集、割点、边割集、割边3.判断有向图的类型:强连通图、单向连通图、弱连通图6.3 图的矩阵表示1.计算无向图的关联矩阵2.计算有向无环图的关联矩阵3.计算有向图的邻接矩阵4.计算有向图的可达矩阵5.计算图的给定长度的通路数、回路数6.4 几种特殊的图1、判断无向图是否为二部图、欧拉图、哈密顿图第7章树及其应用7.1 无向树1.判断一个无向图是否为树2.计算无向树的树叶、树枝、顶点数、顶点度数之间的关系3.给定无向树的度数列,画出非同构的无向树4.求生成树对应的基本回路系统和基本割集系统5.求最小生成树7.2 根树及其应用1.判断一个有向图是否为根树2.求根树的树根、树叶、内点、树高3.求最优树4.判断一个符号串集合是否为前缀码5.求最佳前缀码6.用三种方法遍历根树。

离散数学期末复习要点与重点

离散数学期末复习要点与重点

离散数学期末复习要点与重点离散数学是计算机科学及其他相关学科中的一门重要的基础课程。

它主要研究离散的结构和对象,以及它们之间的关系和性质。

离散数学的核心内容包括集合论、关系、图论、布尔代数和逻辑等。

下面是离散数学期末复习的要点与重点。

一、集合论1.集合的基本概念,包括元素、子集、幂集、集合的运算等。

2.集合的性质,如交换律、结合律、分配律等。

3.集合的表示方法,包括列举法、描述法、特征函数法等。

4.集合的运算,如并、交、差、对称差等。

5.集合的关系,包括子集关系、相等关系、真子集关系等。

二、关系1.关系的基本概念,包括序偶、笛卡尔积、关系的定义等。

2.关系的性质,如自反性、对称性、传递性等。

3.关系的表示方法,包括关系矩阵、关系图、关系表等。

4.关系的运算,如复合、逆、幂等等。

5.等价关系和偏序关系的特性和性质。

6.关系的闭包,包括自反闭包、对称闭包、传递闭包等。

三、图论1.图的基本概念,包括顶点、边、路径、环等。

2.不同类型的图,包括无向图、有向图、简单图、多重图等。

3.图的表示方法,包括邻接矩阵、邻接表等。

4.图的遍历算法,包括深度优先(DFS)和广度优先(BFS)。

5. 最小生成树算法,包括Prim算法和Kruskal算法。

6. 最短路径算法,包括Dijkstra算法和Floyd-Warshall算法。

四、布尔代数1.布尔代数的基本运算,包括与、或、非等。

2.布尔函数的最小项和最大项表示方法。

3.布尔函数的化简,包括代数化简和卡诺图化简。

4.布尔函数的特性,包括恒等律、零律、单位律等。

5.布尔函数的逻辑门电路实现,包括与门、或门、非门等。

五、逻辑1.命题逻辑的基本概念,包括命题、命题变量、逻辑联结词等。

2.命题逻辑的语法,包括命题公式的形式化定义和语法规则。

3.命题逻辑的证明方法,包括直接证明、间接证明、反证法等。

4.谓词逻辑的基本概念,包括谓词、量词、合取范式等。

5.谓词逻辑的语义,包括赋值、满足关系等。

离散数学期末复习大纲

离散数学期末复习大纲

代数系统的定义
由非空集合及定义在该集 合上的一组运算构成的数 学结构。
代数系统的性质
封闭性、结合律、交换律、 分配律、吸收律等。
同态与同构
保持运算的映射关系,探 讨不同代数系统之间的结 构与性质相似性。
群、环、域等代数结构介绍
STEP 02
STEP 03
域的定义及性质
每个非零元素都有乘法逆 元的交换环,具有更丰富 的数学性质。
集合间关系与运算
集合间的关系
子集、真子集、相等集合等概念及其性质。
集合的运算
并集、交集、差集、补集等运算的定义、性 质及计算方法。
集合运算的优先级
括号>补集>交集>并集,在运算中应注意运 算优先级。
笛卡尔积与幂集
01
笛卡尔积的定义
设A和B为任意两个集合,则所有 有序对(a,b)的集合,其中a∈A, b∈B,称为A和B的笛卡尔积, 记作A×B。
形式语言与自动机
运用代数方法研究形式语言的语 法和语义,以及自动机的结构和 性质。
自动机理论
将计算过程抽象为状态转移的过 程,利用代数系统描述和分析自 动机的行为。
Part
07
总结与展望
关键知识点回顾与总结
命题逻辑
谓词逻辑
ቤተ መጻሕፍቲ ባይዱ
集合论
图论
代数系统
掌握命题、联结词、真 值表、逻辑等价、范式 等基本概念和性质,能 够运用推理规则进行逻 辑推理和证明。
Part
04
逻辑初步
命题逻辑基本概念及公式化简方法
命题逻辑基本概念
命题、联结词、真值表、命题公式、重言式、矛盾式 等。
公式化简方法
利用逻辑等价公式进行化简,如德摩根定律、分配律 等。

离散数学辅导大纲

离散数学辅导大纲

离散数学期末复习提纲一、基本概念:1.数理逻辑中使用哪8条推理规则?其中哪几条规则的使用是有条件限制的?2.把实际问题符号化时,全称量词对应哪个逻辑连接词?存在量词对应哪个逻辑连接词?3.一个谓词公式一经量化就是一个确定的命题,假设个体域为S={1,2,3,⋯}如何确定(∀x)A(x)和(∃x)A(x)的真值?4.何为极小项(极大项)?极小项(极大项)一定是基本积(基本和)吗?5.何为判定问题?解决判定问题的途径是什麽?6.对偶式和对偶原理相同吗?7.一个谓词公式的前束范式具有什麽样的结构?8.⎨⌝,∧,∨⎬是最小功能完备集吗?为什麽?9.设A和B为任意两个集合,A⨯B一定是二元关系吗?10.一个关系可能具有哪些性质?每种性质的形式化描述如何?11.如何从一个关系的关系矩阵来判断其性质?在关系上可以进行哪些运算?12.R*和R+的意义各是什麽?13.我们都介绍了哪些特种关系?它们的形式化定义是什麽?14.划分和什麽关系相对应?覆盖和什麽关系相对应?15.盖复和覆盖是同一个概念吗?什麽关系使用哈斯图?画哈斯图时用到什麽概念?16.极大员、极小员、最大员、最小员和上界、下界、上确界、下确界定义的根本区别在哪里?17.是关系一定是函数,是函数一定是关系这两句话哪一句是正确的?18.一个关系若存在,则其逆关系一定存在;一个函数若存在,则其反函数一定存在这两句话哪一句是正确?19.我们介绍了哪些特种函数?20.当一个函数满足什麽条件时,就是运算?一个零元运算又叫集合X中的特异元素,我们介绍了哪些特异元素?21.两个无限集通过什麽方法比较大小?22.何为两个代数系统的同态,同构?23.何为同余关系?一个同余关系会造成一个集合的商集,一个商集一定是原集合的覆盖吗?24.何为群?寻找子群的Laglangre定理?25.何为格?何为布尔代数?一个元素的补元唯一吗?如果存在一个元素没有补元,还能构成格吗?26.何为图(指图的抽象数学定义)?图的度?d度正则图指的是有向图还是无向图?何为路径?从V i到Vj可达,从Vj到V i一定可达吗?强连通,单向连通,弱连通是指有向图还是指无向图而言?何为一个结点的可达集?设图的邻接矩阵为A,A中行上1的个数,列上1的个数各代表什麽含义?A²和A'²'中的元素含义各是什麽?何为欧拉图?何为哈密顿图?是哈密顿路一定是欧拉路,是欧拉路一定是哈密顿路,这两句话哪一句正确?二元树和二叉树的概念相同吗?什麽是叶加权最优二叉树?公式∑W(V)∙L(v)中各参数的含义是什麽?v∈V27.遍历二叉树有几种方法?二.能够熟练解决以下问题:1.命题逻辑中通过求主范式进行判定的问题。

离散数学复习要点

离散数学复习要点

《离散数学》复习大纲本说明包括以下部分:考核说明及实施要求考核内容和要求第一部分集合论第二部分数理逻辑第三部分图论第四部分代数结构第一部分集合论(集合和二元关系)一、集合[考核知识点]集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan律等),文氏(Venn)图序偶与迪卡尔积[考核要求]理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。

掌握集合的表示法和集合的交、并、差、补等基本运算。

掌握集合运算基本规律,证明集合等式的方法。

了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。

二、二元关系[考核知识点]关系、关系矩阵与关系图复合关系与逆关系关系的性质(自反性、对称性、反对称性、传递性)关系的闭包(自反闭包、对称闭包、传递闭包)等价关系与等价类[考核要求]理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。

掌握求复合关系与逆关系的方法。

理解关系的性质(自反性、对称性、反对称性、传递性),掌握其判别方法(定义、矩阵、图) 掌握求关系的闭包 (自反闭包、对称闭包、传递闭包)的方法。

理解等价关系的概念,掌握等价类的求法。

理解单射、满射、双射等概念,掌握其判别方法。

三、 典型题第一章 集合1. 设A=∅, B={∅,a,{a}},求P(A)和P(B).2. 设A={1,2,3,4} , B={a,b,c}, 求A ⨯B 和B ⨯A.3. P21: 84. P22: 125.证明:B A B A =-6.思考题 P29: 15, 16第二章 关系1. 设A={1,2,3,4},A 上的关系R={(1,1), (1,2), (1,3), (1,4), (2,2), (2,4),(3,4)}, S=={(2,1), (1,2), (2,3), (1,4), (2,2), (2,4),(4,4)}, 求(1) R 和S 的关系图和关系矩阵(2) R-S(3) S R 1-(4) S R ⊕(5) A 上的恒等关系I A2. 设A={a ,b ,c },R 是A 上的关系R={(a,a),(a,c),(c,b)}, 求 ∞=1n n R3. 设R 是A 上的关系,请叙述R 具有自反性,反自反性,对称性,反对称性和传递性的含义4. 设A={1,2,3,4,5},A 上的关系R={(a,b)|a-b 是偶数},求R ,判断R 具有的性质。

离散数学期末复习

离散数学期末复习

离散数学期末复习离散数学期末复习第⼀部分数理逻辑⼀、知识体系包括命题逻辑(第⼀章~第三章)和谓词逻辑(第四章、第五章),主要内容如下:(⼀) 命题逻辑1.命题、命题联结词、命题如何符号化2.命题变元、命题公式、命题公式的真值指派3.永真公式、永假公式和可满⾜公式判别⽅法:(1)真值表⽅法(2)等值演算⽅法A?)的含义及其判别4.两命题公式等值(B判别⽅法:A?是否永真(1)⽤真值表判别B(2)命题的等值演算A?)的含义及其判别5.公式A蕴含公式B(B判别⽅法:A→是否永真(1)⽤真值表判别BA→是否等值于1(2)⽤“等值演算”的⽅法判B(3)假设前件A为真,证明后件B为真(4)假设后件B为假,证明前件A为假6.范式的求取7.推理的形式证明⽅法(P规则、T规则、CP规则、基本等值式、基本蕴含式)(⼆) 第⼆章谓词逻辑1.基本述语个体、谓词、量词;命题函数,个体域,全总个体域,特性谓词。

2.谓词公式的有关概念谓词公式;量词的辖域,约束变元,⾃由变元;谓词公式,谓词公式的指派;永真公式,永假公式,可满⾜公式。

3.谓词公式间的关系谓词公式间的等值关系(A?B);谓词公式间的蕴含关系(A?B);⼀些基本的等值式;⼀些基本的蕴含式。

4.谓词演算的推理规则及⽅法在谓词演算中,命题演算的推理理论仍然成⽴,另外还⽤到与量词有关的推理规则。

全称特定化规则(US);存在特定化规则(ES);全称⼀般化规则(UG);存在⼀般化规则(EG)。

主要内容的知识结构如下:⼆、模拟题 1.⽤P 表⽰:天下⼤⾬;Q 表⽰:他乘公共汽车上班。

将“如果天下⼤⾬,他就乘公共汽车上班。

”符号化正确的是()。

A .P →QB .Q →PC .P ∧QD .P ∨Q2.下列语句中,不是命题的有()。

A .5能被2整除。

B .太阳系以外的星球上有⽣物。

C .现在开会吗?D .⼩李在宿舍⾥。

3.下列语句为命题的是()。

A.暮春三⽉,江南草长。

B.这是多么可爱的风景啊!C.⼤家想做什么,就做什么,⾏吗?D.请勿践踏草坪!4.设C (x ): x 是国家级运动员,G (x ): x 是健壮的,则命题“没有⼀个国家级运动员不是健壮的”可符号化为 ( )A .))()((x G x C x ?∧??B .))()((x G xC x ?→??C .))()((x G x C x ?→??D .))()((x G x C x ?∧??5.求命题公式)()(Q P Q P ?∨?∧∧的真值表6.证明下列各式:1))()()),()((a Q x xp a Q x p x ∧??2)Q R P Q R Q P →∨?→∧→)()()(7.⽤形式演绎法证明:1)Q S ?→是Q P ?∨?,R P →?,S R ?→的有效结论。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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 →→→∧→=为恒真公式。

[解析]判定公式的恒真性,包括判定公式是恒真的或是恒假的。

相关文档
最新文档