20年6月西南大学课程考试[0004]《离散数学》大作业（资料）
西南大学培训与继续教育学院课程考试试题卷
% z% pU: L+ o8 \; ^
学期：2020年春季
课程名称【编号】：离散数学【0004】 A卷
:大作业 满分：100 分0 h5 O" R; L* ~) _: gs8 L( g2 w% W
________________________________________4 y& @/ @+ A1 r" F/ v
1.请给出集合A到集合B的映射f的定义. 设R是实数集合，f:(0,1) R,,
证明f是双射.
2. 设R是集合A上的关系，请给出R的传递闭包t(R)的定义. 下图给出的是集合A = {1，2，3，4，5}上关系R的关系图，试画出R的传递闭包t(R)的关系图,并用集合表示.
3. 请给出谓词逻辑的研究对象，并将“任何整数的平方均非负”使用谓词符号化.) ^( J$ Q. Y4 ?/ r
4.解释命题公式真值表的含义，并利用真值表求命题公式 的主合取范式.
5. 给出叶赋权m叉树的定义，并求叶赋权分别为2, 3, 5, 7, 8的最优2叉树.
* K: S8 [( B. A* p
; N0 M( {! k7 M5 D6 W2 K( v
二、大作业要求
大作业共需要完成三道题：
第1题必做，满分30分；
第2-3题选作一题，满分30分；5 f) A6 t2 s/ h
第4-5题选作一题，满分40分.
页:
[1]