|
西南大学网络与继续教育学院课程考试试题卷
: J& Q; J. d- m# H4 a- D! G l. D: t+ o2 a5 }! L1 @
类别:网教 专业: 计算机教育 2019 年12月
# d; N- \/ n1 E0 N+ {课程名称【编号】:离散数学【0004】 B卷
* l+ I# V3 a! j" w0 o6 `大作业 满分:100 分
6 r4 a4 @6 {6 l- e
, O3 e9 s2 M6 |/ S$ u& o- m$ B一、大作业题目
* ]& Y: a3 S* w1.请给出集合A到集合B的映射f的定义. 设R是实数集合,f: R×R R×R, f(x, y) = (x + y, x - y). % D* k* \ b# F: y3 o; b" N- u% z
证明f是双射.
4 R. k: N: k: G' H/ d) Z& [$ t2. 设R是集合A上的关系,请给出R的传递闭包t(R)的定义. 下图给出的是集合A = {1,2,3,4,5,6}上关系R的关系图,试画出R的传递闭包t(R)的关系图,并用集合表示.5 K6 J4 {6 u5 a2 S9 ?7 n+ }
( K7 ]5 R( i2 U3 Y$ { 3. 请给出谓词逻辑的研究对象,并将“任何整数的平方均非负”使用谓词符号化.
2 F* _, `& Z- k( \9 J+ b/ t 4. 利用真值表求命题公式的主析取范式和主合取范式.
0 x L& {& x# O- V. N1 Q, G6 X 5. 求叶赋权分别为2, 3, 5, 7, 8的最优2叉树.
+ S2 G) z) O6 |$ {6 K* S
& U2 _$ `& s- P% O
; @% H9 c! i* R4 n" J! R) {8 g二、大作业要求# H3 ]! u0 F2 c4 Z$ d$ G* {
大作业共需要完成三道题:* X( i+ S) A! [0 }6 t: }$ J. w
第1题必做,满分30分;
) D* r4 x$ L4 C) O& j- k第2-3题选作一题,满分30分;% d5 O9 \% v0 d/ w3 h& @. \
第4-5题选作一题,满分40分.0 U" M3 i, e8 c' O
5 _$ u% A+ q+ P8 S+ t$ \6 q6 t% Z! }( r# ?
0 V* x! n4 `5 }! L4 s3 ~
5 u; l# s2 d9 T& h5 F8 |
1 t7 i) Y" m1 ]. k. m6 H7 S
1 {! l5 B+ ~) R3 e, Z/ b4 F/ a! X% c3 |0 ~4 d; ~
' C7 T: L- \' Q3 a5 Y* k
3 h) r/ }, J- _6 f& Z& r
5 b, d" }) ?1 m3 E
& Q9 D/ S0 v, Z5 J
~ h! E/ o% a8 b; z: B* M2 \% @
" K7 D. }/ k( D0 ~8 ]0 K1 U$ g" [
B/ G7 T1 i0 z4 {
3 _: X, V: z J9 S7 n5 T% d
0 v7 X; ?5 h) V8 v" e/ B5 H# c2 ^8 V g, T9 T: [+ ^
% t$ g, n$ d( N- y4 F
5 t0 q$ Y$ o( x$ h4 _- X* ]. w
0 c [8 y0 G0 n! L( z0 d- \$ j
& t7 ~$ k4 s+ f' e! }$ U
2 M$ Y6 x7 \, ~, s
1 [# N( V1 Z4 L9 T$ W- S3 m
! I1 y9 Z, g: {1 h% o8 P9 Z6 z
. O) S8 m) ~+ d) J
7 s2 q k+ ?' G* k4 Z$ X6 j
% Y! s& c- Q6 P4 y: o+ {3 l |
|