

下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、166 / 8 一、填空题:(每空1分,本大题共15分) 1. _ 给定命题公式 A、B,若 , 则称 A 和 B是逻辑相等的。 2命题公式一(P Q)的主析取范式为 ,主合取范式的编 码表示为 _ 。 3. _ 设 E 为全集, ,称为 A 的绝对补,记作 A, 且( A) = _ ,E = _ ,= _ 。 4. 设A=a,b,c考虑下列子集 Si = a,b, b,c,S a, a,b, a,c,S a, b,c,S a,b,c S5 二a,b,c,S6 = a,a,c 则 A 的覆盖有 _ ,A 的划分有 _ 。 5设 S 是非空有限集,代数系统V (S),c,. 中,(S)对厂的幺元
2、为 _ 零元为 _ 。 ( S) 对-的幺元为 _ ,零元为 _ 6若G =:V,E 为汉密尔顿图,则对于结点集 V 的每个非空子集 S,均有 W(G-S) _ S 成立,其中 W(G-S)是 _ 二、单项选择题:(每小题1分,本大题共10分) 1.下面命题公式( )不是重言式。 A、Qr(PQ) ; B、(PQ)rP ; C、(P Q) ( p Q) ; D、(Pr Q) r (p Q)。 2命题“没有不犯错误的人”符号化为( )。 设M(x):x是人,P(x): x犯错误。 A、-x(M (x) P(x) ; B、一( x(M(x)P(x); 167 / 8 C、一( x(M (x) P(
3、x) ; D、一( x(M (x) 一P(x)。 3设A二,B = ( (A),下列各式中哪个是错误的( )。168 / 8 4. 5. 6. 7. A、疔二 B ; B、 - B , C、 : B ; 对自然数集合 N,哪种运算不是可结合的, A、a b = min( a, b); C、a b =a b 3; 设 Z 为整数集,下面哪个序偶不够成偏序集 A、:: Z, : ( ::小于关系); C、 :Z,= (二:等于关系) ; 任意具有多个等幂元的半群,它( A、不能构成群; C、不能构成交换群; 设:A 是一个有界格,它也是有补格, A、每个元素都有一个补元; C、每个元素都无补元;
4、设G =:V,E 为无向图, V =7, A、完全图; B、树; 给定无向图G -V, E ,如- A、 V!,V4 MM ; B、 V!,V5 ,:V4M ; C、 : V4 ,V7 , :V4,V8 ; D、- V! ,V2 ,:V2,V3 C、简单图; 9. 运算定义为任 a,bN ( B、a b 二 a 2b ; D、a b = a, b(mod 3) B、 :乙 (乞:小于等于关系 :乙 (:整除关系) B、不一定能构成群; D、能构成交换群。 只要满足( B、每个元素都至少有一个补元; D、每个元素都有多个补元。 E =23,贝U G 心曰 定是 D、多重图。 F图所示,下面哪个边
5、集不是其边割集( 10.有 n个结点(n 3) , m条边的连通简单图是平面图的必要条件( n _ 3m6 ; B、n 乞 3m6 ; C、m_3 n6 ; D、m3n6 169 / 8 、判断改正题: (每小题2分,本大题共20 分) 1设 A, B 为任意集合,不能 A二B且A B 。 2. 设R是集合 A 上的关系,若Ri , R2是对称的,则R R2也是对称的。( ) 3群中可以有零元(对阶数大于 1 的群)。 4. 循环群一定是 Abel 群。 5 每一个链都是分配格。 6不可能有偶数个结点,奇数条边的欧拉图。 7. 图 G 中的每条边都是割边,贝 U G 必是树。 9公式-x(P(
6、x) Q(x) R(y) 中-x的辖域为 P(x)。 10公式-xP(x) _yQ(x, y)的前束范式为 -xy(P(x) -; Q(x, y)。 四、简答题(共20分) 1 用等值演算法求下面公式的主析取范式,并求其成真赋值。 (P Q) R 2集合A =1,2,3,4上的关系 R = :: 1 ,1 , : 1,3 , : 2,2 , : 3,3 , : 3,1 , : : 3,4 , : 4,3 , : 4,4 , 写出关系矩阵 MR,画出关系图并讨论 R 的性质。 3有n个药箱,若每两个药箱里有一种相同的药,而每种药恰好在两个药箱中,问共有多少种 药品? 4一棵树 T 中,有 3 个
7、 2 度结点,一个 3 度结点,其余结点都是树叶。 (1) T 中有几个结点; ( ( ( ( ( ( ) ) ) ) ) ) 170 / 8 (2) 画出具有上述度数的所有非同构的无向图。171 / 8 五、证明题:(35分) 1 符号化下列各题,并说明结论是否有效(用推理规则) 。 凡 15 的倍数都是 3 的倍数,凡 15 的倍数都是 5 的倍数,所以有些 5 的倍数是 3 的倍数。 2 用推理规则证明: (A B) (C D) , (一B E) (一D F), 一(E F) , A C 卜 A 3设函数f: A B , g: B C,若g f是满射的,则g是满射的。 4.当且仅当 G
8、的一条边e不包含在 G 的闭迹中时,e才是 G 的割边。 5 .设:S ,-是一个分配格, a S,令f (x)二x a,对任意 a S,证明:f是 :S , , 到自身的格同态映射。 一、填空题 1 对于 A , B 中原子变元 R , P2 ,,Pn任意一组真值指派, A 和 B 的真值相同。 2. P Q , M 00 M 01 M11。 3. 集 A 关于 E 的补集 E -A ; A ;;E。 5. 门;S ; S ; 。 6. 岂;G-S的连通分支数。 、单项选择题 题号 1 2 3 4 5 6 7 8 9 10 答案 C D D B A A B D B D 4. S1 , S2
9、, S3 , S4 , S5 ; S5。 172 / 8 三、判断改正题 1.x 可能 A B 且 A B,如 A -a , B=1,1 ,2。173 / 8 2. x R1 , R2是对称的,则 R1 R2不一定是对称的。 3. x 阶数大于 1 的群不可能有零元。 4. 5 . 。 6. x 可以有偶数个结点、奇数条边的欧拉图。如图 7. X 连通图,若每条边都是割边,则 G 必是树。 8. x P:每一个自然数不都是偶数。 9. x -X 的辖域为 P(x)-; Q(x)。 10.x -xP(x) _yQ(x,y)的前束范式为 xTy(P(x) Q(u,y)。 四、简答题 1.解:原式
10、二(P Q) R:=(-卩Q) R= ( P Q R) (P Q _R) (P Q R) (P _Q R) (P _Q R) (P Q R) m001 goo 011 m101 m001 m011 使其成真赋值为: 2解: 1 0 1 MR = 0 1 01 0 1 0 1 p Q r r J1J D(x,3) P (4) D(c,15) D(c,3) US (3) (5) D(c,3) T (2) (4) (6) - x(D(x ,15)r D(x ,5) P (7) D(c,15) D(c,5) US (6) (8) D(c,5) T (2) (7) (9) D(c,5) D(c,3) T
11、 (5) ( 8) (10) x(D(x,5) D(x,3) EG (9) 结论有效。 2证明: (1) A P (附加前提) (2) A C P (3) C T (1) (2) I (4) (A B) (C D) P I I I OO- 五、证明题 O- O - O -O - O C 176 / 8 (5)( C D T (4) I (6) D T ( 3) (5) I (7) (-B E) (-D F) P (8) (B E) (D F) T ( 7) E (9) D F T ( 8) I (10) F T (6) (9) I (11) A B T (4) I (12) B T (1) (11) (13) B E T ( 8) I (14) E T (12) (13) (15) E F T (10) (14) (16) -(E F) P (17) (E F) -(E F) T (15) (16) 结论有效。 3. 证明:g f: A C,-c C , g f 是满射, a A,使 g f (a)二 g(f (a)二 c,令 b = f(a) B,则 g(b) =c , g: B C是满射。 4. 证明:必要性:设 e为割边,若e包含在 G 的一个闭迹中,则从 G 中删去e仍连通,此与e是 割边矛盾。 充分性:设e=(u,v),不包含 G 的任一闭迹中。
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 三次劳动合同(标准版)
- 杭州市卫生健康委员会所属五家事业单位招聘考试真题2024
- 广西壮族自治区市场监管局直属事业单位招聘考试真题2025
- 难点解析-人教版八年级物理上册第6章质量与密度-密度综合测试试卷(含答案详解)
- 难点解析人教版八年级物理上册第4章光现象定向测评试卷(详解版)
- 2025年金属冶炼单位安全生产管理人员考试(金属冶炼铝冶炼)仿真试题及答案
- 2025人教版高中英语主语从句练习题50题带答案
- 2025年房地产开发管理考试试卷及答案
- 2025金属非金属矿山主要负责人和安管人员考试测试题及答案
- 综合解析人教版八年级物理上册第5章透镜及其应用章节训练试题(含详细解析)
- 十大常用管理工具
- 护士ECMO进修总结
- 2024年医院体检中心绩效考核方案
- 中国心力衰竭诊断和治疗指南2024解读(完整版)
- 期中测试卷-2024-2025学年统编版语文四年级上册
- 2024版成人术中非计划低体温预防与护理TCNAS 44─20242
- 退役军人事务员职业技能理论考试复习题及答案
- 2024年秋季新人教版八年级上册物理全册教案(2024年新教材)
- 中国近代史纲要-第七章
- 2024中国蛇伤救治指南解读
- DL∕T 5342-2018 110kV~750kV架空输电线路铁塔组立施工工艺导则
评论
0/150
提交评论