山东大学网络教育离散数学卷(2)-参考答案

合集下载

大学《离散数学》题库及答案

大学《离散数学》题库及答案

《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( A )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。

答:x,y, x,z(考察定义在公式∀x A和∃x A中,称x为指导变元,A为量词的辖域。

在∀x A和∃x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y,x)和∃z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。

若是,给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。

(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是(命题必须满足是陈述句,不能是疑问句或者祈使句。

)6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。

离散数学(第二版)课后习题答案详解(完整版)

离散数学(第二版)课后习题答案详解(完整版)

离散数学(第⼆版)课后习题答案详解(完整版)习题⼀1.下列句⼦中,哪些是命题?在是命题的句⼦中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四⼤发明.答:此命题是简单命题,其真值为 1.(2)5 是⽆理数.答:此命题是简单命题,其真值为 1.(3)3 是素数或 4 是素数.答:是命题,但不是简单命题,其真值为1.(4)2x+ <3 5 答:不是命题.(5)你去图书馆吗?答:不是命题.(6)2 与3 是偶数.答:是命题,但不是简单命题,其真值为0.(7)刘红与魏新是同学.答:此命题是简单命题,其真值还不知道.(8)这朵玫瑰花多美丽呀!答:不是命题.(9)吸烟请到吸烟室去!答:不是命题.(10)圆的⾯积等于半径的平⽅乘以π.答:此命题是简单命题,其真值为 1.(11)只有6 是偶数,3 才能是2 的倍数.答:是命题,但不是简单命题,其真值为0.(12)8 是偶数的充分必要条件是8 能被3 整除.答:是命题,但不是简单命题,其真值为0.(13)2008 年元旦下⼤雪.答:此命题是简单命题,其真值还不知道.2.将上题中是简单命题的命题符号化.解:(1)p:中国有四⼤发明.(2)p: 是⽆理数.(7)p:刘红与魏新是同学.(10)p:圆的⾯积等于半径的平⽅乘以π.(13)p:2008 年元旦下⼤雪.3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值.(1)5 是有理数.答:否定式:5 是⽆理数. p:5 是有理数.q:5 是⽆理数.其否定式q 的真值为1.(2)25 不是⽆理数.答:否定式:25 是有理数. p:25 不是⽆理数. q:25 是有理数. 其否定式q 的真值为1.(3)2.5 是⾃然数.答:否定式:2.5 不是⾃然数. p:2.5 是⾃然数. q:2.5 不是⾃然数. 其否定式q 的真值为1.(4)ln1 是整数.答:否定式:ln1 不是整数. p:ln1 是整数. q:ln1 不是整数. 其否定式q 的真值为1.4.将下列命题符号化,并指出真值.(1)2 与5 都是素数答:p:2 是素数,q:5 是素数,符号化为p q∧,其真值为 1.(2)不但π是⽆理数,⽽且⾃然对数的底e 也是⽆理数.答:p:π是⽆理数,q:⾃然对数的底e 是⽆理数,符号化为p q∧,其真值为1.(3)虽然2 是最⼩的素数,但2 不是最⼩的⾃然数.答:p:2 是最⼩的素数,q:2 是最⼩的⾃然数,符号化为p q∧? ,其真值为1.(4)3 是偶素数.答:p:3 是素数,q:3 是偶数,符号化为p q∧,其真值为0.(5)4 既不是素数,也不是偶数.答:p:4 是素数,q:4 是偶数,符号化为? ∧?p q,其真值为0.5.将下列命题符号化,并指出真值.(1)2 或3 是偶数.(2)2 或4 是偶数.(3)3 或5 是偶数.(4)3 不是偶数或4 不是偶数.(5)3 不是素数或4 不是偶数.答: p:2 是偶数,q:3 是偶数,r:3 是素数,s:4 是偶数, t:5 是偶数(1)符号化: p q∨,其真值为1.(2)符号化:p r∨,其真值为1.(3)符号化:r t∨,其真值为0.(4)符号化:? ∨?q s,其真值为1.(5)符号化:? ∨?r s,其真值为0.6.将下列命题符号化.(1)⼩丽只能从筐⾥拿⼀个苹果或⼀个梨.答:p:⼩丽从筐⾥拿⼀个苹果,q:⼩丽从筐⾥拿⼀个梨,符号化为: p q∨ .(2)这学期,刘晓⽉只能选学英语或⽇语中的⼀门外语课.答:p:刘晓⽉选学英语,q:刘晓⽉选学⽇语,符号化为: (? ∧∨∧?p q)(p q) .7.设p:王冬⽣于1971 年,q:王冬⽣于1972 年,说明命题“王冬⽣于1971 年或1972年”既可以化答:列出两种符号化的真值表:合命题可以发现,p 与q 不可能同时为真,故上述命题有两种符号化⽅式.8.将下列命题符号化,并指出真值., 就有;(1)只要, 则;, 才有;(3)只有, 才有;(4)除⾮, 否则;(5)除⾮(6)仅当.答:设p: , 则: ; 设q: , 则: .(1);(2);;(3);(4);(5);(6);(7).答:根据题意,p 为假命题,q 为真命题.(1);(2);(3);(4).答:根据题意,p 为真命题,q 为假命题.(1)若2+2=4,则地球是静⽌不动的;(2)若2+2=4,则地球是运动不⽌的;(3)若地球上没有树⽊,则⼈类不能⽣存;(4)若地球上没有⽔,则是⽆理数.12.将下列命题符号化,并给出各命题的真值:(1)2+2=4 当且仅当3+3=6;(2)2+2=4 的充要条件是3+3 6;(3)2+2 4 与3+3=6 互为充要条件;(4)若2+2 4,则3+3 6,反之亦然.答:设p:2+2=4,q:3+3=6.(1)若今天是星期⼀,则明天是星期⼆;(2)只有今天是星期⼀,明天才是星期⼆;(3)今天是星期⼀当且仅当明天是星期⼆;(4)若今天是星期⼀,则明天是星期三.答:设p:今天是星期⼀,q:明天是星期⼆,r:明天是星期三.(1)刘晓⽉跑得快,跳得⾼;(2)⽼王是⼭东⼈或者河北⼈;(3)因为天⽓冷,所以我穿了⽻绒服;(4)王欢与李乐组成⼀个⼩组;(5)李欣与李末是兄弟;(6)王强与刘威都学过法语;(7)他⼀⾯吃饭,⼀⾯听⾳乐;(8)如果天下⼤⾬,他就乘班车上班;(9)只有天下⼤⾬,他才乘班车上班;(10)除⾮天下⼤⾬,否则他不乘班车上班;(11)下雪路滑,他迟到了;(12)2 与4 都是素数,这是不对的;(13)“2 或 4 是素数,这是不对的”是不对的.答:q:⼤熊猫产在中国.r:太阳从西⽅升起. 求下列符合命题的真值:(1)(2)(3)(4)解:p真值为1,q 真值为1,r 真值为0.(1)0,(2)0,(3)0,(4)116.当p,q 的真值为0,r,s 的真值为1 时,求下列各命题公式的真值:(1)(2)(3)(4)解:(1)0,(2)0,(3)0,(4)117.判断下⾯⼀段论述是否为真:“ 是⽆理数.并且,如果3 是⽆理数,则也是⽆理数.另外,只有6 能被2 整除,6 才能被4 整除.”解:p: 是⽆理数q: 3 是⽆理数r:是⽆理数s: 6 能被2 整除t:6 能被 4 整除符号化为: ,该式为重⾔式,所以论述为真。

离散数学第2版课后习题答案

离散数学第2版课后习题答案

离散数学第2版课后习题答案离散数学是计算机科学和数学领域中一门重要的学科,它研究离散对象及其关系、结构和运算方法。

离散数学的应用非常广泛,包括计算机科学、信息科学、密码学、人工智能等领域。

而离散数学第2版是一本经典的教材,它系统地介绍了离散数学的基本概念、原理和方法。

本文将为读者提供离散数学第2版课后习题的答案,帮助读者更好地理解和掌握离散数学的知识。

第一章:基本概念和原理1.1 命题逻辑习题1:命题逻辑的基本符号有哪些?它们的含义是什么?答:命题逻辑的基本符号包括命题变量、命题联结词和括号。

命题变量用字母表示,代表一个命题。

命题联结词包括否定、合取、析取、条件和双条件等,分别表示“非”、“与”、“或”、“如果...则...”和“当且仅当”。

括号用于改变命题联结词的优先级。

习题2:列举命题逻辑的基本定律。

答:命题逻辑的基本定律包括德摩根定律、分配律、结合律、交换律、吸收律和否定律等。

1.2 集合论习题1:什么是集合?集合的基本运算有哪些?答:集合是由一些确定的对象组成的整体,这些对象称为集合的元素。

集合的基本运算包括并、交、差和补等。

习题2:列举集合的基本定律。

答:集合的基本定律包括幂等律、交换律、结合律、分配律、吸收律和德摩根定律等。

第二章:数理逻辑2.1 命题逻辑的推理习题1:什么是命题逻辑的推理规则?列举几个常用的推理规则。

答:命题逻辑的推理规则是用来推导命题的逻辑规则。

常用的推理规则包括假言推理、拒取推理、假言三段论和析取三段论等。

习题2:使用推理规则证明以下命题:如果A成立,则B成立;B不成立,则A不成立。

答:假言推理规则可以用来证明该命题。

根据假言推理规则,如果A成立,则B成立。

又根据假言推理规则,如果B不成立,则A不成立。

2.2 谓词逻辑习题1:什么是谓词逻辑?它与命题逻辑有何区别?答:谓词逻辑是一种扩展了命题逻辑的逻辑系统,它引入了谓词和量词。

与命题逻辑不同,谓词逻辑可以对个体进行量化和描述。

离散数学第二次作业题及答案.doc

离散数学第二次作业题及答案.doc

第2次作业一、单项选择题(本大题共40分,共20小题,每小题2分)1.假设A={a, b, c, d},考虑子集S= {{a, b}, {b, c}, {d}},则下列选项正确的是()oA.S是A的覆盖B.S是A的划分C.s既不是划分也不是覆盖D.以上选项都不正确2.设h是群G上的一个同态,|G|二12,山(G)|二3,则|K| (K是h的核)二_________________ ()A.1B.2C.D.3.L23 ), 设G是连通(n,m)的平面图,有r个面,且每个面的次数至少为L( 则A.m>3n-6B.Hl <c.m+n-r=2D.m+r-n二24.如果小王和小张都不去,则小李去。

设P:小王去。

Q:小张去。

R:小李去。

则命题符号化为_________ oA.-I QA-i PVRB.(Q->P)ARC.(n PAn QLRD.(PAQ)-R5.没有不犯错误的人。

M(x): x为人。

F (x) : x犯错误。

则命题可表示为()OA.(Vx) (M(x) F (x)B.(3x) (M(x) AF(x)C.(Vx) (M(x)AF(x))D.(3x) (M(x)-F(x)6.(1)燕子北冋,春天来了。

设P:燕了北回。

Q:春天來了。

则(1)可以表示为___________ oP->QQ-PC.UQD.P VQ7.命题公式(P->QA-i P)的类型是___________ 。

A.重言式B.矛盾式C.可满足式D.永真式6.一阶逻辑公式Vx(F(x, y)AG(y, z) )—VzF(z, y)是()前束范式封闭公式C.永真式D.永假式7.谓词公式(3x)P(x, y) A (Vx) (Q(x, z)-> Gx) (Vy)R(x, y, z)中的量词Vx 的辖域是()。

A.(Vx)(Q(x,z)->(3 x)( Vy)R(x,y ,z)B.Q(x, z)-> (Vy)R(x, y, z)C.Q (x, z) —(3x) (Vy) R (x, y, z)D.Q(x, z)8.关于半群的性质,下面说法不正确的是()A.若〈S,*>S且*在8上是封闭的,那么匸是一个半群,B<B, *>也是一个半群。

离散数学考试题及详细参考答案

离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。

b)我今天进城,除非下雨。

c)仅当你走,我将留下。

2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。

c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.二、简答题(共6道题,共32分)1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。

(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。

(4分)4.判断下面命题的真假,并说明原因。

(每小题2分,共4分)a)(A B)-C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)三、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。

(每小题5分,共10分)a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x)),x R(x) x P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠ 且B≠ ,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。

大学_《离散数学》课后习题答案

大学_《离散数学》课后习题答案

《离散数学》课后习题答案《离散数学》简介1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。

教学方式以课堂讲授为主,课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。

《离散数学》学科内容随着信息时代的到来,工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化,离散数学的重要性逐渐被人们认识。

离散数学课程所传授的思想和方法,广泛地体现在计算机科学技术及相关专业的诸领域,从科学计算到信息处理,从理论计算机科学到计算机应用技术,从计算机软件到计算机硬件,从人工智能到认知系统,无不与离散数学密切相关。

由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。

离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。

离散数学的应用遍及现代科学技术的诸多领域。

离散数学也可以说是计算机科学的基础核心学科,在离散数学中的有一个著名的典型例子-四色定理又称四色猜想,这是世界近代三大数学难题之一,它是在1852年,由英国的一名绘图员弗南西斯格思里提出的,他在进行地图着色时,发现了一个现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上不同的颜色”。

山东大学网络教育离散数学卷(1)-参考答案

山东大学网络教育离散数学卷(1)-参考答案

山东大学网络教育离散数学卷(1)-参考答案-CAL-FENGHAI-(2020YEAR-YICAI)_JINGBIAN山东大学网络教育离散数学试卷 (参考答案)一、 选择题1、设}}8,7,6{},5,4{},3,2,1{{=A ,下列选项正确的是:(3)(1)A ∈1 (2)A ⊆}3,2,1{ (3)A ⊂}}5,4{{ (4)A ∈∅2、对任意集合C B A ,,,下述论断正确的是:(1)(1)若C B B A ⊆∈,,则C A ∈ (2)若C B B A ⊆∈,,则C A ⊆(3)若C B B A ∈⊆,,则C A ∈ (4)若C B B A ∈⊆,,则C A ⊆3、假设},,{c b a A =上的关系如下,具有传递性的关系是:(4)(1)},,,,,{>><><><><<a b b a a a a c c a(2)},,,{>><><<a a a c c a(3)},,{>><<a c c a(4)},{><c a4、非空集合A 上的空关系R 不具备下列哪个性质:(1)(1)自反性 (2)反自反性 (3) 对称性 (4)传递性5、假设},,{c b a A =,}2,1{=B ,令:B A f →:,则不同的函数个数为:(2)(1)2+3个 (2)32个 (3)32⨯个 (4)23个6、假设},,{c b a A =,}2,1{=B ,下列哪个关系是A 到B 的函数:(3)(1)}2,1,2,1,2,1,{>><><><><><<=c c b b a a f(2)},,,,,,{>><><><><><<=c c a c b b a b b a a a f(3)}1,2,1,{>><><<=c b a f(4)},1,2,1{>><><<=c b a f7、一个无向简单图G 有m 条边,n 个顶点,则图中顶点的总度数为:(3)(1)2m (2)2n (3)m 2 (4)n 28、一个图是欧拉图是指:(1)(1)图中包含一条回路经过图中每条边一次且仅一次;(2)图中包含一条路经过图中每条边一次且仅一次;(3)图中包含一条回路经过图中每个顶点一次且仅一次;(4)图中包含一条路经过图中每个顶点一次且仅一次。

离散数学-试卷答案

离散数学-试卷答案

山东大学继续(网络)教育学院试卷课程名称:离散数学课程代码:0006610024考试说明:一、填空题(本大题共10小题,共64分)1.一个图是欧拉图是指:图中包含一条_回路__经过图中_每条边___一次且仅一次。

(8.0分)2.完全m叉树中有l片叶,i个分支点,则有它们之间的关系表达式是______。

(4.0分)3.假设P:我们划船,Q:我们跑步。

命题:“我们既划船又跑步”的符号化为__P∧Q___。

(4.0分)4.假设P(x):x是生物,Q(x):x要呼吸,命题“所有的生物都要呼吸”符号化为__Vx(P(x)→Q(x))____。

(4.0分)5.一个代数系统是群的条件是:运算是_封闭的、可结合__的,存在_幺元___,每个元素都有逆元。

(8.0分)6.设,A上的二元运算*定义为:,(4.0分)则在含幺半群中,单位元是__2__。

7.假设,,(16.0分)(1)___{1,2,3,5}___;(2)___{1,3,5,7,11,13,17,19}___;(3)_{7,11,13,17,19}_____;(4)__Ø____;8.设无向图G有12条边,有3个3度的顶点,其余顶点度数均小于3,则G中至少有__11____个顶点。

(4.0分)9.一棵树有2个2度顶点,1个3度顶点,3个4度顶点,则有_9_____片叶。

(4.0分)10. 假设R和S是A集合上的任意关系,若R和S是__自反____的,则R。

S也是___自反___的。

(8.0分)二、综合题(本大题共2小题,共36分)1.假设N是自然数集合,定义上的二元关系R。

证明:R是一个等价关系,并求出关系R所确定的等价类。

2.令V={a,b,c,d,e},E={aa,ab,ab,ba,cd,ca,dd,de},A={<a,a>,<a,b>,<b,a>,<c,d>}做出图G=<V,E>和D=<V,A>的图示。

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

山东大学网络教育离散数学卷2参考答案
一、选择题
1、请指出下列选项中哪一个是错误的:(2)
(1)∅⊆∅ (2)∅∈∅ (3)}{∅⊆∅ (4)}{∅∈∅
2、对任意集合C B A ,,,下述论断正确的是:(1)
(1)若C B B A ⊆∈,,则C A ∈ (2)若C B B A ⊆∈,,则C A ⊆
(3)若C B B A ∈⊆,,则C A ∈ (4)若C B B A ∈⊆,,则C A ⊆
3、假设},,{c b a A =上的关系},,,,{>><><><<=a c c a b a a a R ,那么,R 是:(4)
(1)反自反的 (2)反对称的 (3) 可传递的 (4)不可传递的
4、非空集合A 上的空关系R 不具备下列哪个性质:(1)
(1)自反性 (2)反自反性 (3) 对称性 (4)传递性
5、若C B g B A f →→:,:是满射函数,则复合函数f g 必是:(3)
(1)双射函数 (2)单射函数 (3)满射函数 (4)不单射也不满射
6、假设},,{c b a A =,}2,1{=B ,下列哪个关系是A 到B 的函数:(3)
(1)}2,1,2,1,2,1,{>><><><><><<=c c b b a a f
(2)},,,,,,{>><><><><><<=c c a c b b a b b a a a f
(3)}1,2,1,{>><><<=c b a f
(4)},1,2,1{>><><<=c b a f
7、一个无向简单图G 有m 条边,n 个顶点,则图中顶点的总度数为:(3)
(1)2m (2)2
n (3)m 2 (4)n 2
8、一个图是哈密顿图是指:(3)
(1)图中包含一条回路经过图中每条边一次且仅一次;
(2)图中包含一条路经过图中每条边一次且仅一次;
(3)图中包含一条回路经过图中每个顶点一次且仅一次;
(4)图中包含一条路经过图中每个顶点一次且仅一次。

9、一棵树有2个2度顶点,1个3度顶点,3个4度顶点,则其1度的顶点数为:(2)
(1)5 (2)7 (3)8 (4)9
10、完全m 叉树中有l 片叶,i 个分支点,则有关系式是:(2)
(1)1-=l i (2)l i m =+-1)1( (3)l i m =-)1( (4)1)1(-=-i l m
二、填空题
1、假设}}{},,{{c b a A =,}}{},{},{{c b a B =试求出:
A 的幂集=)(A ρ{∅,{{a,b}},{{c}},{{a,b},{c}}};
2、假设},30|{2正整数∈<=x x x A ,}20|{<=x x x B 是正奇数,
,}5,3,1{=C
(1)=--)()(A B A C {7,9,11,13,15,17,19};
(2)=-A C B )( ∅;
3、假设}4,3,2,1{=A 上的关系}3,2{><=R ,则:
(1)=)(R r {<1,1>,<2,2>,<2,3>,<3,3>,<4,4>};
(2)=)(R s {<2,3>,<3,2>};
(3)=)(R t {<2,3>};
4、假设}3,2,1{=A ,h g f ,,是A 到A 的函数,其中:(a )1)3()2()1(===f f f ;(b )1)1(=g ,3)2(=g ,2)3(=g ;(c )3)1(=h ,1)3()2(==h h ;则:
(1)g 是满射;(2)g 是双射;
5、设无向图G 有36条边,有6个3度的顶点,其余顶点度数均小于3,则G 中至少有33个顶点。

6、假设P :今天天气好,Q :我就去锻炼身体。

(1)命题“如果今天天气好,我就去锻炼身体”符号化为 P →Q ;
三、假设A 、B 是任意两个集合,证明:)()()(B A B A ρρρ=。

证明:对)()(B p A p X ∈∀,则)(A p X ∈且)(B p X ∈
所以A X ⊆ 并且 B X ⊆
由交集的定义,则
B A X ⊆ 所以
)(B A p X ∈ 因此 )()()(B A p B p A p ⊆
反之,假设)(B A p X ∈∀
则 B A X ⊆
所以 A X ⊆ 并且 B X ⊆
所以 )(A p X ∈ 且 )(B p X ∈
由交集定义,则)()(B p A p X ∈
故 )()()(B p A p B A p ⊆
综上 )()()(B A B A ρρρ=
四、证明定义在实数集合R 上的关系}3
,
,|,{是整数y x R y x y x S -∈><=是一个等价关系。

证明:对R x ∈∀,则3x
x -是整数,所以S 是自反的;
对R y x ∈∀,,并且设S y x >∈<,,则q y x =-3是整数
而q x y -=-3也是整数,所以S x y >∈<,,S 是对称的;
对R z y x ∈∀,,,并且设S y x >∈<,,S z y >∈<,
则 q y x =-3,r z y =-3,r q ,是整数;
而 r q z y y x z y y x z x +=-+-=-+-=-3333也是整数
所以 S z x >∈<,
因此 S 是传递的
综上,S 是等价关系。

五、对下列集合在整除关系下构成的偏序集,画出Hasse 图,并写出最大元,最小元,极大元,极小元。

(1)}36,24,12,6,3,2{1=A
(2)}30,15,10,6,5,3,2,1{2=A
(3)}9,6,3,1{3=A
解:(1)无最大元,极大元为:24,36;无最小元,极小元为:2,3;
(2)最大元和极大元为:30;最小元和极小元为:1
(3)无最大元,极大元为:6,9;最小元和极小元为:1
9
6 3 1 (1) (3)
六、设无向图G 中有9个顶点,每个顶点的度数不是5就是6,试证明G 中至少有5个6度顶点或至少有6个5度顶点。

解:假设图G 中最多有4个6度顶点,并且最多有有5个5度顶点
则度为奇数的顶点只能为偶数个,所以5度顶点应该为4个,
而6度顶点最多也为4个,所以与命题条件有9个顶点产生矛盾;
因此G 中至少有5个6度顶点或至少有6个5度顶点。

相关文档
最新文档