文档库 最新最全的文档下载
当前位置:文档库 › 历届离散数学考试题

历届离散数学考试题

历届离散数学考试题
历届离散数学考试题

信管05级离散数学考试题 一、 单项选择题 (本大题共8小题,每小题2分,共16分

1.设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为 [ ]

A) p →q B) q →p C) ┐q →p D) ┐p →q

2.下面4个推理定律中,不正确的为 [ ]

∨A) A=>(A B) (附加律) ∨∧B) (A B)┐A=>B (析取三段论)

∧C) (A →B)A=>B (假言推理∧) D) (A →B)┐B=>A (拒取式)

3.下列四组数据中,可以简单图化的度数序列的为 [ ]

A) 2,1,1,2 B) 3,3,1,3 C) 2,2,2,1 D) 2,2,2,4

4.在同构意义下,以下命题为真的是 [ ]

A.K 3是K 3,3的子图

B.K 3是K 4的子图

C.K 3是K 3,4的子图

D.K 3是K 2,3的子图

5.若X 是Y 的子集,则一定有 [ ]

A) X 不属于Y ∈B) X Y C) X 真包含于Y D) X ∩Y=X

6.设S={1,2,3,4},R={<1,1>,<2,2>,<3,3>},则R 的性质是 [ ]

A)自反、对称、传递的 B)自反、对称、反对称的

C)对称、反对称、传递的 D)只有对称性

7.下述*运算为实数集上的运算,其中可交换且可结合的运算是 [ ]

A) a*b=a+2b B) a*b=a+b-ab C) a*b=a D) a*b=|a+b|

8.下面关于子群的命题中的假命题是 [ ]

A) 对于群G 的子群H 都能保证Ha=aH.

B) 对于群G 的子群H 不能保证Ha=aH.

C) 对于群G 的子群H 都能保证Ha=aH 话,则称H 为G 的正规子群.

D) 对于群G 的子群H 都有Ha 的个数等于aH 的个数.

二、填空题 (本大题共8小题,每空2分,共16分)

1.设个体域D={1,2},命题(3)x y x y ??+=的真值为___________。

2.公式p →(q →r)在联结词全功能集{┐,∨}中等值形式之一为_______________。

3.完全二部图K r,s (r ≤s)的边连通度为___________。

4.命题“设G 为任意的n 阶简单的哈密顿图,则,()u v V G ?∈,均有()()d u d v n +≥”的真值为___________。

5.设A={a},B={a,{a}},则P(A)∩P(B)=___________。

6. 设A={2,3,4},B={4,5,6},R 是从A 到B 的关系,且xRy<=>x 与y 互质,那么R=____________________。

7.设S={a,b},G=为群,其中⊕为集合的对称差运算,那么方程X {⊕a}={b}的解是___________。

8. 设群G= 则 2-3=__________。

三、运算与解答题 (本大题共8小题,每小题5分 共40分)(每道题要有简要的答题过程)

1. 用等值演算法求公式 (p→q )←→r 的主析取范式。

2. 在个体域{,,}D a b c =中消去公式(()())x F x yG y ?∧?的量词。

3.设A 为有向图D 的邻接矩阵,请画出图.

1210001000010011A ??????=??????

4.画出一个具有6个顶点,9条边的欧拉图.

5.设{1,2,,9,10}A =L ,等价关系{, | ,(mod 4)}R x y x y A x y =<>∈∧≡,求出x 关于R 的等价类[]R x

6.设{,,,},{,,,,,,,,,}A a b c d R a b b a b c c d d b ==<><><><><>用矩阵表示法表示,(),().R r R s R

7.设{1,2,3,4}A =,A 上的二元运算*定义如下:

*()mod 5,,x y xy x y A =?∈

求运算*的运算表.

8.求群6,Z <⊕>中由4生成的子群〈4〉

。(要有简要的生成过程)

四、证明与推理 (本大题共3小题,其中第1、2题各8份,第3题

12分,共28分)

1. 在一阶谓词逻辑中构造下面推理的证明。

前提:(()()),()x F x G x xF x ?→?

结论:()xG x ?

2.设{1,2,3,4,5},{6,7,8,9,10}A B ==,判断一下给出的关系f 能否构成函数:f A B →,并说明是否能够成单射、满射和双射?

(1) {

1,8,3,9,4,10,2,6,5,9}f =<><><><><> (2) {

1,10,2,9,3,8,4,7,5,6}f =<><><><><>

3. 设Z 为整数集,在Z 上定义*运算如下:=?∈?y x Z y x ,,2?+y x (每小题4分,共12分)

(1) ,Z ?是代数系统吗?为什么?

(2) ,Z ?是半群吗?可交换吗?

(3) ,Z ?是群吗?为什么?

信管06级离散数学考试题

一、填空题(每空2分,共18分)

1. 命题公式()p q r ?∧→的主析取范式为13567m m m m m ∨∨∨∨,则其成假赋值有 。

2. 一阶逻辑公式)())()((x S y yR x P x →?∨?中量词x ?的辖域是 。

3.设个体域为D={a,b,c},谓词公式()()xF x xQ x ?∧?消去量词后为 。

4. 设}3,2,1{=A ,A 上的关系}11|,{?=+=><=y x y x y x R 或,R 的补关系R 也是A 上的关系,R y x y x R >?<><=,|,{则=R

5.设S 是非空有限集,代数系统(P(S),∪,∩)中,P(S)对∪运算的单位元是 ,零元是 ,P(S)对∩运算的单位元是 。

6. 设>?<,G 是代数系统,*是二元运算.如果*是可结合的,存在___________,并且对G x ∈?都有________,则称G 为群。

二、选择题(每题2分,共12分)

1.下列语句中为命题的是( )

A.我正在说谎。 B.如果1+1=3,则雪是黑色的。

C.2是无理数吗? D.这是多么可爱的风景啊!

2.设C(x):x 是运动员,G(x):x 是强壮的。命题“没有一个运动员不是强壮的”可符号化为( )。

A. ??x(C(x)∧?G(x))

B. ??x(C(x)→?G(x))

C. ??x(C(x)∧?G(x))

D. ??x(C(x)→?G(x))

3.设C B A ,,为任意三个集合,下列各式正确的是( )

。 A. ,B=C A B A C =U U 若则 B. ,B=C A B A C =I I 若则

C.E B,A=B A B A =? U 若且则 D.C B D A B=C D A ??××且,则

4. 在自然数集N 上,下列定义的运算中不可结合的只有( )。

A.min(,)a b a b ?= B.a b a b ?=+

C.a b a b ?=? D.(,)(,a b GCD a b a b ?=的最大公约数)

5. 孟子云:“鱼,我所欲也,熊掌,亦我所欲也,二者不可得兼。”这一命题的正确的符号化形式是(p:鱼,我所欲也; q:熊掌,亦我所欲也)( ) A.q p ?∨ B.q p ∨?

C.)()(q p q p ∧?∨?∧ D. )()(q p q p ∨?∧?∨

6.设S={1,2,3,4},R={<1,1>,<2,2>,<3,3>},则R 的性质是 ( ) A .自反、对称、传递的 B .自反、对称、反对称的

C .对称、反对称、传递的

D .只有对称性

三、计算题(共40分)

1.用等值演算法判断公式 (p→q )←→r 的类型。(8分)

2. 运用代替规则求)),(),(()(y x H y x G y x xF ∧?→?的前束范式(8分)

3. {1,2,3}A =,R 为A 上关系,关系矩阵为100110101??????????

, (1) 画出关系图。

(2) 求21,R R ?。(每小题4分 共8分)

4.设}9,...,2,1{=A ,等价关系)4(mod ,|,{y x A y x y x R ≡∧∈><=,求出x 关于R 的等价类R x ][ (8分)

5.求群>⊕<,6z 的所有元素的阶. (8分)

四、证明题(每题10分 共30分)

1. 在谓词逻辑中构造下面推理的证明。

前提:))()((x G x F x →?,))()((x H x F x ∧?

结论:))()((x H x G x ∧?

2. 设R 为A 上的关系,则R 在A 上自反当且仅当A I R ?

3. 设R 为实数集,在R×R 上定义二元运算*如下:

>++>=<<×>∈<>

证明:>?×< ,R R 构成了半群,独异点和群

一、 单选题(每小题2分,共30分)

1、下列语句中为命题的是( )

A.暮春三月,江南草长。

B.这是多么可爱的风景啊!

C.大家想做什么,就做什么,行吗?

D.请勿践踏草地!

2、设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为( )

A .p →q B. q →p C. ┐q →p D . ┐p →q

3、命题公式)()(r q p r q p ∧∧→∧∨的主析取范式是( )

A.7210m m m m ∨∨∨ B.6210m m m m ∨∨∨

C.5210m m m m ∨∨∨ D.4210m m m m ∨∨∨

4、下面4个推理定律中,不正确的为( )

∨A) A=>(A B) (附加律) ∨∧B) (A B)┐A=>B (析取三段论)

∧C) (A →B)A=>B (假言推理) ∧D) (A →B)┐B=>A (拒取式)

5、

“中国人未必都是汉人”,令F (x )表示中国人,G (x )表示汉人,则下列一阶命题正确的是( )

A .))()((x G x F x →? B. ))()((x G x F x →??

C. ))()((x G x F x ?∧?

D. ))()((x G x F x ∧?

6、设A={2,a,{3},4},B={{a},1,2,3},E为全集,下列各式不正确的是( )

A. A {a}?

B. B {a}?

C. A {3}∈

D. A ?Φ

7、设S={1,2,3,4},R={<1,1>,<2,2>,<3,3>},则R 的性质是( )

A)自反、对称、传递的 B)自反、对称、反对称的

C)对称、反对称、传递的 D)只有对称性

8、设R 为A 上的关系,则R 的自反闭包r(R)为( )

A. 0R R U

B. 0R R I

C. 1?R R I

D. 1?R R U

9、

设f :A →B , g :B →C 是两个函数,则C A g f →:o 是函数,且A x ∈?,都有)(x g f o 等价于( )

A. ))((x g f

B. ))((x f g

C. )(x f g o

D. )()(x f x g o

10、任意n 阶无向简单图G 的度)(G Δ满足( )

A .)(G Δ≤n B. )(G Δ≤n-1 C. )(G Δ≥n+1 D. )(G Δ≥n

11、下图中既是欧拉图,又是哈密尔顿图的有( )

12、下列四组数据中,可以简单图化的度数序列的为( )

A) 2,1,1,2 B) 1,3,3,3 C) 2,2,2,1 D) 2,2,2,4

13、.在同构意义下,以下命题为真的是 ( )

A.K 3是K 3,3的子图

B.K 3是K 4的子图

C.K 3是K 3,4的子图

D.K 3是K 2,3的子图

14、完全二部图,r s K 中,边数为( )。

A. r×s

B. r

C. s

D. r+s

15、右边图的点连通度以及边连通度分别是( )

A . 2,2 B. 1,2 C. 2,1 D. 1,1

二、 填空题(每空2分,共20分)

1、设p:1+2=5,q:汉中在陕西,则命题“只要1+2=5,那么汉中在陕西”可

符号化为__ ___,其真值是_ ___。

2、含有n 个命题变项的命题公式共有_ _个不同的赋值。

3、公式p →(q →r)在联结词全功能集{┐,∨}中等值形式之一为_______________。

4、 设256)(,64)(,3===B A P B P A U ,则,=B __ ___; =⊕B A ___ __。

5、n 阶(n ≥3)无向完全图中有__ ___种非同构的圈。

6、一棵树有2个4度顶点,3个3度顶点,其余的都是树叶,则该树有__ __片树叶。

单选题15题图

7、设个体域D ={1,2},命题(3)x y x y ??+=的真值为_ __。

8、 设A={2,3,4},B={4,5,6},R 是从A 到B 的关系,且y x xRy 与?互质,那么R= 。

三、计算题 (每小题5分 共30分)(每道题要有简要的答题过程)

1、用等值演算法求公式 r q p ?→)(的主析取范式.

2、在个体域为D={a ,b ,c }中,消去))()((y Q x F y x ∧??的量词.

3、 {1,2,3}A =,R 为A 上关系,关系矩阵为100110101??????????

,求321,,R R R ? 4、

设{1,2,,9,10}A =L ,等价关系{, | ,(mod 4)}R x y x y A x y =<>∈∧≡,求出x 关于R 的等价类R x ][

5、画出一个具有6个顶点,9条边的欧拉图.

6、设A 为有向图D 的邻接矩阵,请画出图.

121000100001111

0A ??

????=??????

三、 证明与推理(每题10分,共20分)

1、设F,G 是任意的关系,则111)(???=F G G F o o

2、前提:q p s r q p ,,)(∨?→∧

结论:r s →

计算机应用技术09级离散数学考试题

一、填空(每空2分,共16分)

1.个体域为R , 设H (x,y ):x+3=y ,则“对任意x ,存在y 使x+3=y ”可符号化为 .

2.公式)()(x xG x xF ??∧?的前述范式为 .

3.设A 为非空集合,E A 是A 上的全域关系,则商集A /E A = .

4.设A ={2,3,4},B ={4,5,6},R 是从A 到B 的关系,且y x xRy 与?互质,那么R =____________________。

5.无向图G =是二部图当且仅当G 中无 长度的回路.

6. n 阶非连通图的简单图最多有 条边.

7.设256)(,64)(,3===B A P B P A U ,则,=B 。

8.含有n 个命题变项的命题公式共有_____个不同的赋值。

二、选择题(每空2分,共20分)

1.下列语句中为命题的是( ).

A) 这朵玫瑰多艳丽呀! B) 请勿在公共场所吸烟!

C) 榆柳荫后檐,桃李罗堂前。 D) 今年元旦会下雪吗?

2.下面4个推理定律中,不正确的为 ( )

A) A =>(A ∨B ) (附加律)B)(A ∨B )∧┐A =>B (析取三段论)

C) (A →B )∧A =>B (假言推理) D) (A →B )∧┐B =>A (拒取式)

3. 设R 为A 上的关系,则R 的自反闭包r (R )为( ).

A) 0R R U B) 0R R I C) 1?R R I D) 1?R R U

4. 设}3,2,1{=S ,给定S 上关系}1,3,3,2,1,2,2,1,3,3,2,2,1,1{=R 则关系R 是( ).

A)反对称的

B)反自反、对称的 C)自反的 D)自反的、对称的,反对称的传递的

5.“中国人未必都是汉人”,令F (x )表示中国人,G (x )表示汉人,则下列一阶命题正确的是( )

A) ))()((x G x F x →? B) ))()((x G x F x →??

C) ))()((x G x F x ?∧? D) ))()((x G x F x ∧?

6.公式)()(r q q p →∧→主析取范式是( ).

A) 5421m m m m ∨∨∨

B) 7310m m m m ∨∨∨ C) 7631m m m m ∨∨∨ D) 5320m m m m ∨∨∨

7.下列非负整数中,可简单图化的数列是( )。

A)(5,5,4,4,2,1) B) (5,5,5,2) C) (3,3,2,2,2,2) D) (6,6,6,5,3,3,2) 8. 任意n 阶无向简单图G 的度)(G Δ满足( )

A)n G ≤Δ)( B) 1)(?≤Δn G C) 1)(+≥Δn G D) n G ≥Δ)(

9.下图中既是欧拉图,又是哈密顿图的有( )

A)

C)

10.设f:A →B , g:B →C 是两个函数,则C A g f →:o 是函数,且A x ∈?,都有)(x g f o 等价于( )

A)))((x g f B)))((x f g C))(x f g o D))()(x f x g o

三、问题求解 (每小题5分 共20分)

1) {1,2,3}A =,R 为A 上关系,关系矩阵为100110101??????????

, 求21,R R ?;)(),(),(R t r s R r (5分)

2)已知无向图G 中顶点数n 与边数m 相等,2度与3度顶点各3个,其余为悬挂顶点,试求图G 的边数m ? (5分)

3)用等值演算法求公式 r q p ?→)(的主析取范式。(5分)

4) 已知}2,1{=A 求)(A P 以及))((A P P 。(5分)

四、画图题(每小题5分 共20分)

1) 设R A ,为偏序集,其中}54,24,9,6,4,3,2,1{=A ,R 是A 上的整除关系.画出R A ,的哈斯图并求A 中的极大元. (5分)

2)画一个图,使之同时具有一条欧拉回路和哈密顿回路。(5分)

3)画出如图所示带权图的最小生成树,

并求其权值)(T W .(5分)

4)设}8,7,6,5,4,3,2,1{=A ,等价关系

)3(mod ,!,{y x A y x y x R ≡∧∈><=,画图求出x

关于R 的等价类R x ][

五、证明(每题7分,共14分)

1)用等值演算法证明q p q p →?∧∨))((为重言式。

(7分) 2)在自然推理系统P 中,构造自然语言的推理: 若n 是偶数并且大于5,则m 是奇数.只有n 是偶数,m 才大于6. n 大于5,所以m 大于6,则m 是奇数.(7分)

离散数学形成性考核作业4题目与答案

离散数学形成性考核作业4作业与答案 离散数学综合练习书面作业 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档. 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、公式翻译题 1.请将语句“小王去上课,小李也去上课.”翻译成命题公式. 设P:小王去上课 Q:小李去上课 则:命题公式P∧Q 2.请将语句“他去旅游,仅当他有时间.”翻译成命题公式. 设P:他去旅游 Q:他有时间 则命题公式为P→Q

3.请将语句“有人不去工作”翻译成谓词公式. 设A(x):x是人 B(x):去工作 则谓词公式为?x(A(x)∧-B(x)) 4.请将语句“所有人都努力学习.”翻译成谓词公式. 设A(x): x是人 B(x):努力学习 则谓词公式为?x(A(x)∧B(x)) 二、计算题 1.设A={{1},{2},1,2},B={1,2,{1,2}},试计算 (1)(A-B);(2)(A∩B);(3)A×B. 解: (1)(A-B)={{1},{2}} (2)(A∩B)={1,2} (3)A×B= {<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1, 2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>} 2.设A={1,2,3,4,5},R={|x∈A,y∈A且x+y≤4},S={|x∈A,y∈A且x+y<0},试求R,S,R?S,S?R,R-1,S-1,r(S),s(R). 解: R={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>} S=空集 R?S=空集 S?R =空集 R-1={<1,1>,<2,1>,<3,1>,<1,2>,<2,2>,<1,3>} S-1=空集 r(S) ={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R) ={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>} 3.设A={1, 2, 3, 4, 5, 6, 7, 8},R是A上的整除关系,B={2, 4, 6}. (1) 写出关系R的表示式;(2) 画出关系R的哈斯图; (3) 求出集合B的最大元、最小元.

离散数学期末考试试题(有几套带答案)

离散数学试题(A卷及答案) 一、证明题(10分) 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明:?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分) 证明:(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?(?P∧(?Q∨?R))∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明:(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D

(7) R∨S 2) ?x(P(x)→Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)?x(P(x)∧R(x)) (11)Q(y)∧?x(P(x)∧R(x)) 四、设m是一个取定的正整数,证明:在任取m+1个整数中,至少有两个整数,它们的差是m的整数倍 证明设 1 a,2a,…,1+m a为任取的m+1个整数,用m去除它们所得余数 只能是0,1,…,m-1,由抽屉原理可知, 1 a,2a,…,1+m a这m+1个整 数中至少存在两个数 s a和t a,它们被m除所得余数相同,因此s a和t a的差是m的整数倍。 五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (15分)证明∵x∈ A-(B∪C)? x∈ A∧x?(B∪C)? x∈ A∧(x?B∧x?C)?(x∈ A∧x?B)∧(x∈ A∧x?C)? x∈(A-B)∧x∈(A-C)? x∈(A-B)∩(A-C)∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={| x,y∈N∧y=x2},S={| x,y∈N∧y=x+1}。求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分) 解:R-1={| x,y∈N∧y=x2},R*S={| x,y∈N∧y=x2+1},S*R={| x,y∈N∧y=(x+1)2}, 七、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。 证明:因为f、g是双射,所以gf:A→C是双射,所以gf有逆函数

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案) 一、(10分)证明?(A∨B)→?(P∨Q),P,(B→A)∨?P A。 证明:(1)?(A∨B)→?(P∨Q) P (2)(P∨Q)→(A∨B) T(1),E (3)P P (4)A∨B T(2)(3),I (5)(B→A)∨?P P (6)B→A T(3)(5),I (7)A∨?B T(6),E (8)(A∨B)∧(A∨?B) T(4)(7),I (9)A∧(B∨?B) T(8),E (10)A T(9),E 二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛,下列4种判断都是正确的: (1)甲和乙只有一人参加; (2)丙参加,丁必参加; (3)乙或丁至多参加一人; (4)丁不参加,甲也不会参加。 请推出哪两个人参加了围棋比赛。 解符号化命题,设A:甲参加了比赛;B:乙参加了比赛;C:丙参加了比赛;D:丁参加了比赛。 依题意有, (1)甲和乙只有一人参加,符号化为A⊕B?(?A∧B)∨(A∧?B); (2)丙参加,丁必参加,符号化为C→D; (3)乙或丁至多参加一人,符号化为?(B∧D); (4)丁不参加,甲也不会参加,符号化为?D→?A。 所以原命题为:(A⊕B)∧(C→D)∧(?(B∧D))∧(?D→?A) ?((?A∧B)∨(A∧?B))∧(?C∨D)∧(?B∨?D)∧(D∨?A) ?((?A∧B∧?C)∨(A∧?B∧?C)∨(?A∧B∧D)∨(A∧?B∧D))∧((?B∧D)∨(?B∧?A)∨(?D∧?A)) ?(A∧?B∧?C∧D)∨(A∧?B∧D)∨(?A∧B∧?C∧?D)?T 但依据题意条件,有且仅有两人参加竞赛,故?A∧B∧?C∧?D为F。所以只有:(A∧?B∧?C∧D)∨(A∧?B∧D)?T,即甲、丁参加了围棋比赛。 三、(10分)指出下列推理中,在哪些步骤上有错误?为什么?给出正确的推理形式。 (1)?x(P(x)→Q(x)) P (2)P(y)→Q(y) T(1),US (3)?xP(x) P (4)P(y) T(3),ES (5)Q(y) T(2)(4),I (6)?xQ(x) T(5),EG 解 (4)中ES错,因为对存在量词限制的变元x引用ES规则,只能将x换成某个个体常元c,而不能将其改为自由变元。所以应将(4)中P(y)改为P(c),c为个体常元。 正确的推理过程为: (1)?xP(x) P (2)P(c) T(1),ES (3)?x(P(x)→Q(x)) P (4)P(c)→Q(c) T(3),US (5)Q(c) T(2)(4),I (6)?xQ(x) T(5),EG 四、(10分)设A={a,b,c},试给出A上的一个二元关系R,使其同时不满足自反性、反自反性、对称性、反对称性和传递性。 解设R={},则

离散数学形考任务1-7试题及答案完整版

2017年11月上交的离散数学形考任务一 本课程的教学内容分为三个单元,其中第三单元的名称是(A ). 选择一项: A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 答案已保存 满分10.00 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是(D ). 选择一项: A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3 答案已保存 满分10.00 标记题目 题干 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲. 选择一项: A. 18 B. 20 C. 19

D. 17 题目4 答案已保存 满分10.00 标记题目 题干 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是( C).选择一项: A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分10.00 标记题目 题干 课程学习平台左侧第1个版块名称是:(C). 选择一项: A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 满分10.00 标记题目 题干 课程学习平台右侧第5个版块名称是:(D). 选择一项:

A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 答案已保存 满分10.00 标记题目 题干 ―教学活动资料‖版块是课程学习平台右侧的第(A)个版块. 选择一项: A. 6 B. 7 C. 8 D. 9 题目8 答案已保存 满分10.00 标记题目 题干 课程学习平台中―课程复习‖版块下,放有本课程历年考试试卷的栏目名称是:(D ). 选择一项: A. 复习指导 B. 视频 C. 课件 D. 自测 请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划,学习计划应该包括:课程性质和目标(参考教学大纲)、学习内容、考核方式,以及自己的学习安排,字数要求在100—500字.完成后在下列文本框中提交. 解答:学习计划 学习离散数学任务目标:

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).

离散数学考试题详细答案

离散数学考试题(后附详细答案) 一、命题符号化(共6小题,每小题3分,共计18分) 1.用命题逻辑把下列命题符号化 a)假如上午不下雨,我去看电影,否则就在家里读书或看报。 设P表示命题“上午下雨”,Q表示命题“我去看电影”,R表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(PQ)(PRS) b)我今天进城,除非下雨。 设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:Q→P或P→Q c)仅当你走,我将留下。 设P表示命题“你走”,Q表示命题“我留下”,命题符号化为:Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不是有理数 设R(x)表示“x是实数”,Q(x)表示“x是有理数”,命题符号化为: x(R(x) Q(x)) 或x(R(x) →Q(x)) b)对于所有非零实数x,总存在y使得xy=1。 设R(x)表示“x是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为: x(R(x) E(x,0) →y(R(y) E(f(x,y),1)))) c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b. 设F(f)表示“f是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)a(A(a)→b(B(b) E(f(a),b) c(S(c) E(f(a),c) →E(a,b)))) 二、简答题(共6道题,共32分) 1.求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。 (5分) (P→(Q→R))(R→(Q→P))(PQR)(PQR) ((PQR)→(PQR)) ((PQR) →(PQR)). ((PQR)(PQR)) ((PQR) (PQR)) (PQR)(PQR) 这是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 (PQR(PQR(PQR(PQR(PQR(PQR 2.设个体域为{1,2,3},求下列命题的真值(4分) a)xy(x+y=4) b)yx (x+y=4) a) T b) F 3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。(4分) x(F(x)→G(x))→(xF(x)→xG(x)) x(F(x)→G(x))→(yF(y)→zG(z)) x(F(x)→G(x))→yz(F(y)→G(z)) xyz((F(x)→G(x))→(F(y)→G(z))) 4.判断下面命题的真假,并说明原因。(每小题2分,共4分)

离散数学形考任务1-7试题及答案完整版

2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元,其中第三单元的名称是( A ). 选择一项: , A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2 . 答案已保存 满分 标记题目 题干 本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其中第2章关系与函数中的第3个知识点的名称是( D ). ) 选择一项: A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 < 题目3 答案已保存 满分 标记题目 题干 ; 本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有(B)讲. 选择一项:

A. 18 B. 20 C. 19 , D. 17 题目4 答案已保存 满分 标记题目 … 题干 本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是(C).选择一项: A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 ~ C. 集合论部分书面作业 D. 网上学习问答 题目5 答案已保存 满分 " 标记题目 题干 课程学习平台左侧第1个版块名称是:(C). 选择一项: A. 课程导学 … B. 课程公告 C. 课程信息 D. 使用帮助 题目6 答案已保存 ^ 满分

标记题目 题干 课程学习平台右侧第5个版块名称是:(D). 选择一项: % A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7 《 答案已保存 满分 标记题目 题干 “教学活动资料”版块是课程学习平台右侧的第( A )个版块. 、 选择一项: A. 6 B. 7 C. 8 D. 9 @ 题目8 答案已保存 满分 标记题目 题干 ( 课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(D ).选择一项:

【浙江工商大学】《离散数学》期末考试题(B)

《离散数学》期末考试题(B) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ),)(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为 ( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二、单选题(每小题3分,共15分) 1.设R 是集合A 上的偏序关系,1-R 是R 的逆关系,则1 -?R R 是A 上的 (A)偏序关系 (B)等价关系 (C)相容关系 (D)以上结论都不成立 2.由2个命题变元p 和q 组成的不等值的命题公式的个数有 (A)2 (B)4 (C)8 (D)16 3.设p 是素数且n 是正整数,则任意有限域的元素个数为 (A)n p + (B)pn (C)n p (D)p n 4.设R 是实数集合,≤是其上的小于等于关系,则(R, ≤)是 (A)有界格 (B)分配格 (C)有补格 (D)布尔格 5.3阶完全无向图3K 的不同构的生成子图有 (A)2 (B)3 (C)4 (D)5 三、判断题(每小题3分,共15分): 正确打“√”,错误打“×”. 1.若一个元素a 既存在左逆元l a ,又存在右逆元r a ,则r l a a =. ( ) 2.命题联结词→不满足结合律. ( ) 3.在Z 8 = {0,1,2,3,4,5,6,7}中,2关于“?8”的逆元为 4. ( ) 4.整环不一定是域. ( )

离散数学期末考试试卷(A卷)

离散数学期末考试试卷(A卷) 一、判断题:(每题2分,共10分) (1) (1) (2)对任意的命题公式, 若, 则 (0) (3)设是集合上的等价关系, 是由诱导的上的等价关系,则。(1) (4)任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等价。 (0) (5)设是上的关系,分别表示的对称和传递闭包,则 (0) 二、填空题:(每题2分,共10分) (1) 空集的幂集的幂集为()。 (2) 写出的对偶式()。 (3)设是我校本科生全体构成的集合,两位同学等价当且仅当他们在 同一个班,则等价类的个数为(),同学小王所在 的等价类为()。 (4)设是上的关系,则满足下列性质的哪几条:自反的,对称的,传递的,反自反的,反对称的。 () (5)写出命题公式的两种等价公式( )。 三、用命题公式符号化下列命题(1)(2)(3),用谓词公式符号化下列命题(4)(5)(6)。(12分) (1)(1)仅当今晚有时间,我去看电影。 (2)(2)假如上午不下雨,我去看电影,否则就在家里读书。 (3)你能通你能通过考试,除非你不复习。 (4)(4)并非发光的都是金子。 (5)(5)有些男同志,既是教练员,又是国家选手。 (6)(6)有一个数比任何数都大。 四、设,给定上的两个关系和分别是

(1)(1)写出 和 的关系矩阵。(2)求 及 (12分) 五、求 的主析取范式和主合取范式。(10分) 六、设 是 到 的关系, 是 到 的关系,证明: (8分) 七、设 是一个等价关系,设 对某一个 ,有 ,证明: 也是一个等价关系。(10分) 八、(10分)用命题推理理论来论证 下述推证是否有效? 甲、乙、丙、丁四人参加比赛,如果甲获胜,则乙失败;如果丙获胜,则乙也获 胜,如果甲不获胜,则丁不失败。所以,如果丙获胜,则丁不失败。 九、(10分) 用谓词推理理论来论证下述推证。 任何人如果他喜欢步行,他就不喜欢乘汽车,每一个人或喜欢乘汽车,或喜欢骑 自行车(可能这两种都喜欢)。有的人不爱骑自行车,因而有的人不爱步行 (论 域是人)。 十、(8分) 利用命题公式求解下列问题。 甲、乙、丙、丁四人参加考试后,有人问他们,谁的成绩最好, 甲说:“不是我,”乙说:“是丁,”丙说:“是乙,” 丁说:“不是我。” 四人的回答只有一人符合实际,问若只有一人成绩最 好,是谁? 离散数学期末考试试卷答案(A 卷) 一、判断题:(每题2分,共10分) (1)}}{{}{x x x -∈ ( ∨) (2) 对任意的命题公式C B A ,,, 若 C B C A ∧?∧, 则B A ? ( ? ) (3)设R 是集合A 上的等价关系, L 是由 R A 诱导的A 上的等价关系,则L R =。 ( ∨ ) (4) 任意一个命题公式都与某一个只含合取和析取两种联结词的命题公式等 价。 ( ? ) (5)设R 是A 上的关系,)(),(R t R s 分别表示R 的对称和传递闭包,则 )()(R st R ts ? ( ? ) 二、填空题:(每题2分,共10分)

204电大离散数学,形考任务2

一、单项选择题(共 10 道试题,共 100 分。) 1. 设集合A = {1, a },则P(A) = ( D ). A. {{1}, {a}} B. { ,{1}, {a}} C. {{1}, {a}, {1, a }} D. { ,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={|x=y且x, y A},则R的性质为(C ). A. 不是自反的 B. 不是对称的 C. 传递的 D. 反自反 3. 若集合A={ a,{a},{1,2}},则下列表述正确的是( C ). A. {a,{a}} A B. {1,2} A C. {a} A D. A 4. 设集合A ={1 , 2, 3}上的函数分别为:f = {<1, 2>,<2, 1>,<3, 3>},g = {<1, 3>,<2, 2>,<3, 2>},h = {<1, 3>,<2, 1>,<3, 1>}, 则h =( A ). A. f?g

C. f?f D. g?g 5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>,<2, 2>,<2, 3>,<4, 4>},S={<1, 1>,<2, 2>,<2, 3>,<3, 2>,<4, 4>},则S是R的( C )闭包. A. 自反 B. 传递 C. 对称 D. 自反和传递 6. 若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是( A ). A. A B,且A B B. B A,且A B C. A B,且A B D. A B,且A B 7. 设集合A={1,2,3,4,5},偏序关系£是A上的整除关系,则偏序集上的元素5是集合A的( C ). A. 最大元 B. 最小元 C. 极大元 D. 极小元 8. 若集合A的元素个数为10,则其幂集的元素个数为( A ).

离散数学期末考试试题及答案

离散数学试题(B卷答案1) 一、证明题(10分) 1)(P∧(Q∧R))∨(Q∧R)∨(P∧R)R 证明: 左端(P∧Q∧R)∨((Q∨P)∧R) ((P∧Q)∧R))∨((Q∨P)∧R) ((P∨Q)∧R)∨((Q∨P)∧R) ((P∨Q)∨(Q∨P))∧R ((P∨Q)∨(P∨Q))∧R T∧R(置换)R 2) x (A(x)B(x))xA(x)xB(x) 证明:x(A(x)B(x))x(A(x)∨B(x)) x A(x)∨xB(x) xA(x)∨xB(x) xA(x)xB(x) 二、求命题公式(P∨(Q∧R))(P∧Q∧R)的主析取范式和主合取范式(10分)。 证明:(P∨(Q∧R))(P∧Q∧R)(P∨(Q∧R))∨(P∧Q∧R)) (P∧(Q∨R))∨(P∧Q∧R) (P∧Q)∨(P∧R))∨(P∧Q∧R) (P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R))∨(P∧Q∧R))∨(P∧Q∧R) m0∨m1∨m2∨m7 M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D,(C∨D)E, E(A∧B),(A∧B)(R∨S)R∨S证明:(1) (C∨D) E ?P (2) E(A∧B) ??P (3) (C∨D)(A∧B) T(1)(2),I (4) (A∧B)(R∨S)??P (5) (C∨D)(R∨S) ? T(3)(4),I (6) C∨D P (7) R∨S T(5),I 2) x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x)) 证明(1)xP(x) P

(2)P(a) T(1),ES (3)x(P(x)Q(y)∧R(x)) P (4)P(a)Q(y)∧R(a) T(3),US (5)Q(y)∧R(a) T(2)(4),I (6)Q(y) T(5),I (7)R(a) T(5),I (8)P(a)∧R(a) T(2)(7),I (9)x(P(x)∧R(x)) T(8),EG (10)Q(y)∧x(P(x)∧R(x)) T(6)(9),I 四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。而6个会打网球的人都会打另外一种球,求不会打这三种球的人数(10分)。 解:A,B,C分别表示会打排球、网球和篮球的学生集合。则|A|=12,|B|=6,|C|=14,|A∩C|=6,|B∩C|=5,|A∩B∩C|=2。 先求|A∩B|。 ∵6=|(A∪C)∩B|=|(A∩B)∪(B∩C)|=|(A∩B)|+|(B∩C)|-|A∩B∩C|=|(A∩B)|+5-2,∴|(A∩B)|=3。 于是|A∪B∪C|=12+6+14-6-5-3+2=20。不会打这三种球的人数25-20=5。五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C)(10分)。 证明:∵x A-(B∪C) x A∧x(B∪C) xA∧(xB∧x C) (x A∧x B)∧(x A∧xC) x(A-B)∧x(A-C) x(A-B)∩(A-C) ∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={| x,yN∧y=x2} R*S={| x,y N∧y=x2+1} S*R={<x,y>| x,yN∧y=(x+1)2},R{1,2}={<1,1>,<2,4>},S[{1,2}]={1,4}。 七、设R={<a,b>,,<c,a>},求r(R)、s(R)和t(R) (15分)。 解:r(R)={,,,<b,b>,

离散数学试卷二十三试题与答案

试卷二十三试题与答案 一、单项选择题:(每小题1分,本大题共10分) 1.命题公式)(P Q P ∨→是( )。 A 、 矛盾式; B 、可满足式; C 、重言式; D 、等价式。 2.下列各式中哪个不成立( )。 A 、)()())()((x xQ x xP x Q x P x ?∨??∨?; B 、)()())()((x xQ x xP x Q x P x ?∨??∨?; C 、)()())()((x xQ x xP x Q x P x ?∧??∧?; D 、Q x xP Q x P x ∧??∧?)())((。 3.谓词公式)())()((x Q y yR x P x →?∨?中的 x 是( )。 A 、自由变元; B 、约束变元; C 、既是自由变元又是约束变元; D 、既不是自由变元又不是约束变元。 4.在0 Φ之间应填入( )符号。 A 、= ; B 、?; C 、∈; D 、?。 5.设< A , > 是偏序集,A B ?,下面结论正确的是( )。 A 、 B 的极大元B b ∈且唯一; B 、B 的极大元A b ∈且不唯一; C 、B 的上界B b ∈且不唯一; D 、B 的上确界A b ∈且唯一。 6.在自然数集N 上,下列( )运算是可结合的。 (对任意N b a ∈,) A 、b a b a -=*; B 、),max(b a b a =*; C 、b a b a 5+=*; D 、b a b a -=*。 7.Q 为有理数集N ,Q 上定义运算*为a*b = a + b – ab ,则的幺元为( )。 A 、a ; B 、b ; C 、1; D 、0。 8.给定下列序列,( )可以构成无向简单图的结点度数序列。 A 、(1,1,2,2,3); B 、(1,1,2,2,2); C 、(0,1,3,3,3); D 、(1,3,4,4,5)。 9.设G 是简单有向图,可达矩阵P(G)刻划下列 ( )关系。 A 、点与边; B 、边与点; C 、点与点; D 、边与边。 10.一颗树有两个2度结点,1个3度结点和3个4度结点,则1度结点数为( )。 A 、5; B 、7; C 、9; D 、8。

2018国家开放大学离散数学本形考任务答案

离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸,将答题过程手工书写,并拍照上传. 一、填空题 1.已知图G中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G的边数是15 . 2.设给定图G(如右由图所示),则图G的点割集是 { f },{ e,c} . 3.设G是一个图,结点集合为V,边集合为E,则 G的结点度数之和等于边数的两倍. 4.无向图G存在欧拉回路,当且仅当G连通且不含奇数度结 点. 5.设G=是具有n个结点的简单图,若在G中每一对结点度数之和大于等于︱v︱,则在G中存在一条汉密尔顿路.6.若图G=中具有一条汉密尔顿回路,则对于结点集V的每个非空子集S,在G中删除S中的所有结点得到的连通分支数为W,则S中结点数|S|与W满足的关系式为W ≤S . 7.设完全图K n 有n个结点(n 2),m条边,当n为奇数时时, K n 中存在欧拉回路. 姓名: 学号: 得分: 教师签名:

8.结点数v与边数e满足e=v - 1 关系的无向连通图就是树. 9.设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去条边后使之变成树. 10.设正则5叉树的树叶数为17,则分支数为i = 4 . 二、判断说明题(判断下列各题,并说明理由.) 1.如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路. 答:错误。应叙述为:“如果图G是无向连通图,且其结点度数均为偶数,则图G存在一条欧拉回路。” 2.如下图所示的图G存在一条欧拉回路. 答:错误。因为图中存在奇数度结点,所以不存在欧拉回路。 3.如下图所示的图G不是欧拉图而是汉密尔顿图.

离散数学期末考试试题及答案

离散数学试题(B卷答案1) 一、证明题(10分) 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R) ?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R) ?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R ?T∧R(置换)?R 2) ?x (A(x)→B(x))??xA(x)→?xB(x) 证明:?x(A(x)→B(x))??x(?A(x)∨B(x)) ??x?A(x)∨?xB(x) ???xA(x)∨?xB(x) ??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分)。 证明:(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?(?P∧(?Q∨?R))∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D, (C∨D)→?E,?E→(A∧?B), (A∧?B)→(R∨S)?R∨S 证明:(1) (C∨D)→?E P (2) ?E→(A∧?B) P (3) (C∨D)→(A∧?B) T(1)(2),I (4) (A∧?B)→(R∨S) P (5) (C∨D)→(R∨S) T(3)(4), I (6) C∨D P (7) R∨S T(5),I 2) ?x(P(x)→Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) P

电大离散数学本形考任务完整版

电大离散数学本形考任 务 HUA system office room 【HUA16H-TTMS2A-HUAS8Q8-HUAH1688】

离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次,内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第一次作业,大家要认真及时地完成集合论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸张,将答题过程手工书写,并拍照上传. 一、填空题 1.设集合{1,2,3},{1,2} A B ==,P(A)-P(B )={{3},{1,3},{2,3},{1,2,3}},A B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} . 2.设集合A有10个元素,那么A的幂集合P(A)的元素个数为 1024 .

3.设集合A={0, 1, 2, 3},B={2, 3, 4, 5},R是A到B的二元关系, 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>}. 4.设集合A={1, 2, 3, 4 },B={6, 8, 12},A到B的二元关系 R=} x∈ y y > <那么R-1={<6,3>,<8,4>}. x = ∈ 2 , , x , {B A y 5.设集合A={a, b, c, d},A上的二元关系R={, , , },则R具有的性质是没有任何性质. 6.设集合A={a, b, c, d},A上的二元关系R={, , , },若在R中再增加两个元素 ,则新得到的关系就具有对称性. 7.如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有 2 个.8.设A={1, 2}上的二元关系为R={|xA,yA, x+y =10},则R的自反闭包为 <1,1>,<2,2> . 9.设R是集合A上的等价关系,且1 , 2 , 3是A中的元素,则R中至少包含 <1,1>,<2,2>,<3,3> 等元素. 10.设A={1,2},B={a,b},C={3,4,5},从A到B的函数f ={<1, a>, <2, b>},从B到C的函数g={< a,4>, < b,3>},则Ran(g f)= {<1,b>,<2,a>} . 二、判断说明题(判断下列各题,并说明理由.) 1.若集合A = {1,2,3}上的二元关系R={<1, 1>,<2, 2>,<1, 2>},则

《离散数学》期末考试试题

《离散数学》期末考试试题 一、 填空题(每空2分,合计20分) 1. 设个体域为{2,3,6}D =-, ():3F x x ≤,():0G x x >。则在此解释下公式 ()(()())x F x G x ?∧的真值为______。 2. 设:p 我是大学生,:q 我喜欢数学。命题“我是喜欢数学的大学生”为可符合化 为 。 3. 设{1,2,3,4}A =,{2,4,6}B =,则A B -=________,A B ⊕=________。 4. 合式公式()Q P P ?→∧是永______式。 5. 给定集合{1,2,3,4,5}A =,在集合A 上定义两种关系: {1,3,3,4,2,2}R =<><><>, {4,2,3,1,2,3}S =<><><>, 则_______________S R =ο,_______________R S =ο。 6. 设e 是群G 上的幺元,若a G ∈且2a e =,则1a -=____ , 2a -=__________。 7. 公式))(()(S Q P Q P ?∧?∨∧∨?的对偶公式为 。 8. 设{2,3,6,12}A =, p 是A 上的整除关系,则偏序集,A <>p 的最大元是________,极小元是_ _。 9. 一棵有6个叶结点的完全二叉树,有_____个内点;而若一棵树有2个结点度数为2,一 个结点度数为3,3个结点度数为4,其余是叶结点,则该树有_____个叶结点。 10. 设图,G V E =<>, 1234{v ,v ,v ,v }V =,若G 的邻接矩阵????????????=0001001111011010A ,则1()deg v -=________, 4()deg v +=____________。 二、选择题(每题2分,合计20分) 1.下列各式中哪个不成立( )。 A 、)()())()((x xQ x xP x Q x P x ?∨??∨? ; B 、)()())()((x xQ x xP x Q x P x ?∨??∨?; C 、)()())()((x xQ x xP x Q x P x ?∧??∧?; D 、Q x xP Q x P x ∧??∧?)())((。

国家开发教育本科离散数学形考+答案

国家开发教育本科离散数学形考+答案 形考任务一 题目1:本课程的教学内容分为三个单元,其中第三单元的名称是(). A. 数理逻辑 B. 集合论 C. 图论 D. 谓词逻辑 题目2:本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合,其 中第2章关系与函数中的第3个知识点的名称是(). A. 函数 B. 关系的概念及其运算 C. 关系的性质与闭包运算 D. 几个重要关系 题目3:本课程所有教学内容的电视视频讲解集中在VOD点播版块中,VOD点播版块中共有()讲. A. 18 B. 20 C. 19 D. 17 题目4:本课程安排了7次形成性考核作业,第3次形成性考核作业的名称是(). A. 集合恒等式与等价关系的判定 B. 图论部分书面作业 C. 集合论部分书面作业

D. 网上学习问答 题目5:课程学习平台左侧第1个版块名称是:(). A. 课程导学 B. 课程公告 C. 课程信息 D. 使用帮助 题目6:课程学习平台右侧第5个版块名称是:(). A. 典型例题 B. 视频课堂 C. VOD点播 D. 常见问题 题目7:“教学活动资料”版块是课程学习平台右侧的第()个版块. 选择一项: A. 6 B. 7 C. 8 D. 9 题目8:课程学习平台中“课程复习”版块下,放有本课程历年考试试卷的栏目名称是:(). A. 复习指导 B. 视频 C. 课件

D. 自测 形考任务二 题目1:若集合 $$ A=\{a,\{a\},\{1,2\}\}$$,则下列表述正确的是( ). A. $$\{a,\{a\} \in A$$ B. $$\{1,2\}\notin A$$ C. $$\{a\}\subseteq A $$ D. $$\emptyset \in A $$ 题目2:设集合A={1, 2, 3},B={3, 4, 5},C={5, 6, 7},则A∪B–C =( ). A. {1, 2, 3, 4} B. {1, 2, 3, 5} C. {2, 3, 4, 5} D. {4, 5, 6, 7} 题目3:设集合A = {1,$$ a$$ },则P(A) = ( ). A. {{1}, {$$a$$}} B. {?,{1}, {$$a$$}} C. $$\{\{1\}, \{a\}, \{1, a \}\}$$ D. $$?,\{1\}, \{a\}, \{1, a \}\}$$ 题目4:集合A={1, 2, 3, 4, 5, 6, 7, 8}上的关系R={|x+y=10且x, y∈A},则R的性质为().

离散数学-期末考试卷-A卷

离散数学-期末考试卷-A卷

东莞理工学院城市学院(本科)试卷(A卷) 2013-2014学年第一学期 开课单位:计算机与信息科学系,考试形式:闭卷,允许带入场 科目:离散数学,班级:软工本2012-1、2、3 姓名:学号: 题序一二三四总分 得分 A评 卷人 一、单项选择题(每小题2分,共20分) 在每小题列出的四个备选项中只有一个是符合题目要求的,错选、多选或未选均无分。 1. 下述不是命题的是( ) A. 做人真难啊! B. 后天是阴天。 C. 2是偶数。 D. 地球是方的。 2. 命题公式P→(P∨Q∨R)是( ) A. 永假的 B. 永真的 C. 可满足的

D. 析取范式 3. 命题公式﹁B→﹁A等价于( ) A. ﹁A∨﹁ B B. ﹁(A∨B) C. ﹁A∧﹁ B D. A→B 4.设P:他聪明,Q:他用功,命题“他虽聪明但不用功”的符号化正确的是()A.?P∧Q B.P∧?Q C.P→?Q D.P∨?Q 5.设A(x):x是人,B(x):x犯错误,命题“没有不犯错误的人”符号化为()A.?x(A(x))∧B(x) B.??x( A(x)→?B(x) ) C.??x( A(x)∧B(X)) D.??x( A(x)∧?B(x) ) 6. 设有A={a,b,c}上的关系R={,,,},则R具有( ) A. 自反性 B. 反自反性 C. 传递性 D. 反对称性

7. 设A={1,2,3,4,5,6},B={a,b,c,d,e},以下哪一个关系是从A到B的满射函数( ) A. f={<1,a>,<2,b>,<3,c>,<4,d>,<5,e>} B. f={<1,e>,<2,d>,<3,c>,<4,b>,<5,a>,<6,e>} C. f={<1,a>,<2,b>,<3,c>,<4,a>,<5,b>,<6,c>} D. f={<1,a>,<2,b>,<3,c>,<4,d>,<5,e>,<1,b>} 8.设简单图G所有结点的度数之和为10,则G一定有() A.3条边B.4条边C.5条边 D.6条边 9.下列不.一定是树的是() A.每对结点之间都有通路的图 B.有n个结点,n-1条边的连通图 C.无回路的连通图D.连通但删去一条边则不连通的图 10.下列各图中既是欧拉图,又是哈密顿图的是()

相关文档
相关文档 最新文档