|
西南大学培训与继续教育学院课程考试试题卷! v9 g: W3 {' \9 }. h. p" X
3 b- r" V, e8 Z ^# V
学期:2020年春季
( a0 c7 n0 ^, a, K' b0 ^课程名称【编号】:离散数学【0004】 A卷
; {9 q2 c& [' }1 E:大作业 满分:100 分
# i2 \+ F! Z0 A8 }4 Y' w3 i& }________________________________________
) l( l( F" J1 n. Y1.请给出集合A到集合B的映射f的定义. 设R是实数集合,f: (0,1)  R, , 6 @: Z' m* b N
证明f是双射.1 ~6 o7 J- B% l( f
2. 设R是集合A上的关系,请给出R的传递闭包t(R)的定义. 下图给出的是集合A = {1,2,3,4,5}上关系R的关系图,试画出R的传递闭包t(R)的关系图,并用集合表示.
5 Q% Z8 t/ u3 k; b& w
5 J- u3 x2 ^ _% a0 I 3. 请给出谓词逻辑的研究对象,并将“任何整数的平方均非负”使用谓词符号化.& _* E2 v% {* |: |
4.解释命题公式真值表的含义,并利用真值表求命题公式 的主合取范式.
* W! h. l% P4 C 5. 给出叶赋权m叉树的定义,并求叶赋权分别为2, 3, 5, 7, 8的最优2叉树.
8 A$ O/ T/ P4 |0 @- V8 ?
1 W' @5 [ e; a: P ! a7 u: ~ O* P0 ^! y% x+ b6 l
二、大作业要求
8 F9 x5 I) y* M K; y大作业共需要完成三道题:. b1 h/ b* d( m9 G% S
第1题必做,满分30分;
# Z6 Z2 x! X/ k4 d0 s" S" |* T第2-3题选作一题,满分30分;
/ J' l, y! g$ ^( ]1 P第4-5题选作一题,满分40分.
5 w7 y/ I$ B& \# q# }9 Q& g6 U% G* T' h3 `7 j
1 g; c; V# q9 G; e( s$ K
' q+ g3 o2 Z' X( F9 q& F- v0 Q. `* ^( d7 ]4 p q; s6 S- o. a, \
|
|