离散数学考试题详细答案

上传人:卷*** 文档编号:121163134 上传时间:2022-07-18 格式:DOC 页数:10 大小:132KB
收藏 版权申诉 举报 下载
离散数学考试题详细答案_第1页
第1页 / 共10页
离散数学考试题详细答案_第2页
第2页 / 共10页
离散数学考试题详细答案_第3页
第3页 / 共10页
资源描述:

《离散数学考试题详细答案》由会员分享,可在线阅读,更多相关《离散数学考试题详细答案(10页珍藏版)》请在装配图网上搜索。

1、离散数学 考试题(后附具体答案)一、 命题符号化(共6小题,每题3分,合计18分)1. 用命题逻辑把下列命题符号化a) 如果上午不下雨,我去看电影,否则就在家里读书或看报。设P表达命题“上午下雨”,Q表达命题“我去看电影”,R表达命题“在家里读书”,S表达命题“在家看报”,命题符号化为:(PQ)(PRS)b) 我今天进城,除非下雨。设P表达命题“我今天进城”,Q表达命题“天下雨”,命题符号化为:QP或PQc) 仅当你走,我将留下。设P表达命题“你走”,Q表达命题“我留下”,命题符号化为: QP2. 用谓词逻辑把下列命题符号化a) 有些实数不是有理数设R(x)表达“x是实数”,Q(x)表达“x是

2、有理数”,命题符号化为:$x(R(x) Q(x) 或 x(R(x) Q(x)b) 对于所有非零实数x,总存在y使得xy=1。设R(x)表达“x是实数”,E(x,y)表达“x=y”,f(x,y)=xy, 命题符号化为: x(R(x) E(x,0) $y(R(y) E(f(x,y),1)c) f 是从A到B的函数当且仅当对于每个aA存在唯一的bB,使得f(a)=b.设F(f)表达“f是从A到B的函数”, A(x)表达“xA”, B(x)表达“xB”,E(x,y)表达“x=y”, 命题符号化为:F(f)a(A(a)$b(B(b) E(f(a),b) c(S(c) E(f(a),c) E(a,b)二、

3、 简答题(共6道题,共32分)1. 求命题公式(P(QR)(R(QP)的主析取范式、主合取范式,并写出所有成真赋值。(5分)(P(QR)(R(QP)(PQR)(PQR) ((PQR)(PQR) (PQR) (PQR)).((PQR) (PQR) (PQR) (PQR))(PQR) (PQR) 这是主合取范式公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)2. 设个体域为1,2,3,求下列命题的真值(4分)a) x$y(x+y=4)b) $yx (x+y=4)a) T b) F3. 求x(F(x)G(x

4、)($xF(x)$xG(x)的前束范式。(4分)x(F(x)G(x)($xF(x)$xG(x) x(F(x)G(x)($yF(y)$zG(z) x(F(x)G(x)y$z(F(y)G(z) $xy$z(F(x)G(x) (F(y)G(z)4. 判断下面命题的真假,并阐明因素。(每题2分,共4分)a) (AB)C=(A-B) (A-C)b) 若f是从集合A到集合B的入射函数,则|A|B|a) 真命题。由于(AB)C=(AB)C=(AC)(BC)=(A-C)(B-C)b) 真命题。由于如果f是从集合A到集合B的入射函数,则|ranf|=|A|,且ranfB,故命题成立。5. 设A是有穷集,|A|=

5、5,问(每题2分,共4分)a) A上有多少种不同的等价关系?b) 从A到A的不同双射函数有多少个?a) 52 b) 5!=1206. 设有偏序集,其哈斯图如图1,求子集B=b,d,e的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g d e b ca图1B的最小元是b,无最大元、极大元是d和e、极小元是b、上界集合是g、下界集合是a,b、上确界是g、下确界是b.7. 已知有限集S=a1,a2,an,N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,Nn;P(N);R,RR,o,1N(写出即可)(6分)KS=n; KP(S)=; KN=0,KNn=

6、0, KP(N)=; KR=, K=RR= ,K0,1N= 三、 证明题(共3小题,合计40分)1. 使用构造性证明,证明下面推理的有效性。(每题5分,共10分)a) A(BC),(EF)C, B(AS)BEb) x(P(x)Q(x), x(Q(x)R(x),$xR(x) $xP(x)a) 证 (1)B P(附加条件) (2)B(AS) P (3) AS T(1)(2) I (4) A T(3) I (5) A(BC) P (6) BC T(4)(5) I (7) C T(6) I (8) (EF)C P (9) (EF) T(7)(8) I (10) EF T(9) E (11) E T(1

7、0) I (12) BE CPb) 证 (1) $xR(x) P (2) R(c) ES(1) (3) x(Q(x)R(x) P (4) Q(c)R(c) US(3) (5) Q(c) T(2)(4) I (6) x(P(x)Q(x) P (7) P(c)Q(c) US(6) (8) P(c) T(5)(7) I (9) $xP(x) EG(8)2. 设R1是A上的等价关系,R2是B上的等价关系,A且B,关系R满足:,R,当且仅当R1且R2。试证明:R是AB上的等价关系。(10分)证 任取,ABxA yBR1R2,R,故R是自反的任取,RR1R2R1R2,R.故R是对称的。任取,R,RR1R2

8、R1R2(R1R1)(R2R2) R1R2,R, 故R是传递的。综上所述R是AB上的等价关系。3. 用伯恩斯坦定理证明(0,1和(a,b)等势。(10分)证 构造函数f:(0,1(a,b),f(x)=,显然f是入射函数 构造函数g: (a,b)(0,1,,显然g是入射函数, 故(0,1和(a,b)等势。由于,因此4. 设R是集合A上的等价关系,A的元素个数为n,R作为集合有s个元素,若A有关R的商集A/R有r个元素,证明:rsn2。(10分)证 设商集A/R的r个等价类的元素个数分别为m1,m2,mr,由于一种划分相应一种等价关系,m1+m2+mr=n, 由于(r个数的平方的平均值不小于等于这

9、r个数的平均值的平方),因此,即四、 应用题(10分)在一种道路上连接有8个都市,分别标记为a,b,c,d,e,f,g,h。都市之间的直接连接的道路是单向的,有ab, ac, bg, gb, cf, fe, bd, df.对每一种都市求出从它出发所可以达到的所有其她都市。解 把8个都市作为集合A的元素,即A=a,b,c,d,e,f,g,h,在A上定义二元关系R,R当且仅当从x到y有直接连接的道路,即R=,那么该问题即变为求R的传递闭包。运用Warshal算法,求得t(R)=那么从都市x出发能达到的都市为,故有离散数学 考试题答案一、 命题符号化(共6小题,每题3分,合计18分)1. 用命题逻辑

10、把下列命题符号化a) 设P表达命题“上午下雨”,Q表达命题“我去看电影”,R表达命题“在家里读书”,S表达命题“在家看报”,命题符号化为:(PQ)(PRS)b) 设P表达命题“我今天进城”,Q表达命题“天下雨”,命题符号化为:QP或PQc) 设P表达命题“你走”,Q表达命题“我留下”,命题符号化为: QP2. 用谓词逻辑把下列命题符号化a) 设R(x)表达“x是实数”,Q(x)表达“x是有理数”,命题符号化为:$x(R(x) Q(x) 或 x(R(x) Q(x)b) 设R(x)表达“x是实数”,E(x,y)表达“x=y”,f(x,y)=xy, 命题符号化为: x(R(x) E(x,0) $y(

11、R(y) E(f(x,y),1)c) 设F(f)表达“f是从A到B的函数”, A(x)表达“xA”, B(x)表达“xB”,E(x,y)表达“x=y”, 命题符号化为:F(f)a(A(a)$b(B(b) E(f(a),b) c(S(c) E(f(a),c) E(a,b)二、 简答题(共6道题,共32分)1. (P(QR)(R(QP)(PQR)(PQR) ((PQR)(PQR) (PQR) (PQR)).((PQR) (PQR) (PQR) (PQR))(PQR) (PQR) 这是主合取范式公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为(PQR)(PQR)(P

12、QR)(PQR)(PQR)(PQR)2. a) T b) F3. x(F(x)G(x)($xF(x)$xG(x) x(F(x)G(x)($yF(y)$zG(z) x(F(x)G(x)y$z(F(y)G(z) $xy$z(F(x)G(x) (F(y)G(z)4. a) 真命题。由于(AB)C=(AB)C=(AC)(BC)=(A-C)(B-C)b) 真命题。由于如果f是从集合A到集合B的入射函数,则|ranf|=|A|,且ranfB,故命题成立。5. a) 52 b) 5!=1206. B的最小元是b,无最大元、极大元是d和e、极小元是b、上界集合是g、下界集合是a,b、上确界是g、下确界是b.7

13、. KS=n; KP(S)=; KN=0,KNn=0, KP(N)=; KR=, K=RR= ,K0,1N= 三、 证明题(共3小题,合计40分)1. a) 证 (1)B P(附加条件) (2)B(AS) P (3) AS T(1)(2) I (4) A T(3) I (5) A(BC) P (6) BC T(4)(5) I (7) C T(6) I (8) (EF)C P (9) (EF) T(7)(8) I (10) EF T(9) E (11) E T(10) I (12) BE CPb) 证 (1) $xR(x) P (2) R(c) ES(1) (3) x(Q(x)R(x) P (4

14、) Q(c)R(c) US(3) (5) Q(c) T(2)(4) I (6) x(P(x)Q(x) P (7) P(c)Q(c) US(6) (8) P(c) T(5)(7) I (9) $xP(x) EG(8)2. 证 任取,ABxA yBR1R2,R,故R是自反的任取,RR1R2R1R2,R.故R是对称的。任取,R,RR1R2R1R2(R1R1)(R2R2) R1R2,R, 故R是传递的。综上所述R是AB上的等价关系。3. 证 构造函数f:(0,1(a,b),f(x)=,显然f是入射函数 构造函数g: (a,b)(0,1,,显然g是入射函数, 故(0,1和(a,b)等势。由于,因此4. 证 设商集A/R的r个等价类的元素个数分别为m1,m2,mr,由于一种划分相应一种等价关系,m1+m2+mr=n, 由于(r个数的平方的平均值不小于等于这r个数的平均值的平方),因此,即四、 应用题(10分)解 把8个都市作为集合A的元素,即A=a,b,c,d,e,f,g,h,在A上定义二元关系R,R当且仅当从x到y有直接连接的道路,即R=,那么该问题即变为求R的传递闭包。运用Warshal算法,求得t(R)=那么从都市x出发能达到的都市为,故有

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!