离散数学题目大汇总

合集下载

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、选择题1. 在集合论中,下列哪个选项表示两个集合A和B的并集?A. A ∩ BB. A ∪ BC. A - BD. A × B答案:B2. 命题逻辑中,下列哪个符号表示逻辑非?A. ∧B. ∨C. ¬D. →答案:C3. 在有向图中,如果存在一条从顶点u到顶点v的路径,那么称顶点v为顶点u的:A. 祖先B. 后代C. 邻居D. 连接点答案:B二、填空题1. 一个命题函数P(x)表示为“x是偶数”,那么其否定形式为________。

答案:x是奇数2. 在关系R上,如果对于所有的a和b,如果(a, b)∈R且(b, a)∈R,则称R为________。

答案:自反的三、简答题1. 简述什么是等价关系,并给出其三个基本性质。

答案:等价关系是一种特殊的二元关系,它满足自反性、对称性和传递性。

自反性指每个元素都与自身相关;对称性指如果a与b相关,则b也与a相关;传递性指如果a与b相关,b与c相关,则a与c也相关。

2. 解释什么是图的连通分量,并给出如何判断一个图是否是连通图。

答案:连通分量是指图中最大的连通子图,即图中任意两个顶点之间都存在路径。

判断一个图是否是连通图,可以通过深度优先搜索或广度优先搜索算法遍历整个图,如果所有顶点都被访问,则图是连通的。

四、计算题1. 给定命题公式P:((p → q) ∧ (r → ¬p)) → (q ∨ ¬r),证明P是一个重言式。

答案:通过使用命题逻辑的等价规则和真值表,可以证明P在所有可能的p, q, r的真值组合下都为真,因此P是一个重言式。

2. 给定一个有向图G,顶点集合V(G)={1, 2, 3, 4},边集合E(G)={(1, 2), (2, 3), (3, 4), (4, 1), (2, 4)}。

找出所有强连通分量。

答案:通过Kosaraju算法或Tarjan算法,可以找到图G的强连通分量,结果为{1, 4}和{2, 3}。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、单项选择题(每题2分,共10分)1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中,元素(3,4)属于()。

A. {1,2,3}B. {3,4,5}C. {1,2,3,4,5}D. {1,2,3}×{3,4,5}答案:D2. 命题“若x>2,则x>1”的逆否命题是()。

A. 若x≤2,则x≤1B. 若x≤1,则x≤2C. 若x≤1,则x≤2D. 若x≤2,则x≤1答案:C3. 函数f: A→B的定义域是集合A,值域是集合B的()。

A. 子集B. 真子集C. 任意子集D. 非空子集答案:D4. 以下哪个图是无向图()。

A. 有向图B. 无向图C. 完全图D. 树答案:B5. 以下哪个命题是真命题()。

A. 所有的马都是白色的B. 有些马是白色的C. 没有马是白色的D. 以上都不是答案:B二、填空题(每题2分,共10分)6. 集合{1,2,3}的子集个数为______。

答案:87. 命题“若x>0,则x>1”的逆命题是:若x>1,则______。

答案:x>08. 函数f: A→B中,若A={1,2},B={3,4},则f的值域可以是{3}或{4}或{3,4},但不能是______。

答案:{1,2}9. 在有向图中,若存在从顶点A到顶点B的有向路径,则称A到B是______的。

答案:可达10. 命题逻辑中,合取(AND)的符号是______。

答案:∧三、解答题(每题15分,共30分)11. 证明:若p∧q为真,则p和q都为真。

证明:根据合取(AND)的定义,p∧q为真当且仅当p和q都为真。

因此,若p∧q为真,则p和q都为真。

12. 给定函数f: A→B,其中A={1,2,3},B={4,5,6},且f(1)=4,f(2)=5,f(3)=6。

请找出f的值域。

答案:根据函数的定义,f的值域是其所有输出值的集合。

因此,f的值域为{4,5,6}。

离散数学试题及答案

离散数学试题及答案

离散数学试题及答案一、单项选择题(每题2分,共20分)1. 在集合论中,空集的表示符号是()。

A. {0}B. ∅C. {}D. Ø答案:B2. 如果A和B是两个集合,那么A∩B表示()。

A. A和B的并集B. A和B的交集C. A和B的差集D. A和B的补集答案:B3. 命题逻辑中,p ∧ q的真值表中,当p和q都为假时,p ∧ q的值为()。

A. 真B. 假C. 不确定D. 无定义答案:B4. 在图论中,如果一个图中的任意两个顶点都由一条边相连,则称这个图为()。

A. 连通图B. 无向图C. 完全图D. 有向图答案:C5. 布尔代数中,逻辑或运算符表示为()。

A. ∧B. ∨C. ¬D. →答案:B6. 一个关系R是从集合A到集合B的二元关系,如果对于A中的每个元素x,B中都存在唯一的元素y与之对应,则称R为()。

A. 单射B. 满射C. 双射D. 单满射答案:C7. 在命题逻辑中,如果p是假命题,那么¬p的值为()。

A. 真B. 假C. 不确定D. 无定义答案:A8. 一个有向图是无环的,那么它一定是()。

A. 有向无环图B. 无向无环图C. 有向有环图D. 无向有环图答案:A9. 在集合论中,如果集合A是集合B的子集,那么A⊆B表示()。

A. A包含于BB. A是B的真子集C. A是B的超集D. A与B相等答案:A10. 命题逻辑中,p → q的真值表中,当p为真,q为假时,p → q 的值为()。

A. 真B. 假C. 不确定D. 无定义答案:B二、多项选择题(每题3分,共15分)1. 在集合论中,以下哪些符号表示的是集合的并集()。

A. ∪B. ∩C. ⊆D. ⊂答案:A2. 在图论中,以下哪些说法是正确的()。

A. 有向图可以是无环的B. 无向图可以是无环的C. 有向图一定是连通的D. 无向图一定是连通的答案:A B3. 在命题逻辑中,以下哪些符号表示的是逻辑与()。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1, 2, 3, 4}中,子集{1, 2}的补集是()。

A. {3, 4}B. {1, 3, 4}C. {2, 3, 4}D. {1, 2, 3, 4}答案:A2. 命题“若x > 0,则x² > 0”的逆否命题是()。

A. 若x² ≤ 0,则x ≤ 0B. 若x² > 0,则x > 0C. 若x ≤ 0,则x² ≤ 0D. 若x² ≤ 0,则x < 0答案:C3. 函数f(x) = x² + 2x + 1的值域是()。

A. {x | x ≥ 0}B. {x | x ≥ 1}C. {x | x ≥ 2}D. {x | x ≥ -1}答案:B4. 以下哪个图是无向图()。

A. 有向图B. 无向图C. 有向树D. 无向树答案:B5. 以下哪个图是二分图()。

A. 完全图B. 非完全图C. 任意两个顶点都相连的图D. 任意两个顶点都不相连的图答案:C6. 以下哪个是哈密顿回路()。

A. 经过每个顶点恰好一次的回路B. 经过每个顶点至少一次的回路C. 经过每个顶点恰好两次的回路D. 经过每个顶点至少两次的回路答案:A7. 以下哪个是欧拉回路()。

A. 经过每条边恰好一次的回路B. 经过每条边至少一次的回路C. 经过每条边恰好两次的回路D. 经过每条边至少两次的回路答案:A8. 以下哪个是二进制数()。

A. 1010B. 1020C. 1102D. 1120答案:A9. 以下哪个是格雷码()。

A. 0101B. 1010C. 1100D. 1110答案:B10. 以下哪个是素数()。

A. 4B. 6C. 7D. 8答案:C二、填空题(每题2分,共20分)11. 集合{1, 2, 3}与{2, 3, 4}的交集是______。

答案:{2, 3}12. 命题“若x > 0,则x² > 0”的逆命题是:若x² > 0,则______。

《离散数学》题库及答案

《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答:(1),(4)2、下列公式中哪些是永真式?()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答:(2),(3),(4),(5),(6)4、公式某((A(某)B(y,某))zC(y,z))D(某)中,自由变元是(变元是()。

答:某,y,某,z5、判断下列语句是不是命题。

若是,给出命题的真值。

((1)北京是中华人民共和国的首都。

(2)陕西师大是一座工厂。

),约束)(3)你喜欢唱歌吗?(4)若7+8>18,则三角形有4条边。

(5)前进!(6)给我一杯水吧!答:(1)是,T(2)是,F(3)不是(4)是,T(5)不是(6)不是6、命题“存在一些人是大学生”的否定是(),而命题“所有的人都是要死的”的否定是()。

答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为()。

(1)只有在生病时,我才不去学校(2)若我生病,则我不去学校(3)当且仅当我生病时,我才不去学校(4)若我不生病,则我一定去学校答:(1)QP(2)PQ(3)PQ(4)PQ8、设个体域为整数集,则下列公式的意义是()。

(1)某y(某+y=0)(2)y某(某+y=0)答:(1)对任一整数某存在整数y满足某+y=0(2)存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合,确定下列命题的真值:(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答:(1)F(2)F(3)F(4)T10、设谓词P(某):某是奇数,Q(某):某是偶数,谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。

(完整版)离散数学题目及答案

(完整版)离散数学题目及答案

数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。

C.2是偶数。

D.铅球是方的。

2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题2分,共20分)1. 在集合{1,2,3}和{3,4,5}的笛卡尔积中,元素(2,4)是否存在?A. 存在B. 不存在C. 无法确定D. 以上都不对2. 函数f: A→B是单射的,当且仅当对于任意的a1, a2∈A,若f(a1)=f(a2),则a1=a2。

A. 正确B. 错误C. 无法确定D. 以上都不对3. 以下哪个命题是真命题?A. 所有的狗都会游泳。

B. 有些狗不会游泳。

C. 所有的狗都不会游泳。

D. 以上都不是真命题。

4. 如果p蕴含q为假,那么p和q的真值可以是?A. p为真,q为假B. p为假,q为真C. p为真,q为真D. p为假,q为假5. 以下哪个图是连通图?A. 一个孤立点B. 两个不相连的点C. 一个包含三个点且每对点都相连的图D. 以上都不是连通图6. 在有向图中,如果存在从顶点u到顶点v的路径,那么称v是u的后继顶点。

A. 正确B. 错误C. 无法确定D. 以上都不对7. 以下哪个等价关系是集合{1,2,3}上的?A. {(1,1), (2,2), (3,3)}B. {(1,2), (2,1), (2,2), (3,3)}C. {(1,1), (2,3), (3,2), (3,3)}D. {(1,1), (2,2), (3,3), (1,3)}8. 以下哪个命题是假命题?A. 所有的鸟都有羽毛。

B. 有些鸟不会飞。

C. 所有的哺乳动物都是温血动物。

D. 以上都不是假命题。

9. 在图论中,一个图的生成树是包含图中所有顶点的最小连通子图。

A. 正确B. 错误C. 无法确定D. 以上都不对10. 如果命题p和q互为逆否命题,那么它们具有相同的真值。

A. 正确B. 错误C. 无法确定D. 以上都不对二、填空题(每题2分,共20分)1. 集合{1,2,3}和{3,4,5}的并集是________。

2. 函数f: A→B是满射的,当且仅当对于任意的b∈B,存在a∈A,使得f(a)=________。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中,含有3个元素的子集有多少个?A. 4B. 8C. 16D. 32答案:B解析:含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算,其中n为集合的元素个数,k为子集中的元素个数。

在本题中,n=4,k=3,所以C(4, 3) = 4! / [3!(4-3)!] = 4。

2. 下列哪个命题是真命题?A. 所有偶数都是整数。

B. 所有整数都是偶数。

C. 所有整数都是奇数。

D. 所有奇数都是整数。

答案:A解析:偶数是指能被2整除的整数,因此所有偶数都是整数,选项A是真命题。

选项B、C和D都是错误的,因为并非所有整数都是偶数或奇数。

二、填空题1. 逻辑运算符“非”(NOT)的真值表是:当输入为真时,输出为______;当输入为假时,输出为真。

答案:假解析:逻辑运算符“非”(NOT)是一元运算符,它将输入的真值取反。

如果输入为真,则输出为假;如果输入为假,则输出为真。

2. 命题逻辑中,合取词“与”(AND)的真值表是:当两个命题都为真时,输出为真;否则输出为______。

答案:假解析:合取词“与”(AND)是二元运算符,只有当两个命题都为真时,输出才为真;如果其中一个或两个命题为假,则输出为假。

三、简答题1. 解释什么是等价关系,并给出一个例子。

答案:等价关系是定义在集合上的一个二元关系,它满足自反性、对称性和传递性。

例如,考虑整数集合上的“同余”关系。

对于任意整数a,b,如果a和b除以同一个正整数n后余数相同,则称a和b模n同余。

这个关系是自反的(a同余a),对称的(如果a同余b,则b同余a),并且是传递的(如果a同余b且b同余c,则a同余c)。

2. 什么是图的连通性?一个图是连通的需要满足什么条件?答案:图的连通性是指在无向图中,任意两个顶点之间都存在一条路径。

一个图是连通的需要满足以下条件:图中的任意两个顶点v和w,都可以通过图中的边相互到达。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学试题一(A 卷答案)一、(10分)证明(A ∨B )(P ∨Q ),P ,(B A )∨P A 。

二、(10分)甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。

关于谁参加竞赛,下列4种判断都是正确的: (1)甲和乙只有一人参加;(2)丙参加,丁必参加;(3)乙或丁至多参加一人;(4)丁不参加,甲也不会参加。

请推出哪两个人参加了围棋比赛。

三、(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四、(10分)设A ={a ,b ,c},试给出A 上的一个二元关系R ,使其同时不满足自反性、反自反性、五、(15分)设函数g :A →B ,f :B →C ,(1)若f o g 是满射,则f 是满射。

(2)若f o g 是单射,则g 是单射。

六、(15分)设R 是集合A 上的一个具有传递和自反性质的关系,T 是A 上的关系,使得<a ,b >T <a ,b >R 且<b ,a >R ,证明T 是一个等价关系。

七、(15分)若<G ,*>是群,H 是G 的非空子集,则<H ,*>是<G ,*>的子群对任意的a 、b ∈H 有a *b -1∈H 。

八、(15分)(1)若无向图G 中只有两个奇数度结点,则这两个结点一定是连通的。

(2)若有向图G 中只有两个奇数度结点,它们一个可达另一个结点或互相可达吗离散数学试题一(B 卷答案)一、(15分)设计一盏电灯的开关电路,要求受3个开关A 、B 、C 的控制:当且仅当A 和C 同时关闭或B 和C 同时关闭时灯亮。

设F 表示灯亮。

u vw(1)写出F在全功能联结词组{}中的命题公式。

(2)写出F的主析取范式与主合取范式。

二、(10分)判断下列公式是否是永真式(1)(xA(x)xB(x))x(A(x)B(x))。

(2)(xA(x)xB(x))x(A(x)B(x)))。

三、(15分)设X为集合,A=P(X)-{}-{X}且A≠,若|X|=n,问(1)偏序集<A,>是否有最大元(2)偏序集<A,>是否有最小元(3)偏序集<A,>中极大元和极小元的一般形式是什么并说明理由。

四、(10分)设A={1,2,3,4,5},R是A上的二元关系,且R={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>},求r(R)、s(R)和t(R)。

六、(10分)有幺元且满足消去律的有限半群一定是群。

证明设<G,*>是一个有幺元且满足消去律的有限半群,要证<G,*>是群,只需证明G的任一元素a可逆。

考虑a,a2,…,a k,…。

因为G只有有限个元素,所以存在k>l,使得a k=a l。

令m=k-l,有a l*e =a l*a m,其中e是幺元。

由消去率得a m=e。

于是,当m=1时,a=e,而e是可逆的;当m>1时,a*a m-1=a m-1*a=e。

从而a是可逆的,其逆元是a m-1。

总之,a是可逆的。

七、(20分)有向图G如图所示,试求:(1)求G的邻接矩阵A。

(2)求出A2、A3和A4,v1到v4长度为1、2、3和4的路有多少(3)求出A T A和AA T,说明A T A和AA T中的第(2,2)元素和第(2,3)元素的意义。

(4)求出可达矩阵P。

(5)求出强分图。

离散数学试题二(A卷答案)一、(10分)判断下列公式的类型(永真式、永假式、可满足式)1)((P Q)∧Q)((Q∨R)∧Q) 2)((Q P)∨P)∧(P∨R)3)((P∨Q)R)((P∧Q)∨R)二、(8分)个体域为{1,2},求x y(x+y=4)的真值。

三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的二元关系数是多少A到B的函数数是多少四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。

五、(10分) 75个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20人这三种东西都乘过,其中55人至少乘坐过其中的两种。

若每样乘坐一次的费用是元,公园游乐场总共收入70元,求有多少儿童没有乘坐过其中任何一种。

六、(12分)已知R和S是非空集合A上的等价关系,试证:1)R∩S是A上的等价关系;2)对a∈A,[a]R∩S=[a]R∩[a]S。

七(10分)设A、B、C、D是集合,f是A到B的双射,g是C到D的双射,令h:A×C B×D且<a,c>∈A×C,h(<a,c>)=<f(a),g(c)>。

证明h是双射。

八、(12分)<G,*>是个群,u∈G,定义G中的运算“”为a b=a*u-1*b,对任意a,b∈G,求证:<G, >也是个群。

九、(10分)已知:D=<V,E>,V={1,2,3,4,5},E={<1,2>,<1,4>,<2,3>,<3,4>,<3,5>,<5,1>},求D的邻接距阵A和可达距阵P。

离散数学试题二(B卷答案)一、(10分)求命题公式(P∧Q)(P R)的主合取范式。

解:(P∧Q)(P R)((P∧Q)(P R))∧((P R)(P∧Q))((P∧Q)∨(P∧R))∧((P∨R)∨(P∨Q))(P∧Q)∨(P∧R)(P∨R)∧(Q∨P)∧(Q∨R)(P∨Q∨R)∧(P∨Q∨R)∧(P∨Q∨R)∧(P∨Q∨R)M1∧M3∧M4∧M5二、(8分)叙述并证明苏格拉底三段论三、(8分)已知A、B、C是三个集合,证明A∩(B∪C)=(A∩B)∪(A∩C)四、(10分)已知R和S是非空集合A上的等价关系,试证:1)R∩S是A上的等价关系;2)对a∈A,[a]R∩S=[a]R∩[a]S。

五、(10分) 设A={a,b,c,d},R是A上的二元关系,且R={<a,b>,<b,a>,<b,c>,<c,d>},求r(R)、s(R)和t(R)。

六、(15分) 设A、B、C、D是集合,f是A到B的双射,g是C到D的双射,令h:A×C B×D且<a,c>∈A×C,h(<a,c>)=<f(a),g(c)>。

证明h是双射。

七、(12分)设<G,*>是群,H是G的非空子集,证明<H,*>是<G,*>的子群的充要条件是若a,b H,则有a*b-1H。

八、(10分)设G=<V,E>是简单的无向平面图,证明G至少有一个结点的度数小于等于5。

九.G=<A,*>,A={a,b,c},*的运算表为:(写过程,7分)(1)G是否为阿贝尔群(2)找出G的单位元;(3)找出G的幂等元(4)求b的逆元和c的逆元离散数学试题三(A卷答案)一、证明题(10分)1) (P∧Q∧A C)∧(A P∨Q∨C) (A∧(P Q))C。

2) (P Q)P Q。

二、分别用真值表法和公式法求(P(Q∨R))∧(P∨(Q R))的主析取范式与主合取范式,并写出其相应的成真赋值和成假赋值(15分)。

三、推理证明题(10分)1)P∨Q,Q∨R,R S P S。

2) x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x))四、某班有学生60人,其中有38人学习PASCAL语言,有16人学习C语言,有21人学习COBOL语言;有3个人这三种语言都学习,有2个人这三种语言都不学习,问仅学习两门语言的学生数是多少(10分)五、已知A、B、C是三个集合,证明(A∪B)-C=(A-C)∪(B-C) (10分)六、已知R、S是N上的关系,其定义如下:R={<x,y>| x,y N∧y=x2},S={<x,y>| x,y N∧y=x+1}。

求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分)七、证明:R是传递的R*R R(10分)。

八、证明整数集I上的模m同余关系R={<x,y>|x y(mod m)}是等价关系。

其中,x y(mod m)的含义是x-y可以被m整除(15分)。

九、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。

离散数学试题三(B卷答案)一、证明题(10分)1)((P∨Q)∧(P∧(Q∨R)))∨(P∧Q)∨(P∧R)T2) x y(P(x)Q(y))(xP(x)yQ(y))三、推理证明题(10分)1)(P(Q S))∧(R∨P)∧Q R S2) x(A(x)yB(y)),x(B(x)yC(y))xA(x)yC(y)。

四、只要今天天气不好,就一定有考生不能提前进入考场,当且仅当所有考生提前进入考场,考试才能准时进行。

所以,如果考试准时进行,那么天气就好(15分)。

五、已知A、B、C是三个集合,证明A∩(B∪C)=(A∩B)∪(A∩C) (10分)六、A={ x1,x2,x3 },B={ y1,y2},R={<x1, y1>,<x2, y2>,<x3, y2>},求其关系矩阵及关系图(10分)。

七、设R={<2,1>,<2,5>,<2,4>,<3,4>,<4,4>,<5,2>},求r(R)、s(R)和t(R),并作出它们及R的关系图(15分)。

八、设R1是A上的等价关系,R2是B上的等价关系,A≠且B≠。

关系R满足:<<x1,y1>,<x2,y2>>∈R<x1,x2>∈R1且<y1,y2>∈R2,证明R是A×B上的等价关系(10分)。

九、设f:A B,g:B C,h:C A,证明:如果h o g o f=I A,f o h o g=I B,g o f o h=I C,则f、g、h均为双射,并求出f-1、g-1和h-1(10分)。

离散数学试题四(A卷答案)一、(10分)求(P Q)(P∧(Q∨R))的主析取范式二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断:甲说:王教授不是苏州人,是上海人。

相关文档
最新文档