版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、试卷二试题与参考答案填空1、P:你努力,Q:你失败。2、“除非你努力,否则你将失败”符号化为;“虽然你努力了,但还是失败了”符号化为2、论域D=1,2,指定谓词PP(1,1)P(1,2)P(2,1)P(2,2)TTFF贝U公式xyP(y,x)真值为。3设A=2,3,4,5,6上的二元关系Rx,y|xyX是质数,则R=(列举法)。R的关系矩阵MR=4、设A=1,2,3,则A上既不是对称的又不是反对称的关系R=A上既是对称的又是反对称的关系R=。5、设代数系统A,*,其中A=a,b,c,*abcaabcbbbccccb则幺元是;是否有幕等性;是否有对称性6、4阶群必是群或群。7、下面偏序格是分配格
2、的是。CA)的(C)、选择1、在下述公式中是重言式为()A(PQ)(PQ);B.(PQ)(PQ)(QP);C.(PQ)Q.D.P(PQ)。2、命题公式(PQ)(QP)中极小项的个数为(),成真赋值的个数为()。A0;B.1|;C.2;D.3。3、设S,1,1,2,则2s有()个元素。A.3;B.6;C.7;D.8。4、设S1,2,3,定义SS上的等价关系Ra,b,c,dIa,bSS,c,dSS,adbc则由R产生的SS上一个划分共有()个分块。A.4;5、设S1,2,3,S上关系则R具有(R的关系图为BA.自反性、对称性、传递性;反自反性、反对称性;6、设-为普通加法和乘法,则()S,是域。A
3、.Sx|xab3a,bQB.Sx|x2n,a,bZC.Sx|x2n1,nZd.Sx|xZx0=N7、下面偏序集()能构成格。C.反自反性、反对称性、传递性;.自反性。DO8、在如下的有向图中,从Vi到V4长度为3的道路有(【D)条。A.1;B.4。)欧拉图。IDa是()。”为普通乘法,则代数系统10、10、设R是实数集合,A.群;B.独异点;C.半群。三、证明1、设R是A上一个二元关系,Sa,b|(a,bA)(对于某一个cA,有a,cR且c,bR)试证明若R是A上一个等价关系,则S也是A上的一个等价关系。2、用逻辑推理证明:所有的舞蹈者都很有风度,王华是个学生且是个舞蹈者。因此有些学生很有风度
4、。3、若无向图G中只有两个奇数度结点,则这两个结点一定连通。1m(n1)(n2)24、设G是具有n个结点的无向简单图,其边数2,则G是Hamilton图。四、计算1设以,+6是一个群,这里+6是模6加法,Z6=0,1,,3,4,5,试求出Z6,+6的所有子群及其相应左陪集。2、权数1,4,9,16,25,36,49,64,81,100构造一棵最优二叉树。试卷二参考答案:一、填空1、PQ;PQ2、T3、R=,;11111111110001111111000004、R=,;R=,5、a;否;有6、Klein四元群;循环群、选择7、B题目12345678910答案B、DD;DDBDABBBB、C】n
5、(n1)8、2;图中无奇度结点且连通三、证明1、(1)S自反的aA,由R自反,(a,aR)(a,aR),a,a(2)S对称的a,bAa,bS(a,cR)(c,bR)S定义(a,cR)(c,bR)R对称b,aSR传递(3)S传递的a,b,cAa,bSb,cS(a,dR)(d,bR)(b,eR)(e,cR)(a,bR)(b,cR)R传递a,cSS定义由(1)、(2)、(3)得;S是等价关系。2、证明:设P(x):x是个舞蹈者;Q(x):x很有风度;S(x):x是个学生;a:王华上述句子符号化为:前提:x(P(x)Q(x)、 S(a)P(a) x(P(x)Q(x) P(a)Q(a) P(a) Q(a
6、). S(a) S(a)Q(a) x(S(x)Q(x)S(a)P(a)结论:前提引入前提引入US化简假言推理I化简合取EGx(S(x)Q(x)3分11分3、证明R,b2B,gb2)f满射ai,a2使f(3!)d,f(a2)b2,且f(ajf),由于f是函数,又g(bjx|(xA)(f(x)bj,g2)x|(xA)(f(x)b?)aig(bj,a?gd)但a!g(b2),a?g(bjg(bjg(b2)由bi,b2任意性知,g为单射。4、证明:设G中两奇数度结点分别为u和v,若u,v不连通,则G至少有两个连通分支G、G,使得u和v分别属于G和G,于是G和Ga中各含有1个奇数度结点,这与图论基本定理矛盾,因而u,v一定连通。5、证明:证G中任何两结点之和不小于n。反证法:若存在两结点u,v不相邻且d(u)d(v)n1,令Mu,v,则g-v是具1m-(n1)(n2)2(n1)有n-2个结点的简单图,它的边数2,可得1m-(n2)(n3)12,这与G=G-V1为n-2个结点为简单图的题设矛盾,因而G中任何两个相
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 《2 知识产权的保护》(教案)-2023-2024学年六年级上册综合实践活动粤教版
- 5《应对自然灾害》说课(教学设计)部编版道德与法治六年级下册
- Module 5 Museums 模块练习2024-2025学年九年级上册英语配套教学设计(外研版)
- 《7的乘法口诀》(教案)-2024-2025学年二年级数学上册人教版
- 合理膳食、促进健康教学设计
- 地壳的物质组成和物质循环教案 湘教版
- 16 雷雨(教学设计)2023-2024学年-统编版语文二年级下册
- 手机及配件生产销售合同
- 情境教学法在高中生物教学中的实践探讨
- 停车位转让协议书范本
- 核电站工程安全伦理案例分析
- 齐鲁文化智慧树知到答案章节测试2023年齐鲁师范学院
- 企业退休人员人事档案目录模板
- 人教部编版道德与法治 中华民族一家亲第一课时教学设计
- 基因组学在生殖医学范畴的发展,医学遗传学论文
- 公安民警三等功个人先进事迹材料【6篇】
- 过去、现在和将来的我
- GB/T 9269-2009涂料黏度的测定斯托默黏度计法
- GB/T 25174-2010饲料添加剂4,7-二羟基异黄酮
- 水闸设计规范-SL265-2023
- 2023年大队委笔试内容
评论
0/150
提交评论