西南大学1912课程考试[0004]《离散数学》大作业（资料）

skystar

西南大学网络与继续教育学院课程考试试题卷3 W9 K0 {  |7 s. u8 j5 H

类别：网教        专业： 计算机教育          2019 年12月
课程名称【编号】：离散数学【0004】                B卷
大作业                                        满分：100 分
  F+ c1 A+ C- @. ?
一、大作业题目 8 n; x/ j' V' }1 o6 G
1.请给出集合A到集合B的映射f的定义. 设R是实数集合，f: R×R  R×R, f(x, y) = (x + y, x - y). 8 x0 f: ~" j; E+ L1 x* z+ t
证明f是双射.
2. 设R是集合A上的关系，请给出R的传递闭包t(R)的定义. 下图给出的是集合A = {1，2，3，4，5，6}上关系R的关系图，试画出R的传递闭包t(R)的关系图,并用集合表示.
( k' a5 p+ {9 E* r
     3. 请给出谓词逻辑的研究对象，并将“任何整数的平方均非负”使用谓词符号化.& C" D- `* p% G4 @
     4. 利用真值表求命题公式的主析取范式和主合取范式.  d2 i+ @1 n/ Q0 D1 L; B' d( _
     5. 求叶赋权分别为2, 3, 5, 7, 8的最优2叉树.
     
     3 e$ m# Z1 f5 [' r1 S# \( j
二、大作业要求2 h$ w+ V/ L' c" U
大作业共需要完成三道题：  T' S3 b0 h( g% S( \$ D
第1题必做，满分30分；
第2-3题选作一题，满分30分；1 r$ b2 w. q/ o: s* U) _: _
第4-5题选作一题，满分40分.