|
西南大学网络与继续教育学院课程考试试题卷
$ m% y. c- U: S, i' R% \+ k% t0 U+ c0 B z+ j6 g
类别:网教 专业: 计算机教育 2019年9月1 @5 |) n2 X! x% B$ B
课程名称【编号】:离散数学【0004】 A卷
/ `' v/ i6 O5 |大作业 满分:100分0 w# o, e9 \! _& d
________________________________________
, E( I& W4 O! E+ @& k+ c一、 大作业题目
8 V4 e$ e6 i3 x( Q. ?1 O% F6 X1.请给出集合A到集合B的关系R的数学定义,并判断整数集Z上的模 同余关系 具有哪些性质,其中 为正整数.0 C& Z x, `. o* |- w) o0 d8 m
2. 请给出谓词逻辑研究的对象,并将“所有人都是要死的”使用谓词符号化.
% T4 x+ I1 Z! Z$ d7 D' D: l+ X 3. 请给出群的定义,并验证:非0实数集合R- {0}关于数的乘法运算构成群.* G8 b) ]7 @4 a% d: f
4. 请给出无向连通图的定义,并证明:设 是 阶简单无向图,若对于任意的 中不相邻的节点 和 有 ,则 是连通图./ i# t1 w/ p# A) s# l6 K, A6 E1 L
5. 请给出平面图的定义,并利用Euler公式证明: Petersen图是非平面图. 0 w& d( R" m- ]( \
: [" D. ] \1 |% T
二、大作业要求! d/ p" f# b2 v' i7 f( j
大作业共需要完成三道题:
. `7 y- E. n I第1题必做,满分30分;, Q. C; ]+ {& r1 B5 |* ]9 T- I
第2-3题选作一题,满分30分;
( u. W' Y" t8 N2 Q第4-5题选作一题,满分40分.: |* q* s6 q$ Q5 x' n9 l& R: C
8 @1 O7 t5 W" N) [
! I. b( f( {/ I* r' Q
( M. G/ }" h- a5 }! s |
|