下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、班级: 学号: 姓名: 装 订 线哈尔滨工程大学试卷考试科目:离散数学(061121,061131)题号一二三四五总分分数评卷人一、 填空题(每小题3分,共15分)1. 谓词公式"xf(x)®Ø$yg(x,y)的前束范式为 $x"y(f(x)®Øg(z,y) 2. 设有群áz12,Åñ和áz3,Åñ,令j :z12® z3,j(x)=(x) mod3,则j是áz12,Åñ到áz3,Åñ 的 满同态映射 3.
2、 已知n阶无向简单图g有m条边,则g的补图有n(n-1)/2-m条边4. 有理数集上定义二元运算*为a*b=a+b-ab,则运算*的单位元为 0 ,零元为 1 5. 设无向连通图g有6个顶点10条边,t为g的生成树,对应t的基本割集系统中的基本割集个数为 5 ,基本回路系统中的基本回路个数为 6 二、 选择题(每小题3分,共15分)1. 命题公式¬(pÙq)(p®¬q)的类型是 【a】a重言式 b非重言式的可满足式c矛盾式 d简单析取式2. 无向树t中有4度,3度,2度顶点各1个,其余顶点都是树叶,则t中树叶片数为 【d】a1 b8c7 d53. 素数阶
3、群一定是 【b】a无限群 b循环群,也是abel群c非交换群 d循环群4. 下列图中那一个是欧拉图 【a】ak4,4 bk4ck3,4 dk3,35. 下列图中是哈密尔顿图的是 【b】ak3,4 bk5ck2 dk1,1三、 计算与简答题(每小题10分,共50分)1. 利用等值演算方法求命题公式(pÚq)Ù(p®q)«(q®p)的主析取范式;并指出该公式的成真赋值和成假赋值(pÚq)Ù(p®q)«(q®p)Û(pÚq)Ù(ØpÚq)«(
4、ØqÚp)Ûq«(ØqÚp)Û(q®(ØqÚp)Ù(ØqÚp)®q)ÛØqÚ(ØqÚp)ÙØ(ØqÚp)ÚqÛ(ØqÚp)Ù(qÙØp)Úq)Û(ØqÚp)ÙqÛ(ØqÙq)Ú(pÙq)Ûp
5、ÙqÛm3原公式的主析取范式为m3;原公式的成真赋值为11;成假赋值为00,01,102. 求群áz20,Åñ的所有生成元和子群á2ñá1ñá5ñá0ñá10ñá4ñ群áz20,Åñ的所有生成元为与20互质的正整数:1,3,7,9,11,13,17,1920的所有正因子为1,2,4,5,10,20,所以,z20=á1ñ有6个循环子群,分别为á120/1ñ=&
6、#225;120ñ=á0ñ=0,á120/2ñ=á110ñ=á10ñ=0,10,á120/4ñ=á15ñ=á5ñ=0,5,10,15,á120/5ñ=á14ñ=á4ñ=0,4,8,12,16á120/10ñ=á12ñ=á2ñ=0,2,4,6,8,10,12,14,16,18,á120/20ñ=á11
7、ñ=á1ñ=z203. 设集合=a,b,c,d上的二元关系r=áa,bñ,áb,añ,áb,cñ,ác,dñ,利用集合运算求r的传递闭包t(r)r2=áa,añ,áa,cñ,áb,bñ,áb,dñ,r3=áa,bñ,áa,dñ,áb,añ,áb,cñ,r4=áa,añ,áa,cñ,
8、5;b,bñ,áb,dñ=r2,r5=r3,从而,t(r)=rr2r3r4=áa,añ,áa,bñ,áa,cñ,áa,dñ,áb,añ,áb,bñ,áb,cñ,áb,dñ,ác,dñ4. (1) 给出具有4个顶点的所有自补图(2) 给出具有5个顶点的所有自补图(1)cbdacbda(2) 5. 若r1,r2均是非空集合a上的等价关系,那么r1,r2的交r1r2、并r1r2和复合r1 r2
9、也是a上的等价关系吗?简要说明理由r1r2是a上的等价关系事实上,(1)因r1,r2是a上的自反关系,有iaÍr1,iaÍr2,因此,iaÍr1r2,即r1r2是a上的自反关系(2)因r1,r2是a上的对称关系,有r1r1-1,r2r2-1,而(r1r2)-1=r1-1r2-1=r1r2,因此,r1r2是a上的对称关系(3)因r1,r2是a上的传递关系,有r12Ír1,r22Ír2,而(r1r2)2=(r1r2)o(r1r2)=r12r22r1or2r2or1Ír12r22Ír1r2,因此,r1r2是a上的传递关系r1r2并
10、不一定满足传递性,例如:设a=a,b,cr1=áa,bñ,r2=áb,cñ,则r1r2=áa,bñ,áb,cñ不是a上的传递关系四、 证明题(每小题10分,共20分)1. 在一阶逻辑中构造下面推理的证明前提:"x(f(x)® g(x),Ø"x(f(x)®h(x) 结论:$x(f(x) Ùg(x) ÙØh(x)(1) Ø"x(f(x)®h(x) 前提引入(2) $xØ(f(x)®h(x)
11、(1)置换(3) Ø(f(c)®h(c) (2)ei规则(4) f(c)ÙØh(c) (3)置换(5) f(c) (4)化简(6) "x(f(x)® g(x) 前提引入(7) f(c)® g(c) (7)ui规则(8) g(c) (5)(8)假言推理(9) f(c)Ùg(c)ÙØh(c) (4)(8)合取(10) $x(f(x) Ùg(x) ÙØh(x) (9)eg规则2. 设h£g,"a,bÎg,定义áa,bñ
12、206;rÛab-1Îh,证明r是g上的等价关系,求出等价关系r的等价类自反性:"aÎg, aa-1=eÎhÞáa, añÎr对称性:"a,bÎg,áa,bñÎrÞab-1ÎhÞ(ab-1)-1Îh=ba-1ÎhÞáb,añÎr传递性:"a,b,cÎg,áa,bÎñr,áb,cÎñrÞab-1Îh, bc-1Îh=ab-1bc-1ÎhÞac-1Îh
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- T∕CPSS 102-2026 配电台区稳态电能质量协同控制技术规范
- 七年级信息技术 数据分析教学设计 青岛版
- 高中历史 专题三 中国社会主义建设道路的探索 二 伟大的历史性转折(2)教学教学设计 人民版必修2
- 六年级下科学教学设计-人的一生-青岛版(六年制三起)
- 2026自然资源法律实务完整试题及答案
- 项目五 描述洗衣机的洗衣流程-了解算法及其基本控制结构教学设计高中信息技术沪科版2019必修1 数据与计算-沪科版2019
- 人教版地理必修2第四章第2节《工业地域的形成》教学设计
- 2026年重庆公务员考试(计算机)强化训练试题及答案
- 2026第五次全国经济普查知识竞赛题库附含参考答案
- 孔子事迹知识问答及答案阐释
- 慢病患者居家康复护理指导手册
- 2026年注册营养师道真题(名校卷)附答案详解
- 食堂食材供货、配送服务保障方案
- 护患沟通人文关怀课件
- 高磷血症科普
- 设备管理技术培训课件
- 集装箱活动板房施工方案
- 一体化消防泵房水池施工方案
- 脊柱骨折的急救处理措施
- 中国2型糖尿病运动治疗指南(2024版)
- CJ/T 283-2017偏心半球阀
评论
0/150
提交评论