|
西南大学网络与继续教育学院课程考试试题卷8 P. M# ~# Z( G8 k5 ~" T& W2 _8 k, |
- l& W% w8 g& S6 z# ?+ k$ @0 u
类别:网教 专业: 计算机教育 2019年9月" {- t& @* n& i% u4 d
课程名称【编号】:离散数学【0004】 A卷
+ A) D4 }& _+ H a* ]大作业 满分:100分
& N2 J) ^1 x* i2 D________________________________________- s5 w% x+ }9 u& ^9 y' N
一、 大作业题目 A. p8 N* C+ ?* o# B
1.请给出集合A到集合B的关系R的数学定义,并判断整数集Z上的模 同余关系 具有哪些性质,其中 为正整数.
' `+ V* j |& X" t0 |2. 请给出谓词逻辑研究的对象,并将“所有人都是要死的”使用谓词符号化.
; T! I' p. H) s" Z: t3 T4 R 3. 请给出群的定义,并验证:非0实数集合R- {0}关于数的乘法运算构成群.
2 T0 s4 K0 C% [' I9 B0 F' { 4. 请给出无向连通图的定义,并证明:设 是 阶简单无向图,若对于任意的 中不相邻的节点 和 有 ,则 是连通图.9 U1 Q+ ^2 V3 V" R7 p
5. 请给出平面图的定义,并利用Euler公式证明: Petersen图是非平面图. : w3 k$ X/ R3 y* l. F0 D7 E
+ `5 p0 i& m s1 H* L: B; V二、大作业要求
! g/ x A' W8 G/ Q: A9 ?大作业共需要完成三道题:" o) K# F6 s# M% H# W3 [
第1题必做,满分30分;/ ~, D- A0 W6 s5 @
第2-3题选作一题,满分30分;6 w- ]" K7 d0 p* F% R
第4-5题选作一题,满分40分.
$ D6 s* Y; @) P
1 h" K( I5 R4 b- y; a0 f N
0 c* h, [7 N! P4 L6 h
6 L$ b, D8 j! ~! u0 y1 i( E |
|