离散数学复习资料

合集下载

离散数学复习资料

离散数学复习资料

离散数学复习题一、填空题 1.设P :我生病,Q :我去学校,命题“只有在生病的时候,我才不去学校”可符合化为 。

命题“我虽然生病但我仍去学校”符号化为 。

2.令F (x ):x 是汽车,G (y ):y 是火车,H (x ,y ):x 比y 快。

则命题“不存在比所有火车都快的汽车”符号化形式为_________________。

3.设个体域A ={a ,b },公式)()(x Q x P x x ∃∧∀在A 中消去量词后应为 。

4.命题公式)(Q P Q ∨→的公式类型为 。

5.谓词公式)())()((x Q y R x P y x →∃∨∀中量词x ∀的作用域为 。

6.设A ={1,2,3,4},B ={2,4,6},则A -B =________,A ⊕B =________。

7.由n 个命题变元组成不等值的命题公式的个数为 。

8.设集合}4,3,2,1{=A ,)}3,2,1,1,3,3,2,1{><><><><=R 为A 上的一个关系,则R 的关系矩阵是=R M ,逆关系 =-1R ,=2R , R 的自反闭包是 R 的对称闭包是 。

9. 从集合},,{c b a X =到集合}{s Y =可确定 种不同的关系。

10. 设R 是集合}10,...,2,1{=A 上的模7同余关系,则[2]R = 。

11. 集合A ={a ,b ,c }上的关系},,,,,,,,,{><><><><><=c c b b a b b a a a R 满足 性质。

12. 关系R 是对称的,当且仅当关系矩阵 , 关系图 。

13. 集合}3,2,1{=A ,A 上的一个划分 }}3{},2,1{{=π所对应的等价关系为 。

14.设集合A =4,6,8,10} {2,B 9},1,3,4,6,8,{=则A -B =________________,A B -=___________________,B A ⊕=________________15.用P 表示命题“张老师来了” ,Q 表示命题“李老师来了” ,R 表示命题“王老师来了”,用符号表示命题“如果张老师和李老师都来,王老师就不来”,__________________,命题“如果张老师来了,王老师来不来就取决于李老师来不来了” 可表示为_________________16.命题 “人都是善的”的否命题是____________________;命题“数学好则计算机就好”的逆否命题是______________________________________17.设谓词J(x)表示x 是运动员,S(x)表示 x 是大学生,W(x)表示x 是女性.则命题“有的女性是运动员又是大学生”可表示为________________________;命题“所有运动员或不是大学生,或不是女性”可表示为_____________________________18.设集合A 有n 个元素,则A 的子集共有_________个, A 上的二元关系共有_________个。

离散数学综合复习资料

离散数学综合复习资料

离散数学综合复习资料一、判断题1.()命题联结词{⌝,∧,∨}是最小联结词组。

2.()(P∧Q)∧⌝P为矛盾式。

3.()((⌝P∨Q)∧(Q→R))→(P→R)为重言式。

4.()A、B、C是任意命题公式,如果A∨C⇔B∨C,一定有A⇔B。

5.()若集合A上的二元关系R是对称的,R C一定是对称的。

6.()R是A上的二元关系,R是自反的,当且仅当r(R)=R。

7.()集合A上的等价关系确定了A的一个划分。

8.()有理数集是可数的。

9.()若函数f,g为入射则其复合函数也为入射。

10.()R是集合A上的关系,R有传递性的充要条件是RoR⊆R。

11.()设<A,*>是一个代数系统,且集合A中元素的个数大于1。

如果该代数系统中存在幺元e和零元θ,则e≠θ。

12.()交换群必是循环群。

13.()一个群可以有多个等幂元。

14.()模格一定是分配格。

15.()每个有向图中,结点入度数总和等于结点出度总和。

16.()图G的邻接矩阵A,A l中的i行j列表示结点v i到v j长度为l路的数目。

17.()任何图中必有偶数个度数为奇数的结点。

18.()有向图中,它的每一个结点位于且只位于一个单侧分图中。

19.()任意平面图最多是四色的。

20.()不存在既有欧拉回路又有汉密尔顿回路的图。

二、填空题1.设P:“天下雨”,Q:“他骑自行车上班”,R:“他乘公共汽车上班”。

则命题“除非下雨,否则他就骑自行车上班”可符号化为。

“他或者骑自行车,或者乘公共汽车上班”可符号化为2.设N(x):x是自然数;J(x):x是奇数;Q(x):x是偶数,用谓词公式符号化命题“任何自然数不是偶数就是奇数”。

3.设P(x):x是运动员,Q(x):x是教练。

则命题“不是所有运动员都是教练”可符号化为。

4.设D={a,b};P(a,a)=P(b,b)=T;P(a,b)=P(b,a)=F。

则公式(∀x)(∃y)(P(x,y)→P(y,x))的真值是。

离散数学复习资料

离散数学复习资料

离散数学复习资料一、考试内容(1)考试内容以课堂上讲的内容为范围;(2)每次课后布置的作业。

二、各章节提要教学目的及要求:教学内容:命题及表示、联结词、命题公式与翻译、真值表与等价公式、重言式与蕴含式、对偶与范式、推理理论。

教学重点:命题逻辑中的基本概念和基本推理方法。

教学难点:推理理论小结:学习第一章要注意以下几点:(1)弄清命题与陈述句的关系。

(2)弄清由5种基本联结词联结的复合命题的逻辑关系及其真值。

特别是要弄清蕴含式”P→Q“的逻辑关系及其真值。

(3)记住常用的蕴含式和等价式,这是学好命题逻辑的关键问题。

(4)会准确地求出给定公式的主析取范式和主合取范式。

掌握主析取范式与真值表、成真赋值、主合取范式的关系。

(5)会用多种方法判断公式的类型及判断两个公式是否等价。

(6)会用等价变换法将一个联结词集中的公式等价地化为另一个联结词全功能集中的公式。

(7)掌握推理和判断推理是否正确的方法。

教学目的及要求:深刻理解和掌握谓词逻辑的基本概念和基本推理方法。

教学内容:谓词的概念与表示、命题函数与量词、谓词公式与翻译、变量的约束、谓词演算的等价式与蕴涵式、前束范式、谓词演算的推理理论。

教学重点:谓词逻辑中的基本概念和基本推理方法。

教学难点:谓词演算的推理理论。

小结:学习第二章要注意以下几点:(1)同一个命题在不同个体域内可能有不同的符号化形式,同时也可能有不同的真值,因而在将一个命题符号化之前,必须弄清个体域。

(2)在将命题符号化时,要特别注意量词与联结词的搭配。

经常的情况是全称量词∀与蕴含词→搭配,存在量词∃与合取词∧搭配。

因此有下面两种形式的公式:(∀x)(A(x) →B(x)) ①(∃x)(A(x) ∧ B(x)) ②而(∀x)(A(x) ∧ B(x)) ③(∃x)(A(x) → B(x)) ④③与①,④与②的含义完全不同。

(3)记住主要的等价式。

会用约束变元和自由变元换名规则进行等价演算,求出给定公式的前束范式。

离散数学复习资料 最新 优质资料

离散数学复习资料  最新 优质资料

离散数学复习资料第1章命题逻辑本章重点:命题与联结词,公式与解释,真值表,公式的类型及判定, (主)析取(合取)范式,命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。

命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2. 六个联结词及真值表“⌝”否定联结词,P是命题,⌝P是P的否命题,是由联结词⌝和命题P组成的复合命题.P取真值1,⌝P取真值0,P取真值0,⌝P 取真值1. 它是一元联结词.“∧”合取联结词,P∧Q是命题P,Q的合取式,是“∧”和P,Q组成的复合命题. “∧”在语句中相当于“不但…而且…”,“既…又…”. P∧Q取值1,当且仅当P,Q均取1;P∧Q取值为0,只有P,Q之一取0.“∨”析取联结词,“⎺∨”不可兼析取(异或)联结词, P∨Q 是命题P,Q的析取式,是“∨”和P,Q组成的复合命题. P⎺∨Q是联结词“⎺∨”和P,Q组成的复合命题. 联结词“∨”或“⎺∨”在一个语句中都表示“或”的含义,前者表示相容或,后者表示排斥或不相容的或. 即“P⎺∨Q”↔“(⌝P∧Q)∨(P∧⌝Q)”. P∨Q取值1,只要P,Q之一取值1,P∨Q取值0,只有P,Q都取值0.“→”蕴含联结词, P→Q是“→”和P,Q组成的复合命题,只有P取值为1,Q取值为0时,P→Q取值为0;其余各种情况,均有P→Q的真值为1,亦即1→0的真值为0,0→1,1→1,0→0的真值均为1. 在语句中,“如果P则Q”或“只有Q,才P,”表示为“P→Q”.“↔”等价联结词,P↔Q是P,Q的等价式,是“↔”和P,Q组成的复合命题. “↔”在语句中相当于“…当且仅当…”,P↔Q 取值1当且仅当P,Q真值相同.3. 命题公式、赋值与解释,命题公式的分类与判别命题公式与赋值,命题P含有n个命题变项P1,P2,…,P n,给P1,P2,…,P n各指定一个真值,称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1,则这组值为P的真指派;若使P的真值为0,则称这组值称为P的假指派.命题公式分类,在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;判定命题公式类型的方法:其一是真值表法,任给公式,列出该公式的真值表,若真值表的最后一列全为1,则该公式为永真式;若真值表的最后一列全为0,则该公式是永假式;若真值表的最后一列既非全1,又非全0,则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材P.16的十六个等值式或演算律),对给定公式进行等值推导,若该公式的真值为1,则该公式是永真式;若该公式的真。

离散数学复习知识点

离散数学复习知识点

复习知识点: 第1章1. 命题、真命题、假命题 2. 命题符号化〔连接词〕设P :天下大雨,Q :他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符合化为〔 D 〕A .Q P ∧⌝B .Q P →⌝C .Q P ⌝→⌝D .Q P ⌝→设P :只有你通过了大学英语六级考试,Q :你是英语专业的学生,R :你可以选修这门课程。

命题“只有你通过了大学英语六级考试而且不是英语专业的学生,才可以选修这门课程”( B )A .R Q)(P →∧B .R Q)(P →⌝∧C .R Q)(P ↔⌝∧D .R Q)(P ↔∧3. 什么是命题公式 4. 命题公式的等价式5. 利用逻辑等价关系证明下面的等价关系 Q P Q)(P P))(Q Q)((P ∨⇔∧→→∧→证明:6. 用真值表法求命题公式的主析取范式和主合取范式 7. 符号化以下语句,并推证结论的有效性。

有些学生相信所有的老师,任何一个学生都不相信骗子,所以老师都不是骗子。

解:设论述域为全总个体域,S(x):x 是学生,T(x):x 是老师,P(x):x 是骗子,L(x,y):x 相信y 。

将前提和结论符号化为P(x))x(T(x)y)))L(x,y(P(y)x(S (x)y))),L(x,y(T(y)x(S (x)⌝→∀⇒⌝→∀→∀→∀∧∃〔1〕y)))L(x,y(T(y)x(S (x)→∀∧∃ P 〔2〕y))L(a,y(T(y)S (a)→∀∧T1,ESQ)(P TQ)(P Q)Q (Q)(P Q Q)(P T)(Q Q)(P P))P ((Q Q)(P Q)(P P)(Q Q)(P Q)(P P)Q (Q)P (Q)(P P))Q (Q)P ((Q)(P P)Q (Q)P (Q)(P P))(Q Q)((P ∨⇔∧∨⇔∨⌝∧∨⇔∨⌝∧⇔∧∨⌝∧⇔∨⌝∧∨⌝∧⇔∧∨⌝∧∨⌝∧⇔∧∨∨⌝⌝∨∨⌝⌝⇔∧∨∨⌝∧∨⌝⌝⇔∧→∨⌝∧∨⌝⇔∧→→∧→〔3〕S(a) T2,I 〔4〕y))L(a,y(T(y)→∀ T2,I 〔5〕b)L(a,T(b)→T4,US 〔6〕y)))L(x,y(P(y)x(S (x)⌝→∀→∀ P 〔7〕y))L(a,y(P(y)S (a)⌝→∀→ T6,US 〔8〕y))L(a,y(P(y)⌝→∀ T3,7,I 〔9〕b)L(a,P(b)⌝→ T8,US 〔10〕P(b)b)L(a,⌝→ T9,E 〔11〕P(b)T(b)⌝→T5,10,I 〔12〕P(x))x(T(x)⌝→∀T11,UG侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后,得到以下事实: (1) 是营业员甲或营业员乙作案。

离散数学复习资料

离散数学复习资料

离散数学复习资料离散数学是计算机科学与数学领域中的重要学科,它研究的是离散的数学结构和离散的数学对象。

在计算机科学领域,离散数学是构建算法和设计计算机系统的基础。

为了更好地复习离散数学,我们可以从以下几个方面入手。

一、集合论集合论是离散数学的基础,它研究的是集合及其运算。

在集合论中,我们需要了解集合的定义、基本运算和集合间的关系。

此外,还需要掌握集合的代数运算法则,如交、并、差和补集等。

复习时可以通过解题来加深理解,例如证明集合之间的等价关系、集合的幂集等。

二、逻辑与命题逻辑是离散数学中的重要分支,它研究的是推理和论证的规则。

在逻辑中,命题是最基本的逻辑单位。

复习时需要了解命题的定义和常见的逻辑运算符,如非、与、或、异或等。

此外,还需要熟悉命题的真值表和命题之间的逻辑等价关系。

通过解题和推理,可以提高对逻辑的理解和应用能力。

三、图论图论是离散数学中的一个重要分支,它研究的是图及其性质。

在图论中,我们需要了解图的基本概念,如顶点、边、路径、环等。

此外,还需要熟悉图的表示方法,如邻接矩阵和邻接表。

复习时可以通过解题来加深对图的理解,例如求最短路径、判断图的连通性等。

四、代数系统代数系统是离散数学中的一个重要内容,它研究的是代数结构及其性质。

在代数系统中,我们需要了解群、环、域等代数结构的定义和性质。

此外,还需要熟悉代数运算法则和代数结构之间的关系。

复习时可以通过解题来加深对代数系统的理解,例如证明一个集合构成一个群、判断一个环是否是域等。

五、概率论与统计学概率论与统计学是离散数学中的一个重要分支,它研究的是随机事件和随机变量的概率性质。

在概率论与统计学中,我们需要了解概率的定义和性质,掌握常见的概率分布和统计方法。

此外,还需要熟悉概率的运算法则和统计推断的基本原理。

复习时可以通过解题和实际问题的分析来加深对概率论与统计学的理解。

总之,离散数学作为计算机科学与数学领域中的重要学科,对于计算机科学专业的学生来说具有重要意义。

离散数学复习资料

离散数学复习资料

1.证明永真公式Q14,Q15,Q16,Q17和Q18。

2.证明P(x)∧任意xQ(x)==>存在x(P(x)∧Q(x))3.设论述域是{a1,a2,a3,…an},试证明下列关系式。

(a) 任意xA(x)∧P<==>任意x(A(x)∧P)(b) 任意x(A(x)∧B(x))<==>任意xA(x)∧任意xB(x)(c) 存在x(A(x)∧B(x))<==>存在xA(x)∧存在xB(x)4.证明下列关系式(a) 任意x任意y(P(x)∨P(y))<==>任意xP(x)∨任意yP(y)(b) 存在x存在y(P(x)∧Q(y))==>存在xP(x)(c) 任意x任意y(P(x)∧Q(y))<==>任意xP(x)∧任意yQ(y)(d) 存在x存在y(P(x)->P(y)) <==>任意xP(x)->存在yP(y)(e) 任意x任意y(P(x) ->Q(y)) <==>(存在xP(x)->任意yQ(y))5.写出limf(x)=k的定义的符号形式,并用形成定理两边的否定的方法,找出limf(x)不等x->c x->c于k的条件。

6.给定自然数集合N的下列子集:A={1,2,7,8}B={i|i平方<50}C={i|i可被30整除}D={i|i=2的k次方∧k∈I∧0≤k≤6}求下列集合(a)A∪(B∪(C∪D))(b)A∩(B∩(C∩D))(c)B-(A∪C)(d)(非A∩B) ∪D7.假定A≠空集和A∪B=A∪C,证明这不能得出B=C,假设中增加A∩B=A∩C,你能得出B=C吗?8.(a)证明“相对补”不是一个可交换运算,即证明存在一个论述域包含集合A和B,使A-B≠B-A。

(b)A-B=B-A可能吗?刻划上式出现的全部条件。

(c)“相对补”是一个可结合的运算马?证明你的断言。

9.证明下列恒等式(a)A∪(A∩B)=A(b)A∩(A∪B)=A(c)A-B=A∩非B(d)A∪(非A∩B)=A∪B(e)A∩(非A∪B)=A∩B10.设Sn={a0,a1,…,an}和Sn+1={a0,a1, …,an,an+1},试用p(Sn)和an+1表达出p(Sn+1)。

《离散数学》总复习上课讲义

《离散数学》总复习上课讲义
不是闭式的公式在某些解释下也可能是命题. 公式类型. 换名规则与代替规则
第3章 集合的基本概念和运算
3.1 集合的基本概念 3.2 集合的基本运算(重点) 3.3 集合中元素的计数(容斥原理是重点)
3.1 集合的基本概念
元素x与集合A的关系:属于xA,不属于xA 集合A与集合B的关系:习题3.2, 3.8, 3.12, 3.16
构造性二难
(AB)(AB)(AA) B 构造性二难(特殊形式)
(AB)(CD)( BD) (AC) 破坏性二难
习题1.18, 1.21, 1.17(2)。六1
注意事项1:命题
只有能确定真假(但不能可真可假)的陈述句才是 命题. 不管是正确的观点, 还是错误的观点, 都 是命题. 猜想和预言是命题, 如哥德巴赫猜想.
pq为假当且仅当 p 为真 q 为假,即 当p为假时,pq为真(不管q为真, 还是为假); 当q为真时,pq为真(不管p为真, 还是为假). 习题1.5(6)(7)
了解概念、掌握方法
真值表、命题公式类型 所有等值的含n个命题变项的公式对应同一
个n元真值函数F:{0,1}n{0,1};哑元 最小联结词组 对偶式与对偶原理 简单析取式、简单合取式 析取范式与合取范式 附加前提证明法、反证法
x(A(x)B)xA(x)B x(A(x)B)xA(x)B x(BA(x))BxA(x)
x(A(x)B(x))xA(x)xB(x)
x(A(x)B(x))xA(x)xB(x)
注意事项1:前束范式(重点)
设A为一个一阶逻辑公式, 若A具有如下形式 Q(11xi1Qk2)x为2…或Qkx,kBB, 则为称不A含为量前词束的范公式式, 其. 中Qi
重要的推理定律 第一组 命题逻辑推理定律代换实例 第二组 由基本等值式生成(置换规则) 第三组 xA(x)xB(x)x(A(x)B(x))

离散数学复习

离散数学复习

极小项的记号(n=3)
极小项
¬p∧¬q∧¬r ¬p∧¬q∧r ¬p∧q∧¬r ¬p∧q∧r
成真赋值
000 001 010 011
名称
m0 m1 m2 m3
p∧¬q∧¬r
p∧¬q∧r p∧q∧¬r p∧q∧r
100
101 110 111
m4
m5 m6 m7
极大项的记号 (n=2,3)
极大项 p∨q∨r p∨q∨¬r 成假赋值 000 001 名称 M0 M1
关系的定义。 什么是“自反性”? 设A、B是任意两个命题公式,若等价式 什么是“对称性”? A ↔ B为重言式,则称 A与B是等值的, 什么是“传递性”? 记作:A B 等价关系、等价类,等价类的个数?
自反性,即对任意命题公式A, AA 对称性,即对任意命题公式A和B, 若AB,则BA 传递性,即对任意命题公式A,B和C, 若AB,BC,则AC
定义2.10 设 S 是一个合取范式,C否证也是“证明” 1,C2, …,Cn 是 一个如下生成的子句序列:
对每一个i(1≤i≤n),Ci是S中的一个子句 (简单析取式); 或者 Ci 是它之前的某两个子句(简单析取式) Cj,Ck(1≤j<k<i)的消解结果。
则称此序列是由 S 导出的消解序列。 当 Cn=λ (空子句)时, 称此序列是 S 的一个否证。 “消解规则”
范式存在定理
任一命题公式都存在着与之等值的 析取范式 任一命题公式都存在着与之等值的 合取范式

求范式的步骤如下: ⑴ 消去联结词“→”和“↔” ⑵ 利用双重否定律消去否定联结词“¬”或 利用德摩根律将否定联结词“¬”移到各命题变 元前(¬内移)。 ⑶ 利用分配律,结合律将公式归约为合取 范式和析取范式。

离散数学总复习-知识点

离散数学总复习-知识点

离散数学总复习第1章命题逻辑一、命题的判断例:1、仁者无敌!2、x+y<23、如果雪是红的,那么地球是月亮的卫星。

4、我正在说谎。

二、命题符号化例:1、蓝色和黄色可以调成绿色。

2、付明和杨进都是运动员。

3、刘易斯是百米游泳冠军或百米跨栏冠军。

4、李飞现在在宿舍或在图书馆。

5、只要天不下雨,我就步行上学校。

6、只有天不下雨,我才步行上学校。

7、并非只要你努力了,就一定成功。

三、主范式1、会等值演算;2、主合取和主析取范式的相互转换。

例:求命题公式P∨Q的主析取范式和主合取范式。

3、根据主范式进行方案的选择例1:某科研所要从3名科研骨干A,B,C中挑选1-2名出国进修,由于工作需要,选派需同时满足条件:(1)若A去,则C同去;(2)只有C不去,B才去;(3)只要C不去,则A或B就可以去。

问有哪些选派方案?例2:甲、乙、丙、丁四人有且仅有两个人参加比赛,下列四个条件均要满足:(1)甲和乙有且只有一人参加;(2)丙参加,则丁必参加;(3)乙和丁至多有一人参加;(4)丁不参加,甲也不会参加。

问哪两个人参加了比赛?四、简单的推理例1:如果明天天气好我们就去爬长城。

明天天气好。

所以我们去爬长城。

例3:课后习题16第2章谓词逻辑一、谓词逻辑中的命题符号化例:1、所有运动员都是强壮的2、并非每个实数都是有理数3、有些实数是有理数二、量词的辖域,约束变元换名、自由变元代替例:1、∀x(P(x)∨∃yR(x,y))→Q(x)2、∀x(P(x,z)∨∃yR(x,y))→Q(x)中量词的辖域,重名情况,改名等三、命题逻辑永真式的任何代换实例必是谓词逻辑的永真式。

同样,命题逻辑永假式的任何代换实例必是谓词逻辑的永假式。

例:1、(∀xP(x)→∃xQ(x))↔(⌝∀xP(x)∨∃xQ(x))2、(∀xP(x)→∃xQ(x))∧(∃xQ(x))→∀zR(z)))→(∀xP(x) →∀zR(z))1-2是永真式(重言式)3、⌝(∀xF(x) ∃yG(y)) ∧ ∃yG(y) 永假式(矛盾式)四、消量词例:个体域D={1,2},对∀x∀y(P(x)→Q(y))消量词五、简单的前束范式会判断即可。

《离散数学》方世昌的期末复习知识点总结

《离散数学》方世昌的期末复习知识点总结

《离散数学》方世昌的期末复习知识点总结1.集合论-集合的定义和运算:交、并、差、补、反转。

子集与真子集的概念。

-集合的基数:有限集、无限集、可数集、不可数集的定义与特性。

-集合的运算律:交换律、结合律、分配律、幂等律、吸收律。

-集合的等价关系:等价关系的定义和性质,等价关系的划分和等价类。

2.逻辑与命题关系-命题与命题符号:命题的定义、真值表和含有逻辑连接词的复合命题。

-命题逻辑:命题的蕴涵、等价、否定、充分条件和必要条件。

-谓词逻辑:命题的全称量词、存在量词及其关系。

-命题逻辑推理:假言推理、析取推理、拒取推理、类比推理等。

3.图论-图的基本概念与术语:顶点、边、邻接、路径、回路、连通、子图、生成树等。

-图的分类:无向图、有向图、简单图、多重图、完全图。

-图的矩阵表示:邻接矩阵、关联矩阵、度矩阵等。

-图的遍历算法:深度优先、广度优先。

-图的最短路径算法:迪杰斯特拉算法、弗洛伊德算法。

4.代数系统与半群-代数结构:代数系统的定义、代数公理、代数性质。

-半群:半群的定义与性质,封闭性、结合律和单位元。

-半群的子半群与同态:子半群的概念,同态映射的定义与性质。

-有限半群与无限半群:有限半群的定义和性质,无限半群的特点与例子。

5.数论与代数-整数与整数集合的性质:整数的除法原理、整除、公约数、最大公约数和最小公倍数。

-同余关系与同余类:同余关系的定义、同余类的性质、同余关系的基本定理。

-质数与素数:质数的定义、素数的性质、素数的判定方法。

-线性同余方程:线性同余方程的解法、同余方程的应用。

以上仅是《离散数学》中的部分重要知识点总结,该教材还包括很多其他内容,如排列组合、概率论、布尔代数等等。

期末复习时,建议从教材中选取一些重点章节进行深入学习和复习,同时要进行大量的习题训练,加深对知识点的理解和掌握。

祝你在期末考试中取得好成绩!。

(完整word版)离散数学复习提纲(完整版)

(完整word版)离散数学复习提纲(完整版)

《离散数学》期末复习大纲(完整版)(含例题和考试说明)一、命题逻辑[复习知识点]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)(PP )Q (2)(P Q)Q (3)((P Q)(Q R ))(P R) 解:(1) 真值表 P QP P P (P P)Q 0 01 0 1 0 11 0 0 1 00 0 1 1 1 0 0 0因此公式(1)为可满足.(2) 真值表P Q P Q (P Q) (P Q)Q0 0 1 0 00 1 1 0 01 00 1 01 1 1 0 0因此公式(2)为恒假。

离散数学复习资料

离散数学复习资料

离散数学复习资料第1章命题逻辑本章重点:命题与联结词,公式与解释,真值表,公式的类型及判定, (主)析取(合取)范式,命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。

命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2. 六个联结词及真值表h“”否定联结词,P是命题,P是P的否命题,是由联结词和命题P组成的复合命题.P取真值1,P取真值0,P取真值0,P取真值1. 它是一元联结词.h “”合取联结词,P Q是命题P,Q的合取式,是“”和P,Q组成的复合命题. “”在语句中相当于“不但…而且…”,“既…又…”. P Q取值1,当且仅当P,Q均取1;P Q取值为0,只有P,Q之一取0.h “”析取联结词,“”不可兼析取(异或)联结词, P Q是命题P,Q的析取式,是“”和P,Q组成的复合命题. P Q是联结词“”和P,Q组成的复合命题. 联结词“”或“”在一个语句中都表示“或”的含义,前者表示相容或,后者表示排斥或不相容的或. 即“P Q”“(P Q)(P Q)”. P Q取值1,只要P,Q之一取值1,P Q取值0,只有P,Q都取值0.h “”蕴含联结词, P Q是“”和P,Q组成的复合命题,只有P取值为1,Q取值为0时,P Q取值为0;其余各种情况,均有P Q的真值为1,亦即10的真值为0,01,11,00的真值均为1. 在语句中,“如果P则Q”或“只有Q,才P,”表示为“P Q”.h “” 等价联结词,P Q是P,Q的等价式,是“”和P,Q组成的复合命题. “”在语句中相当于“…当且仅当…”,P Q取值1当且仅当P,Q真值相同.3. 命题公式、赋值与解释,命题公式的分类与判别h命题公式与赋值,命题P含有n个命题变项P1,P2,…,P n,给P1,P2,…,P n各指定一个真值,称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1,则这组值为P的真指派;若使P的真值为0,则称这组值称为P的假指派.h命题公式分类,在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;判定命题公式类型的方法:其一是真值表法,任给公式,列出该公式的真值表,若真值表的最后一列全为1,则该公式为永真式;若真值表的最后一列全为0,则该公式是永假式;若真值表的最后一列既非全1,又非全0,则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材的十六个等值式或演算律),对给定公式进行等值推导,若该公式的真值为1,则该公式是永真式;若该公式的真值为0,则该公式为永假式.既非永真,也非用假,成为非永真的可满足式.其三主析取(合取)范式法,该公式的主析取范式有2n个极小项(即无极大项),则该公式是永真式;该公式的主合取范式有2n个极大项(即无极小项),则该公式是永假式;该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,,则该公式是可满足式.h等值式A B,命题公式A,B在任何赋值下,它们的真值均相同,称A,B等值。

离散数学复习资料

离散数学复习资料

《离散数学》习题与解答第一篇数理逻辑第一章命题逻辑1-1(1)指出下列语句哪些是命题,哪些不是命题,如果是命题指出他的真值a)离散数学是计算机科学系的一门必修棵b)∏> 2 吗?c)明天我去看电影d)请勿随地吐痰e)不存在最大质数f)如果我掌握了英语,法语,那么学习其他欧洲的语言就容易多了g)9+5<12h)x<3i)月球上有水j)我正在说假话[解]a)不是命题b)是命题,真值视具体情况而定c)不是命题d)是命题,真值为te)是命题,真值为tf)是命题,真值为fg)不是命题h)是命题, 真值视具体情况而定i)不是命题1-2(1)用P表示命题“天下雪”,(又表示命题“我将去镇上”,R表示命题“我有时间”.以符号形式写出下列命题:(a)如果天不下雪和我有时间,那么我将去镇上.(b)我将去镇上,仅当我有时间.(c)天不下雪(d)天下雪,那么我不去镇上[解]a)(┐P∧R)→Qb)Q→Rc)┐Pd)P→┐Q1-2(2)将下面这段陈述中所出现的原子命题符号化,并指出他们的真值,然后将这段陈述中的每一命题符号化 2 是有理数是不对的.2是偶素数.2或4是素数.如果2是素数则3也是素数.2是素数当且仅当3也是素数.[解]:陈述中出现5个原子命题,将他们符号化为:P: 2 是有理数其真值为FQ:2是素数其真值为TR:2是偶数其真值为TS:3是素数其真值为TU:4是素数其真值为F陈述中各命题符号化为:┐P;Q∧R;Q∨U;Q→S;Q<=>S1-2(3)将下列命题符号化a)如果3+3=6,则雪是白色的.b)如果3+3≠6,则雪是白色的c)如果3+3=6,则雪不是白色的.d)如果3+3≠6,则雪不是白色的e)王强身体很好,成绩也很好.f)四边形ABCD是平行四边形,仅当其对边平行[解]:设P:3+3=6 Q:雪是白色的R:王强成绩很好S:王强身体很好U: 四边形ABCD是平行四边形V: 四边形ABCD的对边是平行的于是:a)可表示为:P→Qb)可表示为: ┐P→Qc)可表示为: P→┐Qd)可表示为:┐P→┐Qe)可表示为:S∧Rf)可表示为:U<=>V1-3(1)判别下列公式中哪些是合式公式,那些不是合式公式a) (Q→R∧S)b) (P<=>(R→S))c) ((┐P→Q)→(Q→P)))d) (RS→T)e)((P→(Q→R))→((P→Q)→(P→R)))[解]:a)不是合式公式(若规定运算符优先级后也可以作为合式公式)b)是合式公式c)不是合式公式(括号不配对)d)不是合式公式e)是合式公式1-3(2)对下列各式用指定的公式进行代换:a) (((A→B)→B)→A),用(A→C)代换A,用((B∧C)→A代换B。

离散数学复习资料

离散数学复习资料

离散数学复习资料离散数学最全复习资料第1章命题逻辑本章重点:命题与联结词,公式与解释,真值表,公式的类型及判定, (主)析取(合取)范式,命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。

命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义.2. 六个联结词及真值表“?”否定联结词,P是命题,?P是P的否命题,是由联结词?和命题P组成的复合命题.P取真值1,?P取真值0,P取真值0,?P取真值1. 它是一元联结词.“∧”合取联结词,P∧Q是命题P,Q的合取式,是“∧”和P,Q组成的复合命题. “∧”在语句中相当于“不但…而且…”,“既…又…”. P∧Q取值1,当且仅当P,Q均取1;P∧Q取值为0,只有P,Q之一取0.“∨”析取联结词,“?∨”不可兼析取(异或)联结词,P∨Q是命题P,Q的析取式,是“∨”和P,Q组成的复合命题. P?∨Q是联结词“?∨”和P,Q组成的复合命题. 联结词“∨”或“?∨”在一个语句中都表示“或”的含义,前者表示相容或,后者表示排斥或不相容的或. 即“P?∨Q”?“(?P∧Q)∨(P∧?Q)”. P∨Q取值1,只要P,Q之一取值1,P∨Q取值0,只有P,Q都取值0.“→”蕴含联结词,P→Q是“→”和P,Q组成的复合命题,只有P取值为1,Q 取值为0时,P→Q取值为0;其余各种情况,均有P→Q的真值为1,亦即1→0的真值为0,0→1,1→1,0→0的真值均为1. 在语句中,“如果P则Q”或“只有Q,才P,”表示为“P→Q”.“?” 等价联结词,P?Q是P,Q的等价式,是“?”和P,Q组成的复合命题. “?”在语句中相当于“…当且仅当…”,P?Q取值1当且仅当P,Q真值相同.3. 命题公式、赋值与解释,命题公式的分类与判别命题公式与赋值,命题P含有n个命题变项P1,P2,…,P n,给P1,P2,…,P n各指定一个真值,称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1,则这组值为P 的真指派;若使P的真值为0,则称这组值称为P的假指派.命题公式分类,在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;判定命题公式类型的方法:其一是真值表法,任给公式,列出该公式的真值表,若真值表的最后一列全为1,则该公式为永真式;若真值表的最后一列全为0,则该公式是永假式;若真值表的最后一列既非全1,又非全0,则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材P.16的十六个等值式或演算律),对给定公式进行等值推导,若该公式的真值为1,则该公式是永真式;若该公式的真值为0,则该公式为永假式.既非永真,也非用假,成为非永真的可满足式.其三主析取(合取)范式法,该公式的主析取范式有2n个极小项(即无极大项),则该公式是永真式;该公式的主合取范式有2n个极大项(即无极小项),则该公式是永假式;该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,,则该公式是可满足式.等值式A ?B ,命题公式A ,B 在任何赋值下,它们的真值均相同,称A ,B 等值。

离散数学复习资料

离散数学复习资料

离散数学复习资料离散数学是计算机科学与工程中的一门重要课程,对于学生来说离不开的内容就是集合、关系、图、逻辑等等。

由于离散数学的知识点比较多,所以需要用心复习备考。

本文就是为了给大家提供一些离散数学的复习资料,希望对大家的备考有所帮助。

1. 《离散数学及其应用》(Discrete Mathematics and its Applications)这本书是一本经典的教材,由美国著名数学家Kenneth H. Rosen编写,已经出版了七版。

书中内容系统、全面、深入,并且重视应用。

里面讲解的内容包括集合论、命题逻辑、谓词逻辑、证明技巧、图论、组合数学等等,每个知识点都有大量的例题和习题,适用于各个层次的学生。

此外,书中还有详细的解答和答案解析,让学生能够深入理解各个知识点的含义和应用,是一本很好的复习资料。

2. 离散数学MOOCMOOC是全称为Massive Open Online Course,中文名为大规模开放式在线课程,是指通过互联网向全球提供大规模课程,任何人都可以免费参加。

目前国内外各大高校都推出了MOOC课程,离散数学也不例外。

学生可以通过其官网或各大视频站搜索离散数学相关的MOOC,比如中国大学MOOC、Coursera等。

只要积极参与学习,基本可以达到一个不错的学习效果,同时也是一种便捷的复习方式。

3. 常见错题整理离散数学复习也需要练题,但是很多同学在复习时会出现死记硬背的情况,对于一些基础知识点掌握的不够扎实,导致在做题时出现错误。

所以整理自己的错题也是一种很好的复习方式。

学生可以以章节为单位,把做错的题目整理出来,并进行分析总结,找出其中的规律和易错点,以便更好地消化和理解这些知识点,提高做题的准确率。

4. 参考资料在复习时,参考资料也是非常重要的。

学生可以准备一本参考书或棕色折页,里面可以收集相关的定理、公式、图像等,方便随时查阅。

同时也可以利用网络资源,比如百度学术、Google Scholar等,搜索相关的论文和文献,从专业角度深入了解离散数学的各个方面,提高学习的水平和技巧。

离散数学复习提纲

离散数学复习提纲

一、数理逻辑(第1章、第2章)·命题定义、联结词(与、或、非、单条件、双条件)·命题公式、真值、真值表、符号化·谓词、量词(全称、存在)、谓词公式·一阶逻辑符号化(所有的。

是。

,、和有些。

是。

特性谓词)·谓词公式求真值(在某种解释下)·命题公式的等值(等价)演算(十大定律)·命题公式的主范式·谓词公式的前束范式·命题逻辑应用·命题逻辑推理(推理定律、推理规则:P,T,CP)·谓词逻辑推理(推理定律、推理规则:P,T,CP,UI,EI,UG,EG)····························二、集合论(第3章)·集合的定义与表示方法(解析法、枚举法、文氏图法)·集合间的相互关系(定义,符号:⊆⊂ =)·集合的运算定义与图示(⋂⋃ - ~⊕⨯ P / )——入集条件·集合定律(十大定律)·集合恒等式的证明法一:直接利用定律及已证等式法二:利用集合相等的定义(①左⊆右∧右⊆左②x∈左⇔ x∈右)·集合的元素计数与应用(包容排斥原理)·································三、关系论(第4章)·二元关系的定义及其表示(解析法、集合法、图示法、矩阵法)·关系的运算(集合的所有运算+左复合、求逆、求闭包)·关系的性质(定义、关系图特点、矩阵的特点、证明)·等价关系(定义、等价类、上集、划分)·偏序关系与偏序集(定义、哈斯图)·全序集(线序集、定义、最元、极元、界元、确界)·································四、函数论(第4章)·定义(唯一性)·A到B的函数(唯一性、良定性)·特殊函数(常、恒等、单增、单减、特征、自然映射)·BA的计数·函数的性质(单、满、双,判断)·函数的复合(左复合)·反函数(只有双设才有)·······························五、代数系统(第5章、第6章)·二元运算(定义,封闭性)、运算表·各种定律(交换、结合、幂等、分配、吸收、消去、幺元、零元、逆元)·代数系统、子代数、积代数(定义、特殊元素、代数常数)·同态与同构(同态等式、证明)·半群、独异点·群、子群、阿贝尔群、生成子群、元素的阶(周期)、循环群(定义与证明)·环、含幺环、零因子、无零因子环、整环、除环与域·格(两种定义)、分配格、有界格、布尔格(判断)·······························六、图论(第7张、第8张、第9张)·无向图、有向图、零图、平凡图、完全图、子图、生成子图、补图·第一握手定理、度数序列·通路、回路、简单。

离散数学 复习资料

离散数学 复习资料

离散数学复习资料离散数学复习资料离散数学是计算机科学和数学领域的重要基础课程,它涉及到离散结构和离散对象的研究,如集合论、图论、逻辑、代数和组合数学等。

在计算机科学领域,离散数学为算法设计、数据结构和计算机网络等问题提供了理论基础。

本文将为大家提供一些离散数学复习资料,帮助大家更好地掌握这门课程。

一、集合论集合论是离散数学的基础,它研究的是集合及其元素之间的关系。

在集合论中,我们需要了解集合的定义、运算、关系和函数等基本概念。

此外,还需要熟悉集合的证明方法,如直接证明、间接证明、归谬证明等。

在复习集合论时,可以通过做一些练习题来加深理解,同时也可以查阅一些相关的教材和参考资料。

二、图论图论是离散数学中的一个重要分支,它研究的是图及其性质和应用。

图由节点和边组成,节点表示对象,边表示对象之间的关系。

在图论中,我们需要了解图的基本概念,如有向图和无向图、路径和回路、连通性和强连通性等。

此外,还需要掌握一些图的算法,如最短路径算法、最小生成树算法和网络流算法等。

复习图论时,可以通过绘制图和解决一些图的实际问题来加深理解。

三、逻辑逻辑是离散数学中的另一个重要分支,它研究的是推理和证明的规则。

在逻辑中,我们需要了解命题逻辑和谓词逻辑的基本概念,如命题、命题变量、逻辑连接词、真值表和推理规则等。

此外,还需要熟悉一些逻辑证明的方法,如直接证明、间接证明和数学归纳法等。

复习逻辑时,可以通过做一些逻辑推理题和证明题来提高逻辑思维能力。

四、代数代数是离散数学中的一个重要分支,它研究的是代数结构和运算。

在代数中,我们需要了解集合的代数结构,如半群、幺半群、群、环和域等。

此外,还需要掌握一些代数运算,如集合的并、交和补运算,以及代数方程的求解方法。

复习代数时,可以通过做一些代数运算题和代数方程的求解题来加深理解。

五、组合数学组合数学是离散数学中的一个重要分支,它研究的是离散对象的组合和排列问题。

在组合数学中,我们需要了解组合和排列的基本概念,如组合数、排列数、二项式系数和多项式系数等。

离散数学复习资料

离散数学复习资料

第二章习题课主要内容●等值式与等值演算●基本等值式(16组,24个公式)●主析取范式与主合取范式●联结词完备集●消解法基本要求●深刻理解等值式的概念●牢记基本等值式的名称及它们的内容●熟练地应用基本等值式及置换规则进行等值演算●理解文字、简单析取式、简单合取式、析取范式、合取范式的概念●深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系,并理解简单析取式与极小项的关系●熟练掌握求主范式的方法(等值演算、真值表等)●会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值●会将公式等值地化成指定联结词完备集中的公式●会用命题逻辑的概念及运算解决简单的应用问题●掌握消解规则及其性质●会用消解算法判断公式的可满足性练习1:概念1. 设A与B为含n个命题变项的公式,判断下列命题是否为真?(1) A⇔B当且仅当A与B有相同的主析取范式(2) 若A为重言式,则A的主合取范式为0(3) 若A为矛盾式,则A的主析取范式为1(4) 任何公式都能等值地化成{∧, ∨}中的公式(5) 任何公式都能等值地化成{⌝, →, ∧}中的公式练习2: 判断公式类型解用等值演算法求主范式(p→q)→(⌝q→⌝p)⇔⌝(⌝p∨q)∨(q∨⌝p)⇔ (p∧⌝q)∨(q∨⌝p)⇔ (p∧⌝q)∨(⌝p∧q)∨(p∧q)∨(⌝p∧⌝q)⇔m2∨m1∨m3∨m0⇔m0∨m1 ∨m2 ∨m3 主析取范式⇔ 1 主合取范式重言式练习题2(续)解用等值演算法求公式的主范式⌝(p→q)∧q⇔⌝(⌝p∨q)∧q⇔p∧⌝q∧q⇔ 0 主析取范式⇔M0∧M1 ∧M2 ∧M3 主合取范式矛盾式练习2(续)解用等值演算法求公式的主范式(p→q)∧⌝p⇔ (⌝p∨q)∧⌝p⇔⌝p⇔ (⌝p∧⌝q)∨(⌝p∧q)⇔ m0∨m1 主析取范式⇔M2 ∧M3 主合取范式非重言式的可满足式练习3:求公式的主范式3.已知命题公式A中含3个命题变项p, q, r,并知道它的成真赋值为001, 010, 111, 求A的主析取范式和主合取范式,及A对应的真值函数.解A的主析取范式为m1 ∨m2 ∨m7A的主合取范式为M0 ∧M3 ∧M4 ∧M5 ∧M6p q r F p q r F0 0 0 0 1 0 0 00 0 1 1 1 0 1 00 1 0 1 1 1 0 00 1 1 0 1 1 1 1解(1) (p⌝→q)∧r ⇔ (⌝p⌝∨q)∧r(2) (p⌝→q)∧r ⇔⌝(p∧q)∧r(3) (p⌝→q)∧r ⇔ (⌝p⌝∨q)∧r⇔⌝(⌝(⌝p⌝∨q)⌝∨r)练习4:联结词完备集4.将A = (p→⌝q)∧r改写成下述各联结词集中的公式:(1) {⌝, ∧, ∨}(2) {⌝, ∧}(3) {⌝, ∨}(4) {⌝, →}(5) {↑}(6) {↓}练习4 解答(4) (p→⌝q)∧r⇔⌝(⌝(p→⌝q)∨⌝r)⇔⌝((p→⌝q)→⌝r)(5) (p→⌝q)∧r ⇔⌝(p∧q)∧r⇔ (p↑q)∧r⇔⌝⌝((p↑q)∧r)⇔ ((p↑q)↑r)↑((p↑q)↑r)(6) (p→⌝q)∧r ⇔(⌝p∨⌝q)∧r⇔⌝(⌝(⌝p∨⌝q)∨⌝r)⇔ (⌝p↓⌝q)↓⌝r⇔ ((p↓p)↓(q↓q)↓(r↓r)说明:答案不惟一练习5:应用题5. 某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习. 选派必须满足以下条件:(1) 若赵去,钱也去.(2) 李、周两人中至少有一人去(3) 钱、孙两人中去且仅去一人.(4) 孙、李两人同去或同不去.(5) 若周去,则赵、钱也去.用等值演算法分析该公司如何选派他们出国?练习5解答解此类问题的步骤:1.设简单命题并符号化2. 用复合命题描述各条件3. 写出由复合命题组成的合取式4. 将合取式成析取式(最好是主析取范式)5. 求成真赋值, 并做出解释和结论练习5解答解1. 设简单命题并符号化设p: 派赵去,q: 派钱去,r: 派孙去,s: 派李去,u: 派周去2. 写出复合命题(1) 若赵去,钱也去p→q(2) 李、周两人中至少有一人去s∨u(3) 钱、孙两人中去且仅去一人 (q∧⌝r)∨(⌝q∧r)(4) 孙、李两人同去或同不去 (r∧s)∨(⌝r∧⌝s)(5) 若周去,则赵、钱也去u→(p∧q) 3. 设(1)—(5)构成的合取式为AA = (p→q)∧(s∨u)∧((q∧⌝r)∨(⌝q∧r))∧((r∧s)∨(⌝r∧⌝s))∧(u→(p∧q))4. 化成析取式A ⇔ (⌝p∧⌝q∧r∧s∧⌝u)∨(p∧q∧⌝r∧⌝s∧u)结论:由上述析取式可知,A的成真赋值为00110与11001,派孙、李去(赵、钱、周不去)派赵、钱、周去(孙、李不去)练习5解答A⇔ (⌝p∨q)∧((q∧⌝r)∨(⌝q∧r))∧(s∨u)∧(⌝u∨(p∧q))∧((r∧s)∨(⌝r∧⌝s)) B=(⌝p∨q)∧((q∧⌝r)∨(⌝q∧r))1⇔ ((⌝p∧q∧⌝r)∨(⌝p∧⌝q∧r)∨(q∧⌝r)) (分配律)B=(s∨u)∧(⌝u∨(p∧q))2⇔ ((s∧⌝u)∨(p∧q∧s)∨(p∧q∧u)) (分配律) B∧B2⇔ (⌝p∧q∧⌝r∧s∧⌝u)∨(⌝p∧⌝q∧r∧s∧⌝u)1∨(q∧⌝r∧s∧⌝u)∨(p∧q∧⌝r∧s)∨(p∧q∧⌝r∧u)再令 ((r∧s)∨(⌝r∧⌝s))=B3,则B∧B2∧B3⇔ (⌝p∧⌝q∧r∧s∧⌝u)∨(p∧q∧⌝r∧⌝s∧u)1练习6:消解法6. 构造公式A=(p∨q)∧( ⌝q∨r)∧ (⌝p∨q)∧⌝r的否证, 从而证明它是矛盾式.解消解序列:①p∨q A的简单析取式②⌝p∨q A的简单析取式③q①,②消解④⌝q∨r A的简单析取式⑤⌝r A的简单析取式⑥⌝q④,⑤消解⑦λ③,⑥消解这是A的一个否证, 从而证明A是矛盾式.练习7:消解法7. 用消解法判断下述公式是否是可满足的:(p∨⌝q)∧(q∨⌝r)∧(⌝q∨⌝r)解S=(p∨⌝q)∧(q∨⌝r)∧(⌝q∨⌝r)第1次循环S0=∅,S1={p∨⌝q, q∨⌝r, ⌝q∨⌝r}, S2=∅p∨⌝q, q∨⌝r 消解得到p∨⌝rq∨⌝r, ⌝q∨⌝r消解得到⌝rS2={p∨⌝r,⌝r}第2次循环S0={p∨⌝q, q∨⌝r, ⌝q∨⌝r},S1={p∨⌝r,⌝r}, S2=∅S2=∅输出“Yes”,计算结束.练习1:判断推理是否正确1. 判断下面推理是否正确:(1) 前提:⌝p→q, ⌝q结论:⌝p解推理的形式结构:(⌝p→q)⌝∧q⌝→p方法一:等值演算法(⌝p→q)⌝∧q⌝→p⇔⌝((p∨q)⌝∧q)⌝∨p⇔ (⌝p⌝∧q)∨q⌝∨p⇔ ((⌝p∨q)∧(⌝q∨q))⌝∨p⇔⌝p∨q易知10是成假赋值,不是重言式,所以推理不正确.练习1解答方法二:主析取范式法,(⌝p→q)⌝∧q⌝→p⌝⇔((p∨q)⌝∧q)⌝∨p⌝⇔p∨q⇔M2⇔m0∨m1∨m3未含m2, 不是重言式, 推理不正确.练习1解答方法三真值表法不是重言式, 推理不正确方法四直接观察出10是成假赋值11 1 00 1 11 0 10 0 (⌝p→q)∧⌝q→⌝pqp ⌝p→q111 (⌝p→q)∧⌝q1练习1解答用等值演算法(q→r)∧(p→⌝r)→(q→⌝p)⇔(⌝q∨r)∧(⌝p∨⌝r)→(⌝q∨⌝p)⇔⌝((q∧⌝r)∨(p∧r))→(⌝q∨⌝p)⇔⌝((q∨p)∧(q∨r)∧(⌝r∨p))→(⌝q∨⌝p)⇔ ((q∨p)∧(q∨r)∧(⌝r∨p))∨(⌝q∨⌝p)⇔1推理正确练习2:构造证明2. 在系统P中构造下面推理的证明:如果今天是周六,我们就到颐和园或圆明园玩. 如果颐和园游人太多,就不去颐和园. 今天是周六,并且颐和园游人太多. 所以, 我们去圆明园或动物园玩.证明:(1) 设p:今天是周六,q:到颐和园玩,r:到圆明园玩,s:颐和园游人太多t:到动物园玩(2) 前提:p→(q∨r), s⌝→q, p, s结论:r∨t练习2解答(3) 证明:①p→(q∨r) 前提引入②p前提引入③q∨r①②假言推理④s→⌝q前提引入⑤s前提引入⑥⌝q④⑤假言推理⑦r③⑥析取三段论⑧r∨t⑦附加练习11. 在分别取个体域为(a) D1=N(b) D2=R(c) D3为全总个体域的条件下, 将下面命题符号化,并讨论真值(1) 对于任意的数x,均有解设G(x):(a) ∀xG(x) 假(b) ∀xG(x) 真(c) 又设F(x):x是实数∀x(F(x)→G(x)) 真练习1(续)解设H(x):x+7=5(a) ∃xH(x) 假(b) ∃xH(x) 真(c) 又设F(x):x为实数∃x(F(x)∧H(x)) 真本例说明:不同个体域内,命题符号化形式可能不同(也可能相同),真值可能不同(也可能相同).练习22. 在一阶逻辑中将下列命题符号化(1) 大熊猫都可爱设F(x): x为大熊猫,G(x): x可爱∀x(F(x)→G(x))(2) 有人爱发脾气设F(x): x是人,G(x): x爱发脾气∃x(F(x)∧G(x))(3) 说所有人都爱吃面包是不对的设F(x): x是人,G(x): x爱吃面包⌝∀x(F(x)→G(x)) 或∃x(F(x)⌝∧G(x))练习2(4) 没有不爱吃糖的人设F(x): x是人,G(x): x爱吃糖∃⌝x(F(x)⌝∧G(x)) 或∀x(F(x)→G(x))(5) 任何两个不同的人都不一样高设F(x):x是人, H(x,y), x与y相同, L(x,y): x与y一样高∀x(F(x)→∀y(F(y)⌝∧H(x,y)⌝→L(x,y)))或∀x∀y(F(x)∧F(y)⌝∧H(x,y)⌝→L(x,y))(6) 不是所有的汽车都比所有的火车快设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快⌝∀x∀y(F(x)∧G(y)→H(x,y))或∃x∃y(F(x)∧G(y)⌝∧H(x,y))练习3∀x(2x=x) 假(2) ∀x∀y(F(f(x,a),y)→F(f(y,a),x))∀x∀y(x+2=y→y+2=x) 假练习3(3) ∀x∀y∃zF(f(x,y),z)∀x∀y∃z(x+y=z) 真(4) ∃x∀y∀zF(f(y,z),x)∃x∀y∀z(y+z=x) 假(3),(4)说明∀与∃不能随意交换(5) ∃xF(f(x,x),g(x,x))∃x(x+x=x⋅x) 真练习44. 证明下面公式既不是永真式,也不是矛盾式:(1) ∃x(F(x)∧G(x))解释1: D1=N, F(x):x是偶数, G(x): x是素数, 真解释2: D2=N, F(x):x是偶数, G(x): x是奇数, 假(2) ∀x∀y(F(x)∧G(y)→H(x,y))解释1: D1=Z, F(x):x是正数, G(x): x是负数, H(x,y):x>y 真解释2: D2=Z, F(x):x是偶数, G(x): x是奇数, H(x,y):x>y 假练习55. 证明下列公式为永真式:(1) (∀xF(x)∃→yG(y))∧∀xF(x)∃→yG(y)(A→B)∧A→B的代换实例(2) ∀x(F(x)→(F(x)∨G(x)))设I是任意的一个解释, 对每一个x∈DI,F(x)→(F(x)∨G(x))恒为真1. 给定解释I如下:(1) 个体域D={2,3}(2)(3)(4)求下述在I下的解释及其真值:∀x∃y(F(f(x))∧G(y,f(a)))解⇔∀xF(f(x))∃∧yG(y,f(a))⇔F(f(2))∧F(f(3))∧(G(2,f(2))∨G(3,f(2)))⇔1∧0∧(1∨0)⇔02.求下述公式的前束范式:∀xF(x)→∃y(G(x,y)∧H(x,y))解使用换名规则,∀xF(x)∃→y(G(x,y)∧H(x,y))⇔∀zF(z)∃→y(G(x,y)∧H(x,y))⇔∃z(F(z)∃→y(G(x,y)∧H(x,y))⇔∃z∃y(F(z)→(G(x,y)∧H(x,y)))使用代替规则∀xF(x)∃→y(G(x,y)∧H(x,y))⇔∀xF(x)∃→y(G(z,y)∧H(z,y))⇔∃x(F(x)∃→y(G(z,y)∧H(z,y))⇔∃x∃y(F(x)→(G(z,y)∧H(z,y)))练习33.构造下面推理的证明:(1) 前提:∀x(F(x)→G(x)), ∀xF(x)结论:∀xG(x)证明:①∀x(F(x)→G(x)) 前提引入②F(y)→G(y) ①∀-③∀xF(x) 前提引入④F(y) ③∀-⑤G(y) ②④假言推理⑥∀yG(y) ⑤∀+⑦∀xG(x) ⑥置换练习3(续)(2) 前提:∀x(F(x)∨G(x)), ⌝∃xG(x)结论:∃xF(x)证明:用归谬法①∃⌝xF(x) 结论否定引入②∀x⌝F(x) ①置换③∃⌝xG(x) 前提引入④∀x⌝G(x) ③置换⑤∀x(F(x)∨G(x)), 前提引入⑥⌝F(c) ②∀-⑦⌝G(c) ④∀-⑧F(c)∨G(c) ⑤∀-⑨G(c) ⑥⑧析取三段论⑩⌝G(c)∧G(c) ⑦⑨合取引入练习3(续)(3)前提:∀x(F(x)→G(x)), ∀x(G(x)→H(x))结论:∀xF(x)→∀xH(x)证明: 用附加前提法①∀xF(x) 附加前提引入②F(x) ①∀-③∀x(F(x)→G(x)) 前提引入④F(x)→G(x) ③∀-⑤∀x(G(x)→H(x)) 前提引入⑥G(x)→H(x) ⑤∀-⑦F(x)→H(x) ④⑥假言三段论⑧H(x) ②⑦假言推理⑨∀xH(x) ⑧∀+练习44. 在自然推理系统N L中,构造推理的证明.人都喜欢吃蔬菜.但不是所有的人都喜欢吃鱼.所以, 存在喜欢吃蔬菜而不喜欢吃鱼的人.解令F(x): x为人,G(x): x喜欢吃蔬菜,H(x): x喜欢吃鱼.前提:∀x(F(x)→G(x)), ⌝∀x(F(x)→H(x))结论:∃x(F(x)∧G(x)⌝∧H(x))证明:用归谬法(1) ∃⌝x(F(x)∧G(x)⌝∧H(x)) 结论否定引入(2) ∀x⌝(F(x)∧G(x)⌝∧H(x)) (1)置换(3) ⌝(F(y)∧G(y)⌝∧H(y)) (2)∀-(4) G(y)→⌝F(y)∨H(y) (3)置换(5) ∀x(F(x)→G(x)) 前提引入练习4(续)(6) F(y)→G(y) (5)∀-(7) F(y) →⌝F(y)∨H(y) (4)(6)假言三段论(8) F(y) →H(y) (7)置换(9) ∀y(F(y) →H(y)) (8)∀+(10) ∀x(F(x) →H(x)) (9)置换(11) ⌝∀x(F(x) →H(x)) 前提引入(12) 0 (10)(11)合取练习11.判断下列命题是否为真(1) ∅⊆∅(2) ∅∈∅(3) ∅⊆{∅}(4) ∅∈{∅}(5) { a, b } ⊆ { a, b, c, {a, b, c}}(6) { a, b } ∈{ a, b, c, {a, b}}(7) { a, b} ⊆ { a, b, {{a, b}}}(8) { a, b} ∈{ a, b, {{a,b}}}解 (1)、(3)、(4)、(5)、(6)、(7)为真,其余为假.方法分析(1) 判断元素a与集合A的隶属关系是否成立基本方法:把a 作为整体检查它在A中是否出现,注意这里的a 可能是集合表达式.(2) 判断A⊆B的四种方法●若A,B是用枚举方式定义的,依次检查A的每个元素是否在B中出现.●若A,B是谓词法定义的,且A, B中元素性质分别为P和Q, 那么“若P则Q”意味A⊆B,“P当且仅当Q”意味A=B.●通过集合运算判断A⊆B,即A⋃B = B, A⋂B = A, A-B = ∅三个等式中有一个为真.●通过文氏图判断集合的包含(注意这里是判断,而不是证明练习22.设S={1, 2, … , 8, 9},S2={2, 4, 6, 8}1S={1, 3, 5, 7, 9} S4={3, 4, 5}3S={3, 5}5确定在以下条件下X是否与S1,…,S5中某个集合相等?如果是,又与哪个集合相等?(1)若X⋂S5=∅(2)若X⊆S4但X⋂S2=∅(3)若X⊆S1且X⊈S3(4 )若X-S3=∅(5 )若X⊆S3 且X ⊈S1解答解(1) 和S5不交的子集不含有3和5,因此X=S2.(2) S4的子集只能是S4和S5. 由于与S2不交,不能含有偶数,因此X=S5.(3) S1, S2, S3, S4和S5都是S1的子集,不包含在S3的子集含有偶数,因此X=S1, S2或S4.(4) X-S3=∅意味着X是S3的子集,因此X=S3或S5.(5) 由于S3是S1的子集,因此这样的X不存在.练习33. 判断以下命题的真假,并说明理由.(1)A-B = A ⇔B=∅(2)A-(B⋃C) = (A-B)⋂(A-C)(3)A⊕A = A(4)如果A⋂B = B,则A = E.(5)A = {x}⋃x,则x∈A且x ⊆A.解题思路●先将等式化简或恒等变形.●查找集合运算的相关的算律,如果与算律相符,结果为真.●注意以下两个重要的充要条件A-B = A⇔A⋂B = ∅A-B = ∅⇔A⊆B⇔ A⋃B = B ⇔ A⋂B = A如果与条件相符,则命题为真.●如果不符合算律,也不符合上述条件,可以用文氏图表示集合,看看命题是否成立.如果成立,再给出证明.●试着举出反例,证明命题为假.解答解(1) B=∅是A-B=A的充分条件,但不是必要条件. 当B不空但是与A不交时也有A-B=A.(2) 这是DM律,命题为真.(3) 不符合算律,反例如下:A={1},A⊕A=∅,但是A≠∅.(4) 命题不为真. A⋂B=B的充分必要条件是B⊆A,不是A=E.(5) 命题为真,因为x 既是A 的元素,也是A 的子集练习44.证明A⋃B = A⋃C∧A⋂B = A⋂C⇒B = C解答解题思路●分析命题:含有3个命题:A⋃B = A⋃C , A⋂B = A⋂C,B = C①②③●证明要求前提:命题①和②结论:命题③●证明方法:恒等式代入反证法利用已知等式通过运算得到新的等式方法一:恒等变形法B = B⋂(B⋃A) = B⋂(A⋃B)= B⋂(A⋃C) = (B⋂A)⋃(B⋂C)= (A⋂C)⋃(B⋂C) = (A⋃B)⋂C= (A⋃C)⋂C = C解答方法三:利用已知等式通过运算得到新的等式.由已知等式①和②可以得到(A⋃B)- (A⋂B) = (A⋃C)- (A⋂C)即A⊕B = A⊕C从而有A⊕(A⊕B) =A⊕(A⊕C)根据结合律得(A⊕A)⊕B = (A⊕A) ⊕C由于A⊕A = ∅, 化简上式得B = C.练习55.设A,B为集合,试确定下列各式成立的充分必要条件:(1) A-B=B(2) A-B=B-A(3) A⋂B=A⋃B(4) A⊕B=A分析解题思路:求解集合等式成立的充分必要条件可能用到集合的算律、不同集合之间的包含关系、以及文氏图等. 具体求解过程说明如下:(1) 化简给定的集合等式(2) 求解方法如下:●利用已知的算律或者充分必要条件进行判断●先求必要条件,然后验证充分性●利用文氏图的直观性找出相关的条件,再利用集合论的证明方法加以验证解答解(1) A-B=B ⇔A=B=∅. 求解过程如下:由A-B=B得(A⋂~B)⋂B = B⋂B化简得B=∅. 再将这个结果代入原来的等式得A= ∅. 从而得到必要条件A=B=∅.再验证充分性. 如果A=B=∅成立,则A-B=∅=B也成立.解答(3) A⋂B=A⋃B ⇔A=B. 求解过程如下:充分性是显然的,下面验证必要性. 由A⋂B=A⋃B得A⋃(A⋂B) = A⋃(A⋃B)化简得A =A⋃B,从而有A⊆B. 类似可以证明B⊆A.练习11.设A = {1, 2, 3}, R = {<x,y> | x, y∈A且x+2y≤ 6 },S = {<1,2>, <1,3>,<2,2>},求:(1) R的集合表达式(2) R-1(3) dom R, ran R, fld R(4) R S, R3(5) r(R), s(R), t(R)解答(1) R = {<1,1>, <1,2>, <2,1>, <2,2>, <3,1>}(2) R-1 = {<1,1>, <2,1>, <1,2>, <2,2>, <1,3 >}(3) dom R = {1, 2, 3}, ran R = {1,2}, fld R = {1, 2, 3}(4) R S = {<1,2>, <1,3>, <2,2>, <2,3>, <3,2>, <3,3>}R3 = {<1,1>, <1,2>, <2,1>, <2,2>, <3,1>, <3,2>}(5) r(R) = {<1,1>, <1,2>, <2,1>, <2,2>, <3,1>, <3,3>}s(R) = {<1,1>,<1,2>,<2,1>, <2,2>, <3,1>, <1,3>}t(R) = {<1,1>, <1,2>, <2,1>, <2,2>, <3,1>, <3,2>}练习22.设A={1,2,3,4},在A⨯A上定义二元关系R:<<x,y>,<u,v>>∈R ⇔x+y = u+v,求R导出的划分.A⨯A={<1,1>, <1,2>, <1,3>, <1,4>, <2,1>, <2,2>,<2,3>, <2,4>,<3,1>, <3,2>, <3,3>, <3,4>, <4,1>, <4,2>, <4,3>, <4,4>}根据 <x,y> 中的x+y = 2, 3, 4, 5, 6, 7, 8 将A划分成等价类:A/R={{<1,1>}, {<1,2>,<2,1>}, {<1,3>, <2,2>, <3,1>}, {<1,4>, <2,3>, <3,2>, <4,1>},{<2,4>, <3,3>, <4,2>},{<3,4>, <4,3>}, {<4,4>}}3.设R是Z上的模n 等价关系, 即x~y⇔x ≡y(mod n),试给出由R确定的Z的划分π.解设除以n 余数为r 的整数构成等价类 [r],则[r] ={ kn+r | k∈Z }, r= 0, 1, …, n-1π = { [r] | r= 0, 1, …, n-1}练习44.设偏序集 <A, R> 的哈斯图如图所示.(1) 写出A和R的集合表达式(2) 求该偏序集中的极大元、极小元、最大元、最小元解(1) A = {a, b, c, d, e}R = {<d,b>, <d,a>, <d,c>,<e,c>, <e,a>, <b,a>,<c,a>}⋃IA(2) 极大元和最大元是a,极小元是d, e;没有最小元.练习55.设R 是A 上的二元关系, 设S = {<a ,b > | ∃c (<a ,c >∈R ∧<c ,b >∈R )}. 证明如果R 是等价关系,则S 也是等价关系。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

考纲:第一章数理逻辑§1命题及其真值命题概念,命题联结词,命题真值表,命题符号化§2重言式命题公式的性质,逻辑等价公式,永真蕴含公式,命题公式推倒(化简与证明)§3范式指派,析取范式,合取范式,极小项,极大项,主范式的求法,与真值表之间的关系§4联结词的扩充与归约功能完备集,与非,或非§5推理规则和证明方法CP规则,直接证明法、条件证明法、反证法,命题公式证明§6谓词和量词全称量词,存在量词,基于谓词的命题符号化,公式的解释§7谓词演算的永真公式谓词公式的等价公式和永真蕴含公式,前束范式§8 谓词演算的推理规则基于谓词的推理,ES、EG、US、UG规则第二章集合§1集合论的基本概念集合的定义,表示方法§2集合的运算交,并,补,差,环和,环积,定义和谓词表示方法,幂集§3 自然数定义(了解)§4 集合的笛卡儿乘积笛卡尔成绩的计算第三章二元关系§1关系的基本概念二元关系的定义、性质判断及证明(自反,反对称,对称,反对称,传递)、关系图、关系矩阵§2关系的运算二元关系的合成运算、逆运算、矩阵表示,§3关系上的闭包运算自反闭包,对称闭包,传递闭包,求法和性质证明§4次序关系篇序关系的定义,哈斯图,8种特殊元素§5等价关系和划分等价关系的定义,等价划分,等价关系的证明。

第四章函数§1函数的基本概念定义、合成运算§2特殊函数类单射,满射,双射的判断§3逆函数定义第八章图论§1图的基本概念图、点、边的相关概念§2路径和回路基本路径,简单路径,基本回路,简单回路§3图的矩阵表示关联矩阵,邻接矩阵,可达性矩阵,权矩阵,最短路径(迪克斯特拉算法)§4 欧拉图和哈密尔顿图欧拉图的定义、判断方法;哈密尔顿图的应用-最小哈密尔顿回路(TSP)问题(最邻近算法)§5*二部图和平面图定义,应用§6树树的定义,性质,生成树,最小生成树(克鲁斯克儿算法)§7有向树二元树的定义,遍历,二元树与普通树的转换,表达式的计算等试卷类型:闭卷题型:填空题、命题符号化、作图、证明、计算离散数学练习题一、填空题1. 仅用∨和┐写出下列表达式的等价形式a) ⌝(P ∨ Q) ∧ ⌝R ⇔ b) ⌝A→(D ∨ ⌝E) ⇔ 2. 仅用∧和┐写出下列表达式的等价形式a) ⌝(P ∨ Q) ∧ ⌝R ⇔ b) ⌝Q →(P ∧Q) ⇔ ;3. 构造公式P ∧ (P ∨ Q) ↔Q的真值表。

4. 公式A有三个命题变元P、Q、R组成,其主合取范式为A⇔ 0 1 7 M ∧ M ∧ M ,则其主析取范式为:5. 公式A有三个命题变元P、Q、R组成,其主析取范式为A⇔ 0 2 5 6 m ∨ m ∨ m ∨ m ,则其主合取范式为:6. 设A = {a , b , c , d }, A 上的二元关系:R = {< a, a >,< a,b >,< b, d >,< c, a >,< c,c >},S = {< a,c >,< b,b >,< c,b >,< c,c >,< d,d >}则S -1 οR = RοS= r(R) = s(R)= t(S ) = 7. 给定如图所示的二元树:按先根次序遍历访问结点的顺序为:按中根次序遍历访问结点的顺序为:按后根次序遍历访问结点的顺序为:8. A = {1,2}, B = {a,b}, A⨯ B2 =∃xP(x,2) ___ __; ∀yP(1, y) __ ___; ∀x∀yP(x, y) ) __ ___。

∀x∃yP(x, y) ___;10. 集合A = {{Φ, 2},{2 }}的幂集ρ ( A)= 。

11. 设全集U={1,2,3,4,5,6,7,8,9,10}, A={1,2,4,5,6}, B={2,4,6,8,10},则:(A ∪B)-B =  , B - A =,B ⊕A=  ,B ⊗A= 12. A = {{1,2}}, B = {a ,b }, A ⨯ B = 。

13. 给定集合 S={a,b,c,d},S 上的等价关系R 能产生划分{{a},{b},{c,d}},则R = 14. 指出下列映射是单射、满射、双射还是既非单射也非满射: a) f : Z + → R , f (x ) = ln x ; (Z+: 表示正整数集)   。

b) + f : R → R , f (x ) = x 2 +1 ( + R 表示不小于0 的实数) 。

c) + f : R → R , f (x ) = x 2 ( + R 表示不小于0 的实数) 。

d) f : A → B , g : B →C , g ο f 是双射,则 f 是e) f : R → R ,  15. 请说出以下二元关系是否满足自反性、反自反性、对称性、反对称性和传递性。

(a):  (b):(c): (d)  :16. 某单位装配了30 辆汽车,其中15 辆有录音机,8 辆有空调,6 辆有座位调节,三种设备都有的有2 辆,问这三种设备都不具备的汽车至少有辆?17. 设无向图中有6 条边,有一个3度结点和一个5 度结点,其余结点的度数为2,则该。

图的结点数为: 二、命题符号化:18. 李明和王平是大学同学。

19. 不是所有的哺乳动物都是胎生的。

20. 任何一个公式总存在一个与之等价的主析取范式。

21. 有些人对某些药品过敏。

22. 参加考试的人不一定取得好成绩。

23. 发光的不都是金子。

24. 有的兔子比所有的乌龟跑的快。

25. 所有猫都是动物,但有些动物不是猫。

三、作图:26. 用二元有序树表示命题公式:(见课后习题P320 2)27. 将下图所示的普通的树转换为等价的二叉树。

28. 将下图所示的二叉树T转换为等价的普通树或树林。

29. 用克鲁斯克尔算法求出左图的最小生成树。

(见课后习题P309 11)四、证明题:30. A ∨ B →C ∧ D,D ∨ E →G ⇒ A→G31. 证明下列论证:如果甲参加球赛,则乙或丙也将参加球赛;如果乙参加球赛,则甲不参加球赛;如果丁参加球赛,则丙不参加球赛;所以,如果甲参加球赛,则丁不参加球赛。

32. 设R为二元关系,S = {< a,b >| ∃c,< a,c >∈ R∧ < c,b >∈ R},证明,若R是等价关系,则S也是等价关系。

33. 试证明:在任何一棵树T(n,m)中均有m=n-1。

五、计算题:34. 设集合A={2,3,4,5,6,8,12,18,36},R是A上的整除关系,(1) 画出偏序集(A, R)的哈斯图;(2) 写出集合A的最大元,最小元,极大元,极小元。

(3) 写出A的子集{2, 3, 6}的上界,下界,最小上界,最大下界;(4) 写出A的子集{2, 4, 6}的上界,下界,最小上界,最大下界;35. 在下图中用迪克斯特拉算法求从a到z最经济道路的长度以及该道路所经过的结点,并给出求解过程。

(见课后习题P278 18)__答案:一.1.a:⌝(P∨Q∨P)B: A∨D∨⌝E2.a:⌝P∧⌝Q∧⌝RB:Q3.P Q P∨Q P∨(P∧Q) P∧(P∨Q)↔Q0 0 0 0 10 1 1 0 01 0 1 1 01 1 1 1 14.A ⇔M2∨M3∨M4∨M5∨M65. A ⇔M2∧M3∧M4∧M76.{<c,a>,<c,b>,<b,d>,<b,a>,<b,c>,<c,c>}{<a,c>,<a,b>,<b,d>,<c,c>,<c,b>}{<a,a>,<b,b>,<c,c>,<d,d>,<a,b>,<b,d>,<c,a>}{<a,a>,<a,b>,<b,a>,<b,d>,<d,b>,<c,a>,<a,c>,<c,c>}{<a,c>,<b,b>,<c,b>,<c,c>,<d,d>,<a,b>}7.ABDGHCEFIBGDHAECIFGHDBEIFCA8.{<1,a,a>,<1,a,b>,<1,b,b>,<1,b,a>,<2,a,a>,<2,a,b>,<2,b,b>,<2,b,a>}9. 1 0 0 110.{ Φ,{ Φ,2},{2},{{ Φ,2},{2}}}11.{1,5} {2,4,6} {1,5,8,10} {2,3,4,6,7,9}12.{<{1,2},a>,<{1,2},b>}13.{<a,a>,<b,b>,<c,c>,<d,d>,<c,d>,<d,c>}14.单射既非单射也非满射满射单射双射15.a:反自反,对称,反对称,传递b:自反,反对称,传递c:自反,反对称传递d:自反,对称传递16.517.4二18.设A是“李明”B是“王平”F(x,y):“x与y是大学同学”,F(A,B)19.设P(x)为“x是哺乳动物”Q(x)为“x是胎生的”¬∀x(P(x)→Q(x))20设p(x)为“x是一个公式”,Q(x)为“x是一个主析取范式”,M(x,y)为“x 与y等价”∀x(P(x)→∃y(Q(y)∧M(x,y))21.设P(x)为“x是人”Q(x)为“x是药品”S(x,y)为“x对y过敏”∃x∃y(P(x) ∧Q(y) ∧S(x,y))22.设P(x)为“参加考试的人”Q(x)为“x取得好成绩”∃x(P(x)∧¬Q(x))23设p(x)为“x发光”Q(x)为“x是金子”¬∀x(P(x)→ Q(x))24设P(x)为“x是兔子”Q(x)为“x是乌龟”H(x,y)为“x比y跑的快”∃x(P(x)∧∀y(Q(y)→H(x,y)))25设P(X)为“x是猫”,Q(x)为“x是动物”∀x(P(x)→ Q(x))∧∃想(Q(x)∧¬ P(x))三:略四30设A成立则推出A∨B与A∨B→C∧D则推出C∧D即D即D∨E又D∨E→G故G则A→G 31设甲乙丙丁参加球赛为ABCDA→B∨CB→¬A ⇒ A→¬DD→¬C又¬A∨B∨C与¬B∨¬A推出C且¬D∨¬C故D联立A→¬D得A→¬D32.①自反性∀x R自反∴<x,x>∈R∧<x,x>∈Q∴<x,x>∈S②对称性∀x,y若<x,y>∈S ∃c使<x,c>∈R∧<c,y>∈R R对称∴<y,c>∈R∧<C,x>∈R∴<t,x>∈S③传递性∀x,y,z若<x,y>∈S,<y,z>∈S ∃C1使<x,C1>∈R∧<C1y>∈R,∃C2使<y,C2>∈R∧<C2y>∈RR是传递∴<x,y>∈R∧<Y,z>∈R∴<x,z>∈S34.①如图②A的最大元36最小元无极大元36极小元2,3,5③{2,3,6}上界6,12,18,36下界无最小上界6最大下界无④{2,4,6}上界12,16下界2最小上界12最大下界235node P/T pro l(t)a 1b 2 a ①c 6 h 10 10 10 10 ⑨d 4e 6 6 ⑤e 3 a 3 ③f 7 c ∞ 11 11 11 11 ⑩g 9 f ∞∞∞∞ 13 13 12 ⑿h 5 d ∞∞ 9 ⑧I 8 e/h ∞∞ 11 11 11 11 ⑾Z g ∞∞∞∞ 16 16 15 15 15 14 故aedhcfgz。

相关文档
最新文档