版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
离散数学形成性考核作业4R={(x,y)|x,y∈A且x|y}(2)哈斯图见附图(3)B的最大元为6,最小元为2。离散数学综合练习书面作业本次作业要求学生提交作业的方式有三种:手工书写、在线提交Word文档或手写并拍照上传。要求手写答案字迹工整,解答题要有解答过程。一、公式翻译题1.小王去上课,小李也去上课。翻译成命题公式为P^Q,其中P表示小王去上课,Q表示小李去上课。2.他去旅游,仅当他有时间。翻译成命题公式为P→Q,其中P表示他去旅游,Q表示他有时间。3.有人不去工作。翻译成谓词公式为∃x(A(x)^¬B(x)),其中A(x)表示x是人,B(x)表示x去工作。4.所有人都努力学习。翻译成谓词公式为∀x(A(x)→B(x)),其中A(x)表示x是人,B(x)表示x努力学习。二、计算题1.设A={{1},{2},1,2},B={1,2,{1,2}},求(1)AB;(2)A∩B;(3)A×B。解:(1)AB={{1},{2}};(2)A∩B={1,2};(3)A×B包含12个元素。2.设A={1,2,3,4,5},R={<x,y>|xA,yA且x+y4},S={<x,y>|xA,yA且x+y<0},求R,S,RS,SR,R-1,S-1,r(S),s(R)。解:(1)R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>};(2)S=Φ;(3)RS=Φ,SR=Φ;(4)R-1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>};(5)S-1=Φ;(6)r(S)={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>};(7)s(R)={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>}。3.设A={1,2,3,4,5,6,7,8},R是A上的整除关系,B={2,4,6},求:(1)关系R的表示式;(2)关系R的哈斯图;(3)集合B的最大元、最小元。解:(1)R={(x,y)|x,y∈A且x|y};(2)关系R的哈斯图见附图;(3)B的最大元为6,最小元为2。2.给定关系R={<1,1>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<1,7>,<1,8>,<2,2>,<2,4>,<2,6>,<2,8>,<3,3>,<3,6>,<4,4>,<4,8>,<5,5>,<6,6>,<7,7>,<8,8>},画出其哈斯图。3.给定集合B,没有最大元,最小元是2。4.设G=<V,E>,其中V={v1,v2,v3,v4,v5},E={(v1,v3),(v2,v3),(v2,v4),(v3,v4),(v3,v5),(v4,v5)},试:(1)给出G的图形表示;(2)写出其邻接矩阵;(3)求出每个结点的度数;(4)画出其补图的图形。5.给定图G=<V,E>,其中V={a,b,c,d,e},E={(a,b),(a,c),(a,e),(b,d),(b,e),(c,e),(c,d),(d,e)},对应边的权值依次为2、1、2、3、6、1、4及5,试:(1)画出G的图形;(2)写出G的邻接矩阵;(3)求出G权最小的生成树及其权值。6.给定一组权为2,3,5,7,17,31的节点,画出相应的最优二叉树,并计算其权。7.求PQR的析取范式、合取范式、主析取范式和主合取范式。答案:P(Q∨R)的否定形式为┐P(Q∨R)=┐P∨┐(Q∨R)=┐P∨┐Q∧┐R,因此析取范式为P∨Q∨R,合取范式为┐PQ∨R,主析取范式为PQR,主合取范式为┐PQ∨R。8.设谓词公式(∃x)(P(x,y)→(∀z)Q(y,x,z))∧(∀y)R(y,z)。(1)写出量词的辖域;(2)指出该公式的自由变元和约束变元。答案:(1)量词x的辖域为P(x,y)→(∀z)Q(y,x,z),量词z的辖域为Q(y,x,z),量词y的辖域为R(y,z)。(2)P(x,y)中的x是约束变元,y是自由变元;Q(y,x,z)中的x和z是约束变元,y是自由变元;R(y,z)中的x是自由变元,y是约束变元。9.设个体域为D={a1,a2},求谓词公式(y)(x)P(x,y)消去量词后的等值式。答案:(y)(x)P(x,y)可以消去量词得到P(a1,a1)∧P(a2,a1)∧P(a1,a2)∧P(a2,a2),即xP(x,a1)∧xP(x,a2)的合取式。证明题:1.对任意三个集合A、B和C,若AB=AC且A≠∅,则B=C。证明:设x∈A,y∈B,则(x,y)∈AB=AC,因此y∈C。同理,设z∈C,则(x,z)∈AC=AB,因此z∈B。因此,B=C,证毕。2.若R与S是集合A上的自反关系,则R∩S也是集合A上的自反关系。证明:由自反关系的定义可知,对于任意x∈A,都有(x,x)∈R和(x,x)∈S。因此,对于任意x∈A,都有(x,x)∈R∩S,即R∩S是自反的,证毕。3.设连通图G有k个奇数度的结点,证明在图G中至少要添加k/2条边才能使其变为欧拉图。证明:由定理推论可知,度数为奇数的结点必为偶数个,因此k为偶数。对于每对奇数度结点,都需要添加一条边才能使它们的度数变为偶数。因此,至少需要添加k/2条边才能使所有结点的度数变为偶数,从而使图G成为欧拉图,证毕。4.证明(P(QR))PQ与(PQ)等价。证明:(P(QR))PQ=((P∧(Q∨R))∧P∧Q)=((P∧Q)∨(P∧R))∧P∧Q//分配律=(P∧Q)∨(P∧R)∧P∧Q//吸收律=(P∧Q)∧(P∧Q∨R)//分配律=(P∧Q)//同一律因此,(P(QR))PQ与(PQ)等价,证毕。试证明(PQ)(摩根律):(A∧B)∧(B∨C)∧C证明过程如下:1.前提引入:假设(A∧B)∧(B∨C)∧C成立。2.前提引入:假设~P,即P的否定成立。3.由前提1可知,A∧B成立,因此A和B都成立。4.由前提1可知,B∨C成立,因此B或C至少有一个成立。5.由前提1可知,C成立。6.由前提2可知,~P成立,因此P不成立。7.根据摩根律,可得到~(A∧~B),即~A∨B成立。8.根据前提3和前提7,可得到B成立。9.由前提4和前提8可得到~B不成立
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026惠州仲恺政务服务有限公司招聘项目人员12人备考题库含答案详解
- 2026上海音乐学院附中工作人员公开招聘备考题库(2026年第一批)(含答案详解)
- 2026江苏无锡高新教育科技发展有限公司招聘1人备考题库及答案详解(易错题)
- 2026浙江交工交通科技发展有限公司招聘14人备考题库(含答案详解)
- 2026贵州安顺市镇宁自治县人力资源和社会保障局招聘公益性岗位1人备考题库及答案详解(网校专用)
- 2026福建南平武夷山旅行社有限公司自主招聘2人备考题库附答案详解(考试直接用)
- 2026湖南华升股份有限公司招聘资产运营部主管备考题库及1套参考答案详解
- 2025年吉林省公务员录用考试《申论》真题及答案
- 市政排水工程施工组织设计方案
- 工程混凝土养护施工方案
- 2026届湖北省武汉普通高中高三下学期3月调考英语试卷
- 2026省考商务局面试题库及答案
- 实施指南(2026)《NBT 42046-2015 烟气挡板门技术条件》
- 铝合金船体结构焊接质量控制及检验
- 2026安全生产法完整版
- 【答案】《国家安全教育》(河南理工大学)章节期末慕课答案
- JJG 596-2026安装式交流电能表检定规程
- 机关事业单位档案管理制度实施细则
- 邮政银行面试题型及答案
- 老年病人便秘护理
- 2026年高考物理解密之实验题
评论
0/150
提交评论