下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
C、自反性和对称性D、自反性、对称性和传递性
7.设A=B=RXR,f是AfB的函数,且任意<x,y>£A,f«x,y»=<y-l,x-l>,则f是
2020-2021《离散数学》期末课程考试试卷A()o
A、单射B、满射C、双射D、既非单射,也非满射
一、填空题(每空3分,共15分)8.彼得松(Peterson)图既不是欧拉图,也不是哈密顿图,至少加()条新边才能使
它成为欧拉图。
1.命题公式pf(pvqvr)的类型是.A、1B、2C、5D、6
2.设p:我将去镇上。q:我有时间。则命题“我将去镇上,仅当我有时间。”的符号化9.设G是n(n>2)阶无向简单图,G■是G的补图,已知A(G)=&1,3(G)=k2,则A(G)
和S(G)分别是()<.
形式为。
A、ki»k2B、k2,kiC、n-l-ki,n-l-k2D、n-l-k2,n-l-kj
3.化简下面集合表达式:(B-(Anc))u(AnBnc)=。10.无向树T有7片叶子,其余顶点都是3度顶点,则T的顶点数为()。
4.已知一有向图的D的度序列为(2,3,2,3),出度序列为(1,2,1,1),则D的入度序列A、5B、6C、12D、13
为。三、在一阶逻辑中符号化下列命题。(每题4分,共12分)
5.5个顶点的非同构的无向树共有棵。1.林晓莉非常聪明并且能干。
二、选择题(单项选择题,每题3分,共30分)2.每一个人都爱他自己的孩子。
3.并非所有的人都用右手写字。
1.设命题公式pA(gfrp),记作A,则使A的真值指派为1的p,q的取值是().
四、计算题(每题分,共分)
A、00B、01C、10D、11832
2.设p:你努力。q:你将失败。则命题“除非你努力,否则你将失败。”符号化为()«1.设集合A={1,2,3,4},B={2,3,4),C={1,2,3},A到B上关系R,={<2,4〉,
A、p—>qB、q-pC、-|p->qD、-|q—>p<3,3>,<4,2>},B到C上关系Rz={〈2.1〉,<3,2>,<4,3>},求鸟。&。
3.下列公式中不与「(p6g)等值的是()o2.某班有25个学生,其中14人会打篮球,12人会打排球,6人会打网球,6人会打篮
A、(pv-iq)A(~V?vq)B、(p八一q)7—p球和排球,5人会打篮球和网球,还有2人三种球都会打。已知会打网球的人都会打篮
C、一、pqD、p<->—球或排球。求不会打球的人数。
3.设无向图G=<V,E>,其中V={vi,v*V3,vj,E={e„e2,e3,e1,e5},其关联矩阵如下
4.下面公式正确的是()o'21110'
01100
A^Vx(A(X)vB(x))u>X/x4(x)vWxB(x)B、3x(A(x)vB(x))o3xA(x)v33(工)
00011
C、X/x(A->B(x))HxB(x)D、o3x—u4(x)00001
5.下列命题错误的是()。
A、{a,b}c{ayb,c,{a,b^c}}B、{a,b}e{a,b,c,{ayb}}试在同构意义下画出G的图形。
C、{a,b}c{a,b,{{a,b}}}D、{a,b]^{a,b,\{a,b}}\4.判断下图是否是欧拉图,如果是,找出其欧拉回路。
6.设R={<x,y>|x,y£R,x-y+2>0且x-y-2<0},则R具有的性质是()。
A、自反性B、对称性
五、在自然推理系统P中证明下面推理。(11分)
前提:(p八q)fr,—iTx/s,—is
结论:pTf
。=6
2020-2021《离散数学》期末课程考试试卷A答案由此可求得忸nq=3
根据集合的包含排斥原理有
一、填空题(每小题3分,共5小题,共15分)
1、永真式(重言式)|AABnc|=|s|-|A|-|B|-|c|+|AnB|+|Anc|+|Bnc|-|AnBncl(2分)
2、qtp
3、B所以IAnBnc|=25-14-12-6+6+5+3-2=5(2分)
4、(1,1,1,2)
5、33、答案见下图
二、选择题(在下列各题的括号处选择•最恰当的答案,共10小题,每小题3分,共30分)
1——5:CDABD6——10:CCCDC
三、在•阶逻辑中将下列命题符号化(共3小题,每小题4分,共12分)
1.a:林晓莉。
F(x):x非常聪明。G(x):x能干。(2分)
F(a)AG(«)(2分)
2.M(x):x是人。
F(x):x爱自己的孩子。
4、该图是欧拉图。
Vx(M(x)TFM)其欧拉回路为
3、M(x):x是人。C=(abcdaedgfebgca)
G(x):x用右手写字。五(11分)、
证明如下:①「TVS前提引入(1分)
—1Vx(A/(x)G(x))或3x(A/(x)A—1G(X))②f前提引入(1分)
③f①②析取三段论(2分)
四、计算题(每题8分,共32分)④前提引入(1分)
1、R)OR={<2,3>,<3,2>,<4,1»
2⑤Tp八夕)1规则,③④拒取(2分)
2、设A、13、C分别表示会打篮球、排球和网球的人的集合,S为这25个学生的集合。则
⑥v-1gt规则,⑤置换(2分)
|Ai=14,!B|=12,|C|=6,;APB|=6,|ACCI=5,|S|=25⑦〃一⑤⑥假言推理(2分)
所以上面推理是正确的。
(5分)
又由会打网球的人都会打篮球或排球知使用附加前提证明法证明如下:
①P附加前提引入(1分)
②f7s前提引入(1分)
从而Cn(AUB)=C
③-TS前提引入(1分)
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026年海南体育职业技术学院单招职业技能笔试参考题库带答案解析
- 2026年河南中医药大学高职单招职业适应性测试参考题库带答案解析
- 2026年成都航空职业技术学院单招职业技能笔试备考题库带答案解析
- 2026年安徽汽车职业技术学院单招综合素质考试模拟试题带答案解析
- 2026年广州科技贸易职业学院高职单招职业适应性考试备考试题带答案解析
- 土地租赁终止合同协议2025年版本
- 投资咨询合同2025年风险条款
- 2026年广东科贸职业学院单招综合素质笔试备考题库带答案解析
- 2026年福州软件职业技术学院单招综合素质笔试备考题库带答案解析
- 2026年广西体育高等专科学校单招职业技能考试备考题库带答案解析
- 养老院消防培训方案2025年课件
- Smaart7产品使用说明手册
- 烟站述职报告(4篇)
- 盖州市水务有限责任公司2025年工作总结暨2026年工作计划
- 瓷砖工程验收课程
- 难治性癌痛护理
- 中医内科学考试题库及答案(二)
- 天津市河东区2026届七年级数学第一学期期末复习检测试题含解析
- 水库清淤申请书
- 2025年第五人格听力试卷及答案
- 药店三七活动方案
评论
0/150
提交评论