



版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、一、单项选择题 (本大题共 15 小题,每小题 1 分,共 15 分) 在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条()A. 汉密尔顿回路B. 欧拉回路C.汉密尔顿通路D. 初级回路2.设 G 是连通简单平面图, G 中有 11 个顶点5 个面,则 G 中的边是 ()A.10B.12C.16D.143.在布尔代数 L 中,表达式 (a b) (a b c) (b c)的等价式是 ()A.b (a c)B.(ab) (a b)C.(ab) (ab c) (b c)D.(b c)
2、(a c)4.设 i 是虚数,·是复数乘法运算,则G=<1,-1,i,-i,· >是群,下列是G 的子群是 ()A.<1, · >B. -1, ·C.i, ·D. -i, ·5.设 Z 为整数集, A 为集合, A 的幂集为 P(A),+ 、-、/为数的加、减、除运算,为集合的交运算,下列系统中是代数系统的有()A.Z,+,/B.Z,/C.Z, -, /D. P(A) ,6.下列各代数系统中不含有零元素的是()A. Q, * Q 是全体有理数集, * 是数的乘法运算B. Mn(R),* ,Mn(R) 是全体 n
3、 阶实矩阵集合, * 是矩阵乘法运算C.Z,Z 是整数集, 定义为 x xy=xy,x,y ZD. Z ,+, Z 是整数集, +是数的加法运算7.设 A=1,2,3, A上二元关系 R 的关系图如下:R 具有的性质是A. 自反性B. 对称性C.传递性D.反自反性8.设 A=a,b,c ,A 上二元关系R= a,a, b,b,a,c ,则关系 R 的对称闭包S(R) 是 ()A.R IAB.RC.R c,a D.R IA9.设 X=a,b,c,Ix是 X 上恒等关系,要使 Ix a,b,b,c, c,a, b,a R 为 X 上的等价关系, R 应取 ()A. c,a,a,cB. c,b, b
4、,a C. c,a, b,a D. a,c, c,b 10.下列式子正确的是 ()A.B.C.D. 11.设解释R 如下:论域 D为实数集, a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R 下为真的是()A.(x)(y)(z)(A(x,y) A(f(x,z),f(y,z)B.(x)A(f(a,x),a)C.(x)(y)( A(f(x,y),x)D.( x)( y)(A(x,y) A(f(x,a),a)12.设 B 是不含变元 x 的公式,谓词公式( x)(A(x) B) 等价于 ()A.( x)A(x) BB.(x)A(x) BC.A(x) BD.(x)A(x) (x)
5、B13.谓词公式 ( x)(P(x,y) (z)Q(x,z) ( y)R(x,y) 中变元 x()A. 是自由变元但不是约束变元B. 既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若 P:他聪明; Q:他用功;则“他虽聪明,但不用功”,可符号化为 ()A.PQB.P QC.P QD.P Q15.以下命题公式中,为永假式的是()A.p (p q r)B.(p p) pC.(q q) pD. (q p) (p p)二、填空题 (每空 1分,共 20 分)16.在一棵根树中,仅有一个结点的入度为_,称为树根,其余结点的入度均为_。17.A=1,2,3,4
6、上二元关系R= 2, 4, 3, 3, 4 , 2 , R 的关系矩阵M R 中m24=_,m 34=_。18.设 s,* 是群,则那么 s 中除 _外,不可能有别的幂等元;若 s,*有零元,则 |s|=_。19.设 A 为集合,P(A) 为 A 的幂集,则 P(A) ,是格,若 x,y P(A), 则 x,y 最大下界是 _,最小上界是 _。20.设函数 f:X Y,如果对 X 中的任意两个不同的x1 和 x2,它们的象y1 和 y2 也不同, 我们说 f是 _函数,如果 ranf=Y ,则称 f 是 _函数。21.设 R 为非空集合A 上的等价关系,其等价类记为xR。x,y A,若 x,y
7、 R,则 xR 与 y R 的关系是 _,而若 x,y R,则 xR yR=_ 。22. 使公式 (x)(y)(A(x) B(y)(x)A(x) (y)B(y) 成立的条件是_ 不含有y,_不含有x。23.设 M(x):x 是人, D(s):x 是要死的, 则命题 “所有的人都是要死的”可符号化为 (x)_,其中量词 (x)的辖域是 _。24.若 H 1 H2 Hn 是 _,则称 H1,H2,Hn 是相容的, 若 H1 H 2 H n 是 _,则称 H1,H 2, Hn 是不相容的。25. 判断一个语句是否为命题,首先要看它是否为,然后再看它是否具有唯一的。三、计算题(共 30 分)26.(4
8、 分)设有向图 G=(V,E) 如下图所示,试用邻接矩阵方法求长度为2 的路的总数和回路总数。27.(5) 设 A=a,b,P(A) 是 A 的幂集,是对称差运算,可以验证 <P(A) ,>是群。设 n 是正整数,求 (a -1 ba) na -nb na n28.(6 分 )设 A=1,2,3,4,5,A上偏序关系R= 1, 2, 3, 2, 4, 1, 4, 2, 4, 3,3, 5,4, 5 IA ;(1)作出偏序关系R 的哈斯图(2)令 B=1,2,3,5 ,求 B 的最大,最小元,极大、极小元,上界,下确界,下界,下确界。29.(6 分 )求 (P Q)(P Q)的主合取
9、范式并给出所有使命题为真的赋值。30.(5 分 )设带权无向图G 如下,求 G 的最小生成树T 及 T 的权总和,要求写出解的过程。31.(4 分 )求公式 (x)F(x,y) (四、证明题(共 20 分)32.(6 分 )设 T 是非平凡的无向树,中至少有 2k-2 片树叶。y)G(x,y) (x)H(x) 的前束范式。T 中度数最大的顶点有2 个,它们的度数为k(k 2),证明T33.(8 分 )设 A 是非空集合, F 是所有从 A 到 A 的双射函数的集合,证明: F,是群。34.(6 分 )在个体域D=a 1,a2, , an 中证明等价式:(x)(A(x) B(x)(x)A(x)
10、(x)B(x)五、应用题 (共 15 分 )是函数复合运算。35.(9 分 )如果他是计算机系本科生或者是计算机系研究生,那么他一定学过 DELPHI 语言而且学过 C+ 语言。只要他学过 DELPHI 语言或者 C+ 语言,那么他就会编程序。 因此如果他是计算机系本科生, 那么他就会编程序。 请用命题逻辑推理方法, 证明该推理的有效结论。36.(6 分 )一次学术会议的理事会共有20 个人参加,他们之间有的相互认识但有的相互不认识。但对任意两个人,他们各自认识的人的数目之和不小于20。问能否把这20个人排在圆桌旁,使得任意一个人认识其旁边的两个人?根据是什么 ?参考答案一、单项选择题(本大题
11、共15 小题,每小题1 分,共 15 分)1.B2.D3.A4.A5.D6.D7.D8.C9.D10.B11.A12.A13.C14.B15.C二、填空题16.0117.1018.单位元119.x yx y20.入射21. x R= y R22.A(x)B(y)23.(M(x) D(x)M(x) D(x)24.可满足式永假式 (或矛盾式 )25.陈述句真值三、计算题110026. M=1010101100112110M 2=211121211011444M ij218,M ij26i 1j 1i1G 中长度为2 的路总数为 18,长度为2 的回路总数为 6。27.当 n 是偶数时,x P(A)
12、,x n=当 n 是奇数时,x P(A),x n=x于是:当 n 是偶数, ( a -1 b a )n a -n b n a n=( a -1 )n b n an=当 n 是奇数时,( a-1 ba )n a -n b n an= a -1 b a( a -1 )n b na n= a -1 b a a -1 b a=28.(1) 偏序关系R 的哈斯图为(2)B 的最大元:无,最小元:无;极大元: 2, 5,极小元: 1,3下界: 4, 下确界 4;上界:无,上确界:无29.原式( (P Q) (P Q)(P Q) (P Q)(P Q)(P Q) ( (P Q) (P Q)( PQ P Q)
13、( ( P Q) (P Q)( (P Q) (P Q)(P Q) (P Q)P(Q Q)P(Q Q)(P Q) (P Q)命题为真的赋值是P=1,Q=0 和 P=1,Q=130.令 e1=(v 1,v3),e2=(v 4,v6)e3=(v 2,v5),e4=(v 3,v6)e5=(v 2,v3),e6=(v 1,v2)e7=(v 1,v4),e8=(v 4,v3)e9=(v 3,v5),e10=(v 5,v6)令 ai 为 ei 上的权,则a1<a2<a3<a4<a5=a6=a7=a8 <a9=a10取 a1 的 e1 T,a2 的 e2 T,a3 的 e3 T,
14、a4 的 e4 T,a5 的 e5 T,即,T 的总权和31.原式 ( =1+2+3+4+5=15x1F(x1,y)y1G(x,y 1)x1y1(F(x 1,y) G(x,y 1)x2H(x 2)x2H(x 2)(换名 )x1y1 (F(x 1,y1)G(x,y 1)x2H(x 2)x1y1x2( (F(x 1,y1)G(x,y 1 ) H(x 2)四、证明题32.设T 中有x 片树叶,y 个分支点。于是T 中有x+y个顶点,有x+y-1条边,由握手定理知T 中所有顶点的度数之的xyd(v i ) =2(x+y-1) 。i 1又树叶的度为1,任一分支点的度大于等于2且度最大的顶点必是分支点,于
15、是xyd(vi ) x· 1+2(y-2)+k+k=x+2y+2K-4i 1从而2(x+y-1) x+2y+2k-4x 2k-233.从定义出发证明:由于集合上恒等函数,因此F 非空(1)f,g F,因为 f 和 g 都是A 是非空的,故显然从A 到 A 的双射函数,故A 到 A 的双射函数总是存在的,如fg 也是 A 到 A 的双射函数,从而集A合 F 关于运算 是封闭的。(2) f,g,h F,由函数复合运算的结合律有f (g h)=(f g) h 故运算 是可结合的。(3)A 上的恒等函数IA 也是 A 到 A 的双射函数即 I AF,且f F 有 I A f=fI A =f,
16、 故 IA 是 F,中的幺元(4) f F,因为 f 是双射函数,故其逆函数是存在的, 也是 A 到 A 的双射函数, 且有 f f -1=f -1f=I A ,因此 f-1 是 f 的逆元由此上知 F,是群34.证明 (x)(A(x) B(x)x( A(x) B(x)( A(a 1)B(a 1) ( A(a 2) B(a2 ) (A(a n) B(a n)( A(a 1)A(a 2) A(an)(B(a 1 ) B(a2) (B(a n) (A(a 1)A(a 2) A(a n) ( B(a 1) B(a 2) (B(a n) (x)A(x) (x)B(x)(x)A(x) (x)B(x)五、
17、应用题35.令 p:他是计算机系本科生q:他是计算机系研究生r:他学过DELPHI 语言s:他学过 C+ 语言t:他会编程序前提: (pq) (r s),(r s)t结论: pt证 pP(附加前提 ) p qT I (p q) (r s) P(前提引入 ) r sT I rT I r sT I (r s) tP(前提引入 ) tT I36.可以把这 20 个人排在圆桌旁,使得任一人认识其旁边的两个人。根据:构造无向简单图G=<V,E>, 其中 V=v 1,v2, , V 20 是以 20个人为顶点的集合, E 中的边是若任两个人 vi和 vj 相互认识则在vi 与 vj 之间连一条
18、边。V i V,d(v i)是与 vi相互认识的人的数目,由题意知vi,vj V有 d(v i)+d(v j ) 20,于是 G中存在汉密尔顿回路。设 C=V i1 V i2 V i20V i1 是 G 中一条汉密尔顿回路, 按这条回路的顺序按其排座位即符合要求。一、单项选择题(本大题共15 小题,每小题1 分,共 15 分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。1下列是两个命题变元 p, q 的小项是()A p p qB pqC p qD p p q2令 p:今天下雪了, q:路滑,则命题 “虽然今天下雪了, 但是路不滑”
19、可符号化为 ()A p qB p qCp qD p q3下列语句中是命题的只有()A 1+1=10B x+y=10Csinx+siny<0D x mod 3=24下列等值式不正确的是()A (x)A(x) AB (x)(B A(x)B (x)A(x)C( x)(A(x) B(x)(x)A(x) (x)B(x)D (x)( y)(A(x) B(y)( x)A(x) (y)B(y)5谓词公式 (x)P(x,y) (x)(Q(x,z) (x)( y)R(x,y,z) 中量词x 的辖域是(A (x)Q(x,z) (x)(y)R(x,y,z)B Q(x,z) (y)R(x,y,z)CQ(x,z)
20、(x)(y)R(x,y,z)D Q(x,z)f: R R,f(x)=2 x,则 f 是(6设 R 为实数集,函数)A 满射函数B入射函数C双射函数D 非入射非满射7设 A=a,b,c,d ,A 上的等价关系R= <a,b>,<b,a>,<c,d>,<d,c> IA ,则对应于分是()A a,b,c,dB a,b,c,dCa,b,c,dD a,b,c,d)R的A的划8设 A=?, B=P(P(A) ,以下正确的式子是()A ?,? BB ?,? BC?,?BD ?,? B9设 X ,Y , Z 是集合,一是集合相对补运算,下列等式不正确的是()A(
21、X - Y) - Z=X - (YZ)B(X - Y) - Z=(X - Z)- YC(X - Y) - Z=(X - Z)- (Y- Z)D(X - Y) - Z=X - (YZ)10设 * 是集合 A 上的二元运算,称Z 是 A 上关于运算 * 的零元,若()A xA , 有 x*Z=Z*x=ZB ZA ,且xA 有 x*Z=Z*x=ZCZA ,且xA 有 x*Z=Z*x=xD ZA ,且 xA 有 x*Z=Z*x=Z11在自然数集 N 上,下列定义的运算中不可结合的只有()A a*b=min(a,b)B a*b=a+bCa*b=GCD(a,b)(a,b 的最大公约数 )D a*b=a(m
22、od b)12设 R 为实数集, R+ =x|x R x>0 , *是数的乘法运算,<R+,* >是一个群,则下列集合关于数的乘法运算构成该群的子群的是()A R +中的有理数 B R +中的无理数 CR +中的自然数 D1,2,313设 <A,*, >是环,则下列正确的是()A <A, >是交换群B <A,* >是加法群C 对 * 是可分配的D *对 是可分配的14下列各图不是欧拉图的是()15设 GA2 个面C4 个面是连通平面图,G 中有6 个顶点8 条边,则B3个面D5 个面G 的面的数目是()第二部分非选择题(共85 分)二、填空
23、题(本大题共 10 小题,每空 1 分,共 20 分)请在每小题的空格中填上正确答案。错填、不填均无分。16一公式为之充分必要条件是其析取范式之每一析取项中均必同时包含一命题变元及其否定;一公式为之充分必要条件是其合取范式之每一合取项中均必同时包含一命题变元及其否定。17前束范式具有形式(Q 1V 1)(Q 2V 2)(QnVn)A ,其中 Qi (1 i n)为,A 为的谓词公式。18设论域是 a,b,c ,则 (x)S(x) 等价于命题公式; (x )S(x) 等价于命题公式。19设 R 为 A 上的关系,则R 的自反闭包r(R)=,对称闭包s(R)=。20某集合 A 上的二元关系R 具有对称性, 反对称性, 自反性和传递性, 此关系 R 是,其关系矩阵是。21设 <S, >是一个偏序集,如果S 中的任意两个元素都有和,则称 S 关于构成一个格。22设 Z 是整数集,在Z 上定义二元运算*为 a*b=a+b+a ·b,其中 +和·是数的加法和乘法,则代数系统 <Z,* >的幺元是,零元是。23如下平面图有2 个面 R1 和 R2,其中 deg(R1)=, deg(R2)=。24无向图 G 具有一条欧拉回路,当且仅当G 是,并且所有结点的
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 郑州工程技术学院《医学微生物》2023-2024学年第二学期期末试卷
- 南京晓庄学院《机械加工工艺实训》2023-2024学年第二学期期末试卷
- 2025届浙江省金华市云富高级中学高三数学试题5月15日第7周测试题含解析
- 幼儿园大班大雪节气教育
- 长沙电力职业技术学院《声乐表演》2023-2024学年第二学期期末试卷
- 成都东软学院《概率论与数理统计B》2023-2024学年第一学期期末试卷
- 六盘水幼儿师范高等专科学校《微剧本创作》2023-2024学年第一学期期末试卷
- 天津中德应用技术大学《分子医学实验》2023-2024学年第一学期期末试卷
- 南京航空航天大学《西方教育哲学史》2023-2024学年第二学期期末试卷
- 中国矿业大学徐海学院《建筑制图实验》2023-2024学年第二学期期末试卷
- 2025年铅锌矿项目可行性研究报告
- 防春困防疲劳驾驶课件
- 玻璃更换施工方案
- 2025年中国职工保险互助会贵州省办事处招聘笔试参考题库含答案解析
- 2025年生猪屠宰兽医卫生检疫人员考试题(附答案)
- 2025-2030垃圾发电产业市场深度分析及前景趋势与投资研究报告
- 出生缺陷预防培训课件
- 中小学综合实践活动课程指导纲要:让学生更好地了解活动的意义和价值
- 物理-安徽省安庆市2024-2025学年高三下学期第二次模拟考试试卷(安庆二模)试题和答案
- 律师尽职调查工作方案
- 2024年杭州市粮食收储有限公司招聘考试真题
评论
0/150
提交评论