原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
考试科目： 离散数学 考试时间：120分钟 试卷总分100分
题号
一
二
三
四
五
六
七 平时（30分）
总分 得分 评卷教师
一、求公式(┐p∨┐q)→(p(┐q)的析取范式、合取范式及主析取范式、主合取范式。（本大题共8分）
二、用推理规则证明：（本大题共12分）
前提 ((x)P(x)→((x)((P(x)∨Q(x))→R(x))，((x)P(x)，((x)Q(x)
结论 ((x)((y)(R(x)∧R(y))
三、计算题（分）A(B( (A∧B)∨(┐A∧┐B)成立。
2.设A(B，求证A∩C(B∩C。
3.设集合A={a，b，c，d}，A上的关系R={b,b,a,b,c,b,d,c}，求R的自反闭包、对称闭包。
4.求下列集合的基数。
（1）T={x|x是单词“BASEBALL”中的字母}
（2）B={x|x∈R∧x2=9∧2x=8}
（3）C=，A={1,3,7,11}
5. 求从1到500的整数中，能被3或5除尽的数的个数。
四、设R，S为A上的两个等价关系，且R ( S。定义A/R上的关系R/S：
[x],[y](R/S当且仅当x，y(S
证明：R/S为A/R上的等价关系。（本大题共8分）
五、设上的整除关系
，
是否为上的偏序关系？若是，则：1、画出的哈斯图；
2、求。（本大题共7分）
六、设G，(为一群。证明：
（1）若对任意a(G有a2 =e，e为幺元，则G为阿贝尔群。
（2）若对任意a，b(G有(a(b)2 =a2(b2 ，则G为阿贝尔群。（本大题共10分）
七、设N4 =｛0，1，2, 3｝，f：N4→N4定义如下：
令F = {f0,f1,f2,f3}，其中f0为N4上恒等函数。给定一代数结构F, ο，且（这里ο为函数合成运算，+4为模4加运算）。
试证F, ο与 N4,+4同构。（本大题共10分）
考试科目： 离散数学 考试时间：120分钟 试卷总分100分
一、（本大题共8分）
解：(┐p∨┐q)→(p(┐q)(┐(┐p∨┐q)∨((┐p∨┐q)∧(p∨q))
( (p∧q)∨(┐p∧q)∨(p∧┐q) （主析取范式） ……（2分）
(q∨(p∧┐q) （析取范式） ……（2分）
(p∨q （合取范式、主合取范式） ……（4分）
二、（本大题共12分）
证明：
(1) ((x)P(x)→((x)((P(x)∨Q(x))→R(x)) P
(2) ((x)P(x) P
(3) ((x)((P(x)∨Q(x))→R(x)) T(1)(2)I ……（1分）
(4) P(c) ES(2) ……（1分）
(5) (P(c)∨Q(c))→R(c) US(3) ……（1分）
(6) P(c)∨Q(c) T(4)I ……（1分）
(7) R(c) T(5)(6)I ……（1分）
(8) ((x)Q(x) P ……（1分）
(9) Q(d) ES(8) ……（1分）
(10) (P(d)∨Q(d))→R(d) US(3) ……（1分）
(11) Q(d)∨P(d) T(9)I ……（1分）
(12) R(d) T(10)(11)I ……（1分）
(13)
文档评论（0）