离散数学模拟题一套及答案

上传人:沈*** 文档编号:116156014 上传时间:2022-07-05 格式:DOC 页数:6 大小:210KB
收藏 版权申诉 举报 下载
离散数学模拟题一套及答案_第1页
第1页 / 共6页
离散数学模拟题一套及答案_第2页
第2页 / 共6页
离散数学模拟题一套及答案_第3页
第3页 / 共6页
资源描述:

《离散数学模拟题一套及答案》由会员分享,可在线阅读,更多相关《离散数学模拟题一套及答案(6页珍藏版)》请在装配图网上搜索。

1、离散数学考试(试题及答案)一、(10分)某项工作需要派A、B、C和D 4个人中的2个人去完成,按下面3个条件,有几种派法?如何派?(1)若A去,则C和D中要去1个人;(2)B和C不能都去;(3)若C去,则D留下。解 设A:A去工作;B:B去工作;C:C去工作;D:D去工作。则根据题意应有:ACD,(BC),CD必须同时成立。因此(ACD)(BC)(CD)(A(C D)(CD)(BC)(CD)(A(C D)(CD)(BC)(BD)C(CD)(ABC)(ABD)(AC)(ACD)(C DBC)(C DBD)(C DC)(C DCD)(CDBC)(CDBD)(CDC)(CDCD)FF(AC)FF(C

2、 DB)FF(CDB)F(CD)F(AC)(BC D)(CDB)(CD)(AC)(BC D)(CD)T故有三种派法:BD,AC,AD。二、(15分)在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。解:论域:所有人的集合。():是专家;():是工人;():是青年人;则推理化形式为:()(),()()()下面给出证明:(1)() P(2)(c) T(1),ES(3)()() P(4)( c)( c) T(3),US(5)( c) T(4),I(6)( c)(c) T(2)(5),I(7)()() T(6) ,EG三、(10分)设A

3、、B和C是三个集合,则AB(BA)。证明:ABx(xAxB)$x(xBxA)x(xAxB)$x(xBxA)$x(xAxB)x(xBxA)$x(xAxB)x(xAxB)($x(xAxB)x(xAxB)($x(xAxB)x(xBxA)(BA)。四、(15分)设A1,2,3,4,5,R是A上的二元关系,且R,求r(R)、s(R)和t(R)。解 r(R)RIA,s(R)RR1,R2,R3,R4,R2t(R)Ri,。五、(10分)R是非空集合A上的二元关系,若R是对称的,则r(R)和t(R)是对称的。证明 对任意的x、yA,若xr(R)y,则由r(R)RIA得,xRy或xIAy。因R和IA对称,所以有y

4、Rx或yIAx,于是yr(R)x。所以r(R)是对称的。下证对任意正整数n,Rn对称。因R对称,则有xR2y$z(xRzzRy)$z(zRxyRz)yR2x,所以R2对称。若对称,则xy$z(xzzRy)$z(zxyRz)yx,所以对称。因此,对任意正整数n,对称。对任意的x、yA,若xt(R)y,则存在m使得xRmy,于是有yRmx,即有yt(R)x。因此,t(R)是对称的。六、(10分)若f:AB是双射,则f1:BA是双射。证明 因为f:AB是双射,则f1是B到A的函数。下证f1是双射。对任意xA,必存在yB使f(x)y,从而f1(y)x,所以f1是满射。对任意的y1、y2B,若f1(y1

5、)f1(y2)x,则f(x)y1,f(x)y2。因为f:AB是函数,则y1y2。所以f1是单射。综上可得,f1:BA是双射。七、(10分)设是一个半群,如果S是有限集,则必存在aS,使得a*aa。证明 因为是一个半群,对任意的bS,由*的封闭性可知,b2b*bS,b3b2*bS,bnS,。因为S是有限集,所以必存在ji,使得。令pji,则*。所以对qi,有*。因为p1,所以总可找到k1,使得kpi。对于S,有*(*)*。令a,则aS且a*aa。八、(20分)(1)若G是连通的平面图,且G的每个面的次数至少为l(l3),则G的边数m和结点数n有如下关系:m(n2)。证明 设G有r个面,则2mlr

6、。由欧拉公式得,nmr2。于是, m(n2)。(2)设平面图G是自对偶图,则| E|2(|V|1)。证明 设G*是连通平面图G的对偶图,则G* G,于是|F|V*|V|,将其代入欧拉公式|V|E|F|2得,|E|2(|V|1)。离散数学考试试题(B卷及答案)一、(10分)证明(PQ)(PR)(QS)SR证明 因为SRRS,所以,即要证(PQ)(PR)(QS)RS。(1)R 附加前提(2)PR P(3)P T(1)(2),I(4)PQ P(5)Q T(3)(4),I(6)QS P(7)S T(5)(6),I(8)RS CP(9)SR T(8),E二、(15分)根据推理理论证明:每个考生或者勤奋或

7、者聪明,所有勤奋的人都将有所作为,但并非所有考生都将有所作为,所以,一定有些考生是聪明的。设P(e):e是考生,Q(e):e将有所作为,A(e):e是勤奋的,B(e):e是聪明的,个体域:人的集合,则命题可符号化为:x(P(x)(A(x)B(x),x(A(x)Q(x),x(P(x)Q(x)$x(P(x)B(x)。(1)x(P(x)Q(x) P(2)x(P(x)Q(x) T(1),E(3)$x(P(x)Q(x) T(2),E(4)P(a)Q(a) T(3),ES(5)P(a) T(4),I(6)Q(a) T(4),I(7)x(P(x)(A(x)B(x) P(8)P(a)(A(a)B(a) T(7

8、),US(9)A(a)B(a) T(8)(5),I(10)x(A(x)Q(x) P(11)A(a)Q(a) T(10),US(12)A(a) T(11)(6),I(13)B(a) T(12)(9),I(14)P(a)B(a) T(5)(13),I(15)$x(P(x)B(x) T(14),EG三、(10分)某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。而6个会打网球的人都会打另外一种球,求不会打这三种球的人数。解 设A、B、C分别表示会打排球、网球和篮球的学生集合。则:|A|12,|B|6,|C|14,|AC|6,|BC|5

9、,|ABC|2,|(AC)B|6。因为|(AC)B|(AB)(BC)|(AB)|(BC)|ABC|(AB)|526,所以|(AB)|3。于是|ABC|12614653220,25205。故,不会打这三种球的共5人。四、(10分)设A1、A2和A3是全集U的子集,则形如Ai(Ai为Ai或)的集合称为由A1、A2和A3产生的小项。试证由A1、A2和A3所产生的所有非空小项的集合构成全集U的一个划分。证明 小项共8个,设有r个非空小项s1、s2、sr(r8)。对任意的aU,则aAi或a,两者必有一个成立,取Ai为包含元素a的Ai或,则aAi,即有asi,于是Usi。又显然有siU,所以Usi。任取两

10、个非空小项sp和sq,若spsq,则必存在某个Ai和分别出现在sp和sq中,于是spsq。综上可知,s1,s2,sr是U的一个划分。五、(15分)设R是A上的二元关系,则:R是传递的R*RR。证明 (5)若R是传递的,则R*R$z(xRzzSy)xRccSy,由R是传递的得xRy,即有R,所以R*RR。反之,若R*RR,则对任意的x、y、zA,如果xRz且zRy,则R*R,于是有R,即有xRy,所以R是传递的。六、(15分)若G为连通平面图,则nmr2,其中,n、m、r分别为G的结点数、边数和面数。证明 对G的边数m作归纳法。当m0时,由于G是连通图,所以G为平凡图,此时n1,r1,结论自然成

11、立。假设对边数小于m的连通平面图结论成立。下面考虑连通平面图G的边数为m的情况。设e是G的一条边,从G中删去e后得到的图记为G,并设其结点数、边数和面数分别为n、m和r。对e分为下列情况来讨论:若e为割边,则G有两个连通分支G1和G2。Gi的结点数、边数和面数分别为ni、mi和ri。显然n1n2nn,m1m2mm1,r1r2r1r1。由归纳假设有n1m1r12,n2m2r22,从而(n1n2)(m1m2)(r1r2)4,n(m1)(r1)4,即nmr2。若e不为割边,则nn,mm1,rr1,由归纳假设有nmr2,从而n(m1)r12,即nmr2。由数学归纳法知,结论成立。七、(10分)设函数g

12、:AB,f:BC,则:(1)fog是A到C的函数;(2)对任意的xA,有fog(x)f(g(x)。证明 (1)对任意的xA,因为g:AB是函数,则存在yB使g。对于yB,因f:BC是函数,则存在zC使f。根据复合关系的定义,由g和f得g*f,即fog。所以DfogA。对任意的xA,若存在y1、y2C,使得、fogg*f,则存在t1使得g且f,存在t2使得g且f。因为g:AB是函数,则t1t2。又因f:BC是函数,则y1y2。所以A中的每个元素对应C中惟一的元素。综上可知,fog是A到C的函数。(2)对任意的xA,由g:AB是函数,有g且g(x)B,又由f:BC是函数,得f,于是g*ffog。又

13、因fog是A到C的函数,则可写为fog(x)f(g(x)。八、(15分)设是的子群,定义R|a、bG且a1*bH,则R是G中的一个等价关系,且aRaH。证明 对于任意aG,必有a1G使得a1*aeH,所以R。若R,则a1*bH。因为H是G的子群,故(a1*b)1b1*aH。所以R。若R,R,则a1*bH,b1*cH。因为H是G的子群,所以(a1*b)*(b1*c)a1*cH,故R。综上可得,R是G中的一个等价关系。对于任意的baR,有R,a1*bH,则存在hH使得a1*bh,ba*h,于是baH,aRaH。对任意的baH,存在hH使得ba*h,a1*bhH,R,故aHaR。所以,aRaH。6 / 66 / 6

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!