某班学生有50人会c语言的有40人,离散数学`试卷B.doc

离散数学`试卷B

一、基础知识(40分)

判断下列句子是否是命题，若是命题将其符号化。(4分)

李平不是不聪明，而是不用功。

如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。

在一阶逻辑中将下列命题符号化。(4分)

整数都是有理数，并不是每个有理数一定是整数，有些有理数不是整数。

某些汽车比所有的火车慢。{(,{(},{{(}}}

B={{a,b},{c}}

设A={1,2,3}，求A上所有的等价关系。(6分)

设集合A={1,2,3,4}，关系R={<1,2>,<2,1>,<2,3>,<3,4>}，分别求r(R)，s(R)，t(R)。(6分)

一棵树有两个顶点度数为2，一个顶点度数为3，三个顶点度数为4，问它有几个度数为1的顶点。(4分)

设有无向图G如下所示，判断图G是是否是欧拉图和哈密顿图。若是，分别求出一条欧拉回路和哈密顿回路．(4分)

设有代数系统(Z,*)，运算*的定义为：任意x,y∈Z，x*y＝x+y-2，试证(Z,*)是群。(8分)

二、理解运用(30分)

判断命题公式的类型。(6分)

10. 求下列命题公式的主析取范式和所有成假赋值。

(6分)

求谓词公式的前束范式。(6分)

画出集合A={1,2,3,4,6,8,12,24}关于整除关系的哈斯图。并求

(1)集合A的最大元、最小元、极大元和极小元；(2)集合B＝{}的上界、下界、最小上界、最大下界。

三、综合能力(30分)

请用一阶逻辑推理理论证明以下推理：

每个学术会的成员都是工人并且是专家，有些成员是青年人，所以有的成员是青年专家。(10分)

某班学生50人，会FORTRAN语言的有40人，回ALGOL语言的35人，会C语言的10人，以上三门语言都会的5人，都不会的没有，问只会两门语言的有几人？(10分)

有向图G=如下图所示，分别求:

(1)G中v1到v4的长度为3、长度为4的通路条数。

(2)G中长度不超过4的通路总数。(10分)

西南科技大学试题 (B卷)

计算机学院： 课程名称：《离散数学》课程代码：命题单位：信息教研室

学院：计算机学院 专业班级： 学号：□□□□□□□□ 命题共2页第2 页