东南大学2012离散数学期末答案.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文档。上传文档
查看更多
PAGE 共 NUMPAGES 7 页 第 PAGE 6 页 学号 姓名 密封线东 南 大 学 考 学号 姓名 密 封 线 课程名称 离散结构(1) 考试学期 11-12-3 得分 适用专业 计算机科学与技术 考试形式 闭卷 考试时间长度 120分钟 选择题(每题2分,共10分) 1.下列语句中,(C)是命题。 (A)如果天黑了你就把灯打开; (B)这世界一切言论都是谎言; (C)2和3都是奇数; (D)x + 5 6; 2、设I是如下一个解释:D={a , b}, P(a,a)=1, P(a,b)=0, P(b,a)=1, P(b,b)=0, 则在解释I下,取真值为1的公式为(D) (A)?x?yP(x,y); (B)?x?y P(x,y); (C)?x P(x,x); (D)?x?yP(x,y); 3、设命题公式G=?(P→Q),H=P→(Q→?P),则G与H的关系是(A) (A)G?H; (B)H?G; (C)G?H; (D)以上都不是; 4、设集合为A={2,{a},3,4},B={{a},3,4,1},E为全集下列命题为真的是(C) (A){2}∈A; (B){a}?A; (C)Φ?{{a}}?B?E; (D){{a},1,3,4}?B; 5、设集合A={1,2,3},A上的关系R={1,1,2,2,2,3,3,2,3,3}, 则R不具备(D) (A)自反性; (B)传递性; (C)对称性; (D)反对称性; 填空题(每空2分,共30分) 1.A={a,b,c,d},A上的二元运算*如下: * a b c d a a b c d b b c d a c c d a b d d a b c 则代数系统A,*的幺元为 a ,a、b、c、d的逆元分别为 a , d , c , b 。 2、命题公式?(P→Q)∧R的主析取范式为 P∧?Q∧R 。 3、一阶逻辑公式为?xP(x) →?xQ(x)的前束范式为 ?x(?P(x)?Q(x)) 。 4、设个体域为全总域,F(x):x是人类,G(x):x是野兽,H(x,y):x力量比y大,则,“有的野兽力量比人力气都大”可符号化为 ?x?y(G(x)?F(y)∧H(x,y)) ;“不存在力量比所有野兽都大的人类”可符号化为 ??x(F(x)??y(G(y)→H(x,y))) ;“说凡是人类就比野兽力量小是不对的”可符号化为 ??x(F(x)→?y(G(y)→H(x,y))) 。 4、设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则R1°R2 = __{(1,3),(2,2),(3,1)}__, R2°R1 =__{(2,4),(3,3),(4,2)} R12 =____ {(2,2),(3,3)}___. 5、设A={a,b,c},R={a,b,b,a}∪IA是A上的等价关系,设自然映射g:A→A/R,那么g(a)= {a,b} 。 6、设A={1,2,3},则A上既不是对称又不是反对称的关系R= {1,2,1,3,2,1} 。 A上既是对称又是反对称的关系R= {1,1,2,2,3,3} 。 7、拉格朗日定理说明若H,*是群G,*的子群,则可建立G中的等价关系: R= {a,b|a∈G, b∈G , a-1*b∈H} 。若|G|=n, |H|=m,则m和n的关系为 m/n 。 三、用主析取范式判断下列公式是否等价。 (7分) (1)G=(P∧Q)?( ?P∧Q∧R) (2)H=(P?(Q∧R)) ∧(Q?(?P∧R)) G=(P∧Q)∨(?P∧Q∧R) =(P∧Q∧?R)∨(P∧Q∧R)∨(?P∧Q∧R) =m6∨m7∨m3 H = (P∨(Q∧R))∧(Q∨(?P∧R)) =(P∧Q)∨(Q∧R))∨(?P∧Q∧R) =(P∧Q∧?R)∨(P∧Q∧R)∨(?P∧Q∧R)∨(P∧Q∧R)∨(?P∧Q∧R) =(P∧Q∧?R)∨(?P∧Q∧R)∨(P∧Q∧R)

文档评论(0)

Deckard777 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档