- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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)
您可能关注的文档
- 15-16-3高数A期中试卷答案.pdf
- 东南大学2012离散结构期末试卷.pdf
- 东南大学高数A下学期末试卷及答案_03-09.pdf
- 东南大学高数实验报告.doc
- 东南大学离散数学复习资料.pdf
- 东南大学数据结构复习总结.pdf
- 东南大学网络大纲复习.pdf
- 高等数学(A)练习.doc
- 高等数学A课堂测试.pdf
- 高等数学公式集锦.pdf
- 深度解析(2026)《SNT 3671-2013 葡萄象检疫鉴定方法》.pptx
- 初中美术试题解析.docx
- 华东师大版七年级数学上册《垂线》同步测试题(附答案).pdf
- 深度解析(2026)《SNT 3656.7-2013 进出口危险化学品测试技术规范 第 7 部分:腐蚀品》.pptx
- 深度解析(2026)《SNT 3680-2013 可可链疫孢荚腐病菌检疫鉴定方法》.pptx
- 乡村消防安全改善建议.pptx
- 几何图形 同步自主达标测试题-2025-2026学年人教版七年级数学上册.pdf
- 急救站岗位职责与考核标准.docx
- 深度解析(2026)《SNT 3700-2013 进出口成套设备检验技术要求 通则》.pptx
- 深度解析(2026)《SNT 3701.17-2016进口旧机电产品检验技术要求 第17部分:道路施工和养护机械》.pptx
最近下载
- 国网半结构化面试实例及解析.pdf VIP
- 网络与信息安全管理员职业技能竞赛理论考试题库300题(含答案).docx VIP
- 国网结构化面试资料.pdf VIP
- 国网企业文化基础知识考试题库.doc VIP
- 胰岛素皮下注射团体标准.pptx VIP
- 微机原理与接口技术试题库(答案)微机原理与接口技术试题库(含答案)微机原理与接口技术试题库(含答案)微机原理与接口技术试题库(含答案).doc VIP
- 《微机原理及接口技术》.doc VIP
- 2025年国网企业文化基础知识考试题库及答案.docx VIP
- 美商海盗船 鼠标 无线游戏鼠标 DARK CORE RGB PRO SE 使用说明.pdf
- 企业文化、电力与能源战略参考题库(多选题上).docx VIP
原创力文档


文档评论(0)