离散数学期末考试.docxVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学期末考试 ————————————————————————————————作者: ————————————————————————————————日期: 2 离散数学考试一试题(A卷及答案) 一、(10分)求(PQ)(P∧(Q∨R))的主析取范式 解:(PQ)(P∧(Q∨R))((P∨Q))∨(P∧Q∧R)) (P∨Q)∨(P∧Q∧R)) (P∨Q∨P)∧(P∨Q∨Q)∧(P∨Q∨R) (P∨Q)∧(P∨Q∨R) (P∨Q∨(R∧R))∧(P∨Q∨R) (P∨Q∨R)∧(P∨Q∨R)∧(P∨Q∨R) M0∧M1 m2∨m3∨m4∨m5∨m6∨m7 二、(10分)在某次商讨会的歇息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:P∧Q 乙:Q∧P 丙:Q∧R 王教授只可能是其中一个城市的人或许3个城市都不是。所以,丙起码说对了一半。因此,可得甲或 乙必有一人全错了。又因为,若甲全错了,则有Q∧P,因此,乙全对。同理,乙全错则甲全对。所以丙 必是一对一错。故王教授的话符号化为: ((P∧Q)∧((Q∧R)∨(Q∧R)))∨((Q∧P)∧(Q∧R)) (P∧Q∧Q∧R)∨(P∧Q∧Q∧R)∨(Q∧P∧Q∧R) (P∧Q∧R)∨(P∧Q∧R) P∧Q∧R T 因此,王教授是上海人。 三、(10分)证明tsr(R)是包含R的且拥有自反性、对称性和传达性的最小关系。 证明设R是非空会合A上的二元关系,则tsr(R)是包含R的且拥有自反性、对称性和传达性的关系。 若R是包含R的且拥有自反性、对称性和传达性的随意关系,则由闭包的定义知r(R)R。则 sr(R)s(R)=R,进而有tsr(R)t(R)=R。 3 综上可知,tsr(R)是包含R的且拥有自反性、对称性和传达性的最小关系。 四、(15分)会合A={a,b,c,d,e}上的二元关系R为R={a,a,a,b,a,c,a,d, a,e,b,b,b,c,b,e,c,c,c,d,c,e,d,d,d,e,e,e}, 写出R的关系矩阵。 判断R是不是偏序关系,为什么?解(1)R的关系矩阵为: 11111 01101 M(R)00101 00011 00001 由关系矩阵可知,对角线上所有元素全为1,故R是自反的;rij+rji≤1,故R是反对称的;可计 算对应的关系矩阵为: 1 1 1 1 1 0 1 1 0 1 M(R2) 0 0 1 0 1 M(R) 0 0 0 1 1 0 0 0 0 1 由以上矩阵可知 R是传达的。 五、(10分)设A、B、C和D为随意会合,证明 (A-B)×C=(A×C)-(B×C)。 证明:因为 x,y∈(A-B)×Cx∈(A-B)∧y∈C ( x∈∧x B) ∧ y ∈ C A (x∈A∧y∈C∧xB)∨(x∈A∧y∈C∧yC) ( x∈∧ y ∈ C) ∧ ( x B ∨ y C) A ( x∈∧ y ∈ C) ∧ ( x∈∧ y ∈ C) A B x,y∈(A×C)∧x,y(B×C) x,y∈(A×C)-(B×C) 所以,(A-B)×C=(A×C-B×C)。 六、(10分)设f:A B,g:B C,h:CA,证明:如果hgf=IA,fhg=IB,gfh=IC,则f、g、 -1 -1 -1 h均为双射,并求出f、g 和h 。 解因IA恒等函数,由 hg f=IA可得f是单射,h是满射;因IB恒等函数,由fhg=IB可得g是单 射,f是满射;因IC恒等函数,由 g fh=IC可得h是单射,g是满射。进而f、g、h均为双射。 由hgf=IA,得f-1=hg;由fhg=IB,得g-1=fh;由gfh=IC,得h-1=gf。 七、(15分)设G,*是一代数系统,运算*知足互换律和联合律,且a*x=a*yx=y,证明:若G 4 有限,G是一群。 明 因G有限,不妨G={a1,a2,?,an}。由a*x=a*y x=y得,若x≠y,a*x≠a*y。 于是可,随意的 a∈G,有aG=G。又因运算*足交律,所以 aG=G=Ga。令e∈G使得a*e= a。随意的b∈G,令c*a=b,b*e=(c*a)*e=c*(a*e)=c*a=b,再由运算*足交律得 e*b=b,所 以e是对于运算*的幺元。随意 a∈G,由aG=G可知,存在b∈G使得a*b=e,再由运算*足交律 得b*a=e,所以b是a的逆元。由a的随意性知,G中每个元素都存在逆元。故 G是一群。 八、(20分)(1)

文档评论(0)

178****2826 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档