|
吉林大学网络教育学院
* k2 ]2 u, P% @) t' v
0 U7 B4 ?( q% e" L+ b. W, l! s9 Y. D; j0 ?: t4 I
- f9 t, p p, N8 N8 i1 Q& J & L3 R1 g# Q' Z: j. Y( X
2018-2019学年第二学期期末考试《离散数学》大作业5 {; X. j0 C- p# D' Y) t, r
3 |2 N- P4 D+ h1 k `
$ X" ~% Q) B& c
' V3 I2 c$ u- p, k8 v& B! E8 E- ?( ]7 W; O% `* Z7 [
! d5 d9 m0 @( v! X* Q( ^, `. r3 K+ a' o
学生姓名 专业 8 e. X2 a( w! a" _% ~6 a
层次年级 学号
* B- ?9 f1 P6 @, m学习中心 成绩 # s5 l9 _: p7 t* x
$ B# q3 _" U0 P3 V# n
6 [4 ~; \0 V# a& \0 w$ W
* e6 |5 S6 z+ p" V
$ i, U2 k. u4 t, J
3 h4 U# R* |- V( a' v7 k" f8 l- m. f3 E
年 月 日; G0 H! j: g/ j9 h' q; A
. g" g) `9 O8 l; P6 e6 A
; o' o i# a% B( e一、简要回答下列问题(每题5分,共50分)* u3 D+ p4 }8 W$ X
1、请给出集合的吸收率。
" Z) G+ [; ^4 E* @# O2、设A={1,2},请给出A上的所有关系。; ]; `) P: b; N& X3 w
3、设A={1,2,3},请给出A上的两个不同的等价关系。: f! ^6 w9 {1 ~3 n1 J k _
4、请给出,PQ,PQ的真值表。
4 M6 A- i9 I1 w, J5 q' G4 T5、什么是谓词逻辑中的项?$ P2 z2 \' A4 x b3 H4 l/ o
6、有根的有向图是否一定强连通?有向图中的根是否一定唯一
. m4 z! u0 J+ l5 }$ [$ u7、请给出3元置换群中的所有元素,并指出哪个是单位元。# }( `: H! z' c( T# A9 _
8、设C*是非零复数乘法群,请给出由i生成的子群(i),并求出(i)中各元素的周期。* \. U7 D4 W" v( w* p( w
9、什么是消去环?请举一例。
) R6 B5 L5 |/ Z10、什么是半序格?请举一例。
2 S: G# f! u8 c二、R,S是集合A上的两个关系。试证明下列等式:(20分)
# c: s. ?/ x( `, m1 e(1)(R•S)-1= S-1•R-1
/ k* \$ a% {& h: h. a(2)(R-1)-1= R L3 O# w/ B; z
三、给P和Q指派真值1,给R和S指派真值0,求出下面命题的真值:(15分)
. Y5 \0 S. l, V$ G, Ea) (P(QR))((PQ)(RS)): `* h- f2 F {4 ]7 n0 M
b) ((PQ)R)(((Q)R)S)3 \2 S/ L; u9 R0 T4 `. ^" B( ~
c) ((PQ)R)((Q)(RS))
5 b2 f- x: j- k# ~/ A% T# u, Id) (P(Q(R)))(QS)3 B" _8 y: Y# E- l) Z& H2 d" r1 O1 O/ y
四、设下面所有谓词的定义域都是{a,b,c}。试将下面谓词公式中的量词消除,写成与之等价的命题公式。(15分)
; t) H9 V' Y5 ^" r% U(1) xR(x)xS(x)
2 Z. C1 i$ _9 c/ G(2) x(P(x)Q(x))" e$ ^ s% e% v$ x o
(3) x(x)xP(x), Q) \0 `- ^. \# s* f1 b8 H+ H' _$ L. J
4 |1 a u1 }8 l! |- b0 X' k u
作业完成要求:大作业要求学生手写,提供手写文档的清晰扫描图片,并将图片添加到word文档内,最终word文档上传平台 ,不允许学生提交其他格式文件(如JPG,RAR等非word文档格式),如有雷同、抄袭成绩按不及格处理。
7 H) }/ K F( @6 L! R5 y5 L' f
/ Q( A, ~6 I5 ]: j |
|