|
西南大学培训与继续教育学院课程考试试题卷6 J, D7 k( c. Y
s6 m }/ O9 f& o. L% S
学期:2020年春季
! A- q0 q3 e9 o5 X+ s/ @( Q9 G: ]课程名称【编号】:离散数学【0004】 A卷
: J H, h# I2 K$ ]:大作业 满分:100 分9 L/ u% N) O, R a- T
________________________________________
5 k$ @9 x1 G% n: |6 k0 q4 V# ]1.请给出集合A到集合B的映射f的定义. 设R是实数集合,f: (0,1)  R, ,
$ l2 b. e; ?1 c! z2 U$ d证明f是双射./ j( c3 g& h4 J u
2. 设R是集合A上的关系,请给出R的传递闭包t(R)的定义. 下图给出的是集合A = {1,2,3,4,5}上关系R的关系图,试画出R的传递闭包t(R)的关系图,并用集合表示.
- z# y8 P2 I/ U; S( Y
; F( ^# E C: {0 { 3. 请给出谓词逻辑的研究对象,并将“任何整数的平方均非负”使用谓词符号化.
( v0 [, l5 R7 W& J0 x/ U 4.解释命题公式真值表的含义,并利用真值表求命题公式 的主合取范式.7 ?2 i3 c1 N5 w+ P. F: d
5. 给出叶赋权m叉树的定义,并求叶赋权分别为2, 3, 5, 7, 8的最优2叉树.( ?5 j% g$ V* _, y3 @% w
$ _" Q7 G# }) d$ e1 h1 s1 r
( x, J! T9 e r3 Z/ A2 f& o2 W6 D二、大作业要求' c0 p, T9 Q1 s0 R9 s4 W9 \1 e3 P
大作业共需要完成三道题:
2 M- } L' b2 h$ u) L$ ]9 u0 A4 y第1题必做,满分30分;
; d: f. t7 e* P4 Z2 t第2-3题选作一题,满分30分;
6 m$ c$ H7 n+ ^4 _) H0 f# t. Z第4-5题选作一题,满分40分.
5 D# k+ P% X a( M; d# {/ a& t" L9 V9 o8 @' O. ~1 d4 c
! Q0 P% Y/ G3 o" N- D Y
W1 |5 v2 d% M2 R4 W9 c- [0 c6 u$ v2 C; H; j/ M
|
|