离散数学试题及答案_第1页
离散数学试题及答案_第2页
离散数学试题及答案_第3页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

一、填空1设集合A,B,其中A={1,2,3},B={1,2},则A- (A)(B)= 设有限集合A,|A|=n,则|(A×A)|= 设集合A={a,b},B={1,2},则从A到B的所有映射 ,其中双射的 6设A、B为两个集合,A={1,2,4},B={3,4},则从AB= ;A-B= 设R是集合A上的等价关系则R所具有的关系的三个特性 , 设命题公式G=(P(QR)),则使公式G为真的解释 A={1,2,3,4},AR1{(1,4),(2,3),(3,2)},R2{(2,1),(3,2),(4,3)},1R1R2= ,R2R1= R2= 1设有限集A,B,|A|=m,|B|=n,则||(AB)|= 11A,B,RR是实数集,A{x|1≤x≤1,xR},B{x|0≤x2,则A-B= ,B-A= A∩B= ,.设集合A={2,3,4,5,6},R是A上的整除,则R以集合形式(列举法)记 设谓词的定义域为{a,b},将表达式xR(x)→xS(x)中量词消除,写成与之对应题式 A={1,2,3,4},AR={(1,1),(1,2),(2,3S={(1,3),(2,3),(3,2)} 二、选择 设集合A={2,{a},3,4},B={{a},3,4,1},E为全集,则下列命题正确的是( 设集合A={1,2,3},A上的关系R={(1,1),(2,2),(2,3),(3,2),(3,3)},则R不具备 设半序集(A,≤)AB={2,3,4,5},6B65216521 (C)最小上 )是命题请把门关 (C)x5> (D)I

P(a,a)

则在解释I下取真值为1的公式是 G、H是一阶逻辑公式,P是一个谓词,G=xP(x),H=xP(x),是 (B)恒(C)可满足 设命题公式G=(PQ),H=P(QP),则G与H的关系是( 设A,B为集合,当 )时 设集合A={1,2,3,4},A上的关系R={(1,1),(2,3),(2,4),(3,4)},则R具有 ) ) 命题xG(x)取真值1的充分必要条件是 (A)对任意x,G(x)都取真值1. (B)有一个x0,使G(x0)取真值1.(C)有某些x,使G(x0)取真值1. 13.设G是连通平面图,有5个顶点,6个面,则G的边数是 (A)9 (B)5 (C)6 (D)11条011015.G的相邻矩阵为1111 010

10,则G的顶点数与边数分别为 111 1(A)4, (B)5, (C)4, (D)5,三、计算证A={1,2,3,4,6,8,9,12},RAB3,6,9,12}AA={1,2,3,4},AR={(x,y)|x,yAxy},RR的关系矩阵R是实数集合,,,R上的三个映射,(x)x+3,(x)2x,(x)=x/4,试求复合映射•,•,•,•,••.I是如下一个解释:D{2,abffP(2,P(2,P(3,P(3,32320011(1)P(af(a))∧P(bf(2)xyP(y,A={1,2,4,6,8,12},R为AAAB={4,6,8,12}的上界,下界,最小上界,最大下界G(P→Q)∨(Q∧(P→R)),G(9分)设一阶逻辑公式:GxP(x)∨yQ(y))→xR(x)G化成前束范式RA{a,b,c,d}.RA上的二元关系,R{(a,b),(b,a),(b,c),r(R),s(R)r(R),s(R)t(R)的关系图G=H=RSA={abc,d}R={(aa),(ac),(bc),(cS={(a,b),(b,c),(b,d),(d,RSR•SR∪SR-1四、证明参考答 2n21={(a,1),(b,1)},2={(a,2),(b,2)},3={(a,1),(b,2)},4={(a,2),(b,1)};3,12,{4},{1,2,3,4},{1,自反性;对称性;传递性(1,0,0),(1,0,1),(1,1,{(1,3),(2,2),(3,1)};{(2,4),(3,3),(4,2)};{x|-1≤x<0,xR};{x|1<x<2,xR};{x|0≤x≤1,12;{(2,2),(2,4),(2,6),(3,3),(3,6),(4,4),(5,5),(6,{(1,3),(2,2)};{(1,1),(1,2),(1,二、选择 15.三、计算证 464623 1B1,3;A18,12,90+;2.R=141423 (2)MR (4)•=((x))=(x)/4=2x/4=x/2,(1)P(a,f(a))∧P(b,f(b))=P(3,f(3))∧P(2,f=P(3,2)∧P(2,==xyP(y,x)=x(P(2,x)∨P(3,=(P(2,2)∨P(3,2))∧(P(2,3)∨P(3,===488464884621216(2)无最 元,最小元1,极大元8,12;极小元是216B无 界,无最小上界。下界1,2;最大下界G=======m3∨m4∨m5∨m6∨m7=(3,4,5,6,G=====(1)r(R)=R∪IA={(a,b),(b,a),(b,c),(c,d),(a,a),(b,b),(c,c),(d,d)},s(R)=R∪R-1={(a,b),(b,a),(b,c),(c,b)(c,d),(d,c)},t(R)=R∪R2∪R3∪R4={(a,a),(a,b),(a,c),(a,d),(b,a),(b,b),(b,c),(b,d),(c,d)};关系图

dc dc

dababc11.=(3,6,H==(3,6,G,HGR (1) R00

0 0 00

1 1 01 01 (2)R•S={(a,b),(c,R∪S={(a,a),(a,b),(a,c),(b,c),(b,d),(c,d),(d,d)},R-1={(a,a),(c,a),(c,b),(d,c)},S-1•R-1={(b,a),(d,明A,B为任意集合,证明:(A-B)-CA(本题10

温馨提示

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

评论

0/150

提交评论