广工计算机专业离散数学考试题,广东工业大学---离散数学试卷和答案A.doc

+-

6、下面等式中唯一的恒等式是 [ D ]

A. (A∪B∪C)-(A∪B)=C B. A⊕A=A

C. A-(B×C)=(A-B)×(A-C) D. A×(B-C)=(A×B)-(A×C)

7、设R为实数集，定义* 运算如下：a*b=|a+b+ab|，则 * 运算满足 [ B ]

结合律 B. 交换律

C. 有幺元 D. 幂等律

8、对于集合A＝｛0、1、2、3、4、5、6、7、8、9、10｝，不封闭的二元运算是[ B ]

A x*y=max(x,y) B x*y=x－y

C x*y=(x+y)mod 9 D x*y=min(x,y)

二、填空题(本大题共10小题，每空3分，共24分)

9、含n个命题变项的重言式的主合取范式为__________无_______________。

10、设个体域为整数集合Z，命题Vxヨy(x+y=3)的真值为_______1____。

11、以1，1，1，2，2，3为度数序列的非同构的无向树共有______2_____棵。

12、已知n阶无向简单图G有m条边，则G的补图G有___OK_______条边。

13、设R={，<1, {1}>，<2, {3}>，}，则domR⊕ranR=_________OK__写成集合的形式__________。

14. 设A={1, 2, 3, 4}，则A上有______24______个不同的双射函数。

15. 设σ=(1345)(2678)是8元置换，则σ-1=____*_______。

16、集合A＝｛1、2、3、4｝上的恒等关系是_______OK__________________。

三、 简答及证明(本大题共6小题，每小题10分，共60分)

17、(10分)设G为n(n≥3)阶无向简单图，证明G或G的补图必连通。

18、(10分)设A，B，C为集合，证明：

A∩(B－C)=(A－C)∩(B－C)

19、(10分)右图是偏序图的哈斯图

1)X和≤的集合表达式

2)指出偏序集的极大元、极小元、最大元、最小元

20、(10分)设Z为整数集，在Z上定义二元运算*如下：

(x，y(Z，x*y＝x＋y－2

请证明(Z，*) 是群。

21、(10分)在命题逻辑中构造下面推理的证明。

前提：p→s，q→r，┐s，p∨q

结论：r

22、(10分) 用狄克斯特洛算法求下图中从a到f的最短

通路。(写出求解过程)

广东工业大学试卷用纸，共 2 页，第 2 页

广东工业大学考试试卷 ( A )

课程名称: 离散数学

考试时间: 2007 年 1 月 26 日 (第 21 周 星期五 )

题 号一二三四五六七八九十总分评卷得分评卷签名复核得分复核签名

一、单项选择题(本大题共8小题，每小题2分，共16分)

1、设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为 [ B ]

A. p→q B. q→p

C .p→┐q D. ┐p→q

2、设解释I如下，个体域D={a,b}, F(a,a)= F (b,b)=0, F(a,b)=F(b,a)=1，在解释I下，下列公式中真值为1的是 [ A ]

A. VxヨyF(x,y) B. ヨxVyF(x,y)

C. VxVyF(x,y) D. ┐ヨxヨyF(x,y)

3、设R1、R2为集合A上的任意关系，下列命题为真的是 [C ]

Ａ 若R1、R2反自反，则R1 R2反自反

B 若R1、R2传递，则R1 R2传递

C 若R1、R2自反，则R1 R2自反

D 若R1、R2对称，则