- 1、本文档共3页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
06级离散数学期末试题A答案
06级离散数学期末试题A答案
一、计算题()求其自反闭包、对称闭包。自反闭包
对称闭包 N是自然数集合,定义N上的二元关系R ={x, y|x∈N,y∈N,x+y},求关系 R 的等价类。
解 关系R的等价类有 [1]R={1, 3, 5, ……},[0]R={0, 2, 4, ……}
3、设,A上的整除关系,是否为上的偏序关系?若是,则:画出的哈斯图;求的极大和的极小。
是上的偏序关系。的哈斯图:
(2)A的极大为 9,15;极小为 3,5。:
(1) 1,1,1,1,1,5 ;(2) 1,1,1,1,2,4 ;(3) 1,1,1,1,3,3 ;(4) 1,1,1,2,2,3 ;(5) 1,1,2,2,2,2
二、判断题()f={1,8,3,9,4,10,2,6,5,9},判断是否构成能函数f : A→B, 如果能,说明是否为满射、单射、双射的;如果不能,说明理由。
解:因为 A={1,2,3,4,5},B={6,7,8,9,10}, f={1,8,3,9,4,10,2,6,5,9}
所以能构成函数f : A→B ,既不是单射也不是满射
2、判断下图是否为欧拉图,是否有欧拉通路,为什么?
解:不是欧拉图. 因为有入度和出度不同的结点;有欧拉通路,因为有两个结点入度和出度不同,且一个结点的入度比出度大1,另一个结点的入度比出度小1。
3、下图中的关系R为A={1,2,3}上的关系,判断其是否具有自反、对称和传递性并写出该关系的集合表示及关系矩阵。
解 R={1,1,1,2,2,1,1,3,3,1},
不自反也不反自反;对称, 不反对称;不传递.
三、()D={a,b,c}, 消去公式(x(F(x)(G(x))中的量词:
解 (x(F(x)(G(x))((F(a)(G(a))((F(b)(G(b))((F(c)(G(c))
2、求 B((p((p(q((r)的主合取范式
解 (p ( ((p(q(r)(((p(q((r)(((p((q(r)(((p((q((r) ( M4(M5(M6(M7 p(q((r ( M1
得 B( M1( M4(M5(M6(M7 ( ((1,4,5,6,7)()
解
(1)
(2)v1到v4长为3的通路有3条,v4到v1长为3的通路有0条;
(3)v1到自身长为1,2,3的回路各有 1条
(4)长3为的通路共有13 条,其中有1 条回路
(5)长度小于等于3的回路共有 5 条
五、( R, * 是一个代数系统,*是R上的一个二元运算,使得对于R中的任意元素a、b有 a*b =a + b + a·b(·为普通的乘法运算)。证明R, *是独异点并求出其幺元。
证明
(1)( a (R, 0*a = 0 + a + 0·a = a; a*0 = a + 0 + a·0 = a,
所以,0是幺元。
(2)要证明 * 运算满足结合律,即 ( a、b、c (R
(a * b) * c = a * (b * c)
(a * b) * c =(a + b + a·b)* c = (a + b + a·b)+ c + (a + b + a·b)·c = a + b + c + ab + ac + bc + abc 同理, a * (b * c) = a + b + c + ab + ac + bc + abc 所以R, *是独异点。
六、证明题()
前提:p (q , (r ∨ (s )( ( q
结论: p ( (( r ∧s )
证明
① p (q 前提引入
② (r ∨ (s )( ( q 前提引入
③ ((r ∨ (s ) ∨( q ②置换
④ q ( ((r ∨ (s ) ③置换
⑤ p ( ((r ∨ (s ) ① ④假言三段论
⑥ p ( (( r ∧s ) ⑤置换
2、在自然推理系统F中,构造下面推理的证明
前提: (x(F(x) ( G(x) ∧ H(x)), ((x)(F(x) ∧ R(x))
结论: ((x)(F(x) ∧ R( x) ∧ G(x) )
证明:
(1) ((x)(F(x) ∧ R(x)) P
(2)F(c) ∧R(c) (1),EI
(3) (x(F(x) ( G(x) ∧ H(x)) P
(4) F(c) ( G(c) ∧ H(c) (3),UI
(5) F(c) (2),化
您可能关注的文档
- (1份)八年级数学上册_第二章《实数》单元测试题(无答案)_北师大版.doc
- ((新课标人教A版))[[高三数学试题]]高中数学专题训练《曲边梯形的面积与定积分》习题.doc
- (一)江西省教师资格认定考试机考真题.doc
- (2009高三一轮复习资料)牛顿运动定律.doc
- (9月最新修订版)2015年全国各地中考数学分类解析总汇_考点35_尺规作图.doc
- (七下)第六七章测验题.doc
- (原始)泉州七中2011-2012高二政治期中考卷.doc
- (北师大版)七年级下册生物期末试卷.doc
- (寒假总动员)2015年高三语文寒假作业专题10古典诗歌鉴赏之形象与感情(练)(含解析).doc
- (原创资料)《阅读理解特训3真2模含解析》2014届高三英语二轮突破10.doc
文档评论(0)