离散数学自学考试复习题

合集下载

离散数学自学考试复习题

离散数学自学考试复习题

51.设G是连通平面图,G中有6个顶点8条边,则G的面的数目是( ) A.2个面 B.3个面 C.4个面 D.5个面 52.一公式为 之充分必要条件是其析取范式之每一析取项中均必同 时包含一命题变元及其否定;一公式为 之充分必要条件是其合取范 式之每一合取项中均必同时包含 一命题变元及其否定。 53.前束范式具有形式(Q1V1)(Q2V2)…(QnVn)A,其中Qi(1论域是{a,b,c},则(x)S(x)等价于命题公式 ;()S(x)等价于命题公 式 。 55.设R为A上的关系,则R的自反闭包r(R)= ,对称闭包s(R)= 。 56.某集合A上的二元关系R具有对称性,反对称性,自反性和传递性, 此关系R是 ,其关系矩阵是 。 57.设<S,≤>是一个偏序集,如果S中的任意两个元素都有 和 ,则 称S关于≤构成一个格。 58.设Z是整数集,在Z上定义二元运算*为a*b=a+b+a·b,其中+和·是数 的加法和乘法,则代数系统<Z,*>的幺元是 ,零元是 。 59.如下平面图有2个面R1和R2,其中deg(R1)= ,deg(R2)= 。
A.{{a},{b,c},{d}} B.{{a,b},{c},{d}} C.{{a},{b},{c},{d}} D.{{a,b},{c,d}} 44.设A={Ø},B=P(P(A)),以下正确的式子是( ) A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈B C.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B 45.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( ) A.(X-Y)-Z=X-(Y∩Z) B.(X-Y)-Z=(X-Z)-Y C.(X-Y)-Z=(X-Z)-(Y-Z) D.(X-Y)-Z=X-(Y∪Z) 46.设*是集合A上的二元运算,称Z是A上关于运算*的零元,若( ) A.有x*Z=Z*x=Z B.ZA,且有x*Z=Z*x=Z C.ZA,且有x*Z=Z*x=x D.ZA,且有x*Z=Z*x=Z 47.在自然数集N上,下列定义的运算中不可结合的只有( ) A.a*b=min(a,b) B.a*b=a+b C.a*b=GCD(a,b)(a,b的最大公约数) D.a*b=a(mod b) 48.设R为实数集,R+={x|x∈R∧x>0},*是数的乘法运算,<R+,*>是一 个群,则下列集合关于数的乘法运算构成该群的子群的是( ) A.{R+中的有理数} B.{R+中的无理数} C.{R+中的自然数} D.{1,2,3} 49.设<A,*,>是环,则下列正确的是( ) A.<A,>是交换群 B.<A,*>是加法群 C.对*是可分配的 D.*对是可分配的 50.下列各图不是欧拉图的是( )

离散数学自学考试复习题

离散数学自学考试复习题

A.{{a},{b,c},{d}} B.{{a,b},{c},{d}} C.{{a},{b},{c},{d}} D.{{a,b},{c,d}} 44.设A={Ø},B=P(P(A)),以下正确的式子是( ) A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈B C.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B 45.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( ) A.(X-Y)-Z=X-(Y∩Z) B.(X-Y)-Z=(X-Z)-Y C.(X-Y)-Z=(X-Z)-(Y-Z) D.(X-Y)-Z=X-(Y∪Z) 46.设*是集合A上的二元运算,称Z是A上关于运算*的零元,若( ) A.有x*Z=Z*x=Z B.ZA,且有x*Z=Z*x=Z C.ZA,且有x*Z=Z*x=x D.ZA,且有x*Z=Z*x=Z 47.在自然数集N上,下列定义的运算中不可结合的只有( ) A.a*b=min(a,b) B.a*b=a+b C.a*b=GCD(a,b)(a,b的最大公约数) D.a*b=a(mod b) 48.设R为实数集,R+={x|x∈R∧x>0},*是数的乘法运算,<R+,*>是一 个群,则下列集合关于数的乘法运算构成该群的子群的是( ) A.{R+中的有理数} B.{R+中的无理数} C.{R+中的自然数} D.{1,2,3} 49.设<A,*,>是环,则下列正确的是( ) A.<A,>是交换群 B.<A,*>是加法群 C.对*是可分配的 D.*对是可分配的 50.下列各图不是欧拉图的是( )
37.下列是两个命题变元p,q的小项是( ) A.p∧┐p∧q B.┐p∨q C.┐p∧q D.┐p∨p∨q 38.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不 滑”可符号化为( ) A.p→┐q B.p∨┐q C.p∧q D.p∧┐q 39.下列语句中是命题的只有( ) A.1+1=10 B.x+y=10 C.sinx+siny<0 D.x mod 3=2 40.下列等值式不正确的是( ) A.┐(x)A(x)┐A B.(x)(B→A(x))B→(x)A(x) C.(x)(A(x)∧B(x))(x)A(x)∧(x)B(x) D.(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y) 41.谓词公式(x)P(x,y)∧(x)(Q(x,z)→(x)(y)R(x,y,z)中量词x的辖域是( ) A.(x)Q(x,z)→(x)(y)R(x,y,z)) B.Q(x,z)→(y)R(x,y,z) C.Q(x,z)→(x)(y)R(x,y,z) D.Q(x,z) 42.设R为实数集,函数f:R→R,f(x)=2x,则f是( ) A.满射函数 B.入射函数 C.双射函数 D.非入射非满射 43.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪IA,则 对应于R的A的划分是( )

离散数学复习题含答案

离散数学复习题含答案

离散数学复习题含答案1. 集合论基础集合A和集合B的交集表示为A∩B,它包含所有既属于A又属于B的元素。

请写出集合{1, 2, 3}和{2, 3, 4}的交集。

答案:{2, 3}2. 逻辑运算设命题p为“今天是周一”,命题q为“明天是周三”。

请判断复合命题“p且q”的真值。

答案:假3. 图论初步在无向图中,若存在一条路径使得起点和终点相同,则称该图为欧拉图。

请判断一个有5个顶点且每个顶点的度均为2的无向图是否一定是欧拉图。

答案:是4. 组合数学从5个不同的球中选取3个,有多少种不同的选取方法?答案:10种5. 布尔代数在布尔代数中,逻辑或运算符表示为∨,逻辑与运算符表示为∧。

请计算表达式(A∨B)∧(¬A∨¬B)的值。

答案:¬(A∧B)6. 归纳与递归给定递归关系式T(n) = 2T(n-1) + 1,初始条件为T(1) = 1,求T(3)的值。

答案:T(3) = 2T(2) + 1 = 2(2T(1) + 1) + 1 = 2(2*1 + 1) + 1 =2(3) + 1 = 77. 有限状态机在有限状态机中,状态转移可以通过一个转移函数来描述。

若状态转移函数定义为δ(q, a) = q',其中q和q'是状态,a是输入符号,请说明该函数的作用。

答案:该函数定义了在给定当前状态q和输入符号a的情况下,有限状态机将转移到新的状态q'。

8. 正则表达式正则表达式用于描述字符串的模式。

请写出匹配任意长度的数字串的正则表达式。

答案:\d*9. 命题逻辑命题逻辑中的等价关系是指两个命题逻辑表达式在所有可能的真值赋值下具有相同的真值。

请判断命题p∨¬p和命题¬(p∧¬p)是否等价。

答案:是10. 树的遍历在计算机科学中,树的遍历有前序、中序和后序三种方式。

请简述后序遍历的步骤。

答案:后序遍历的步骤是先访问左子树,然后访问右子树,最后访问根节点。

自考离散数学考试题库及答案

自考离散数学考试题库及答案

自考离散数学考试题库及答案一、选择题1. 在离散数学中,命题逻辑的主要研究对象是什么?A. 命题的真假B. 命题的类型C. 命题的表达D. 命题的证明答案:A2. 有限集合M的基数是指什么?A. M中元素的数量B. M的子集数量C. M的幂集D. M的幂集的基数答案:A3. 以下哪个不是图论中的基本概念?A. 顶点B. 边C. 集合D. 子图答案:C二、填空题4. 在命题逻辑中,德摩根定律表示了________和________之间的逻辑关系。

答案:¬(P ∧ Q);¬P ∨ ¬Q5. 一个集合的幂集是指该集合所有________的集合。

答案:子集6. 在图论中,无向图中的路径是顶点和边的________。

答案:交替序列三、解答题7. 证明:若命题P是真命题,则其否定¬P是假命题。

证明:根据命题逻辑的定义,一个命题要么是真要么是假。

如果P 是真命题,那么根据否定的定义,¬P表示P不是真的,这与P是真命题的事实相矛盾。

因此,¬P必须是假命题。

8. 给定集合A={1, 2, 3},求其幂集及其基数。

解答:集合A的幂集包括A的所有子集,即∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}。

共有2^3=8个子集,所以A的幂集的基数是8。

四、应用题9. 在一个无向图中,定义了两个顶点之间的距离为它们之间的最短路径上的边数。

如果图G中有两个顶点u和v,且它们之间的距离是3,证明存在一个顶点w,使得u和w之间的距离是1,v和w之间的距离是2。

证明:由于u和v之间的距离是3,根据距离的定义,存在一条最短路径连接u和v,这条路径至少包含3条边。

设这条路径为u=w1, w2, w3, w4=v,其中每对相邻的顶点之间存在一条边。

根据题设,我们可以取w2作为w,这样u和w之间的距离是1(因为它们之间有一条边w1w2),而v和w之间的距离是2(因为它们之间有两条边w2w3和w3w4)。

2024年4月离散数学真题

2024年4月离散数学真题

2024年4月高等教育自学考试全国统一命题考试离散数学(课程代码 02324)注意事项:1.本试卷分为两部分,第一部分为选择题,第二部分为非选择题。

2.应考者必须按试题顺序在答题卡(纸)指定位置上作答,答在试卷上无效。

3.涂写部分、画图部分必须使用2B铅笔,书写部分必须使用黑色字迹签字笔。

第一部分选择题一、单项选择题:本大题共15小题,每小题2分,共30分。

在每小题列出的备选项中只有一项是最符合题目要求的,请将其选出。

1.含有3个命题变元的任一命题公式的指派个数是A.6个B.8个C.9个D.10个2.下列命题公式为矛盾式的是A.P→(P ⋁Q ⋁R)B.¬(Q→P) APC.(P→¬P)→¬PD.(P ⋀¬P)→Q3.含有2个命题变元的命题A是重言式的条件是A的主析取范式含有A.4个小项B.1个小项C.4个大项D.1个大项4.设论域元素为a、b,与∀xR(x) ∧(∋y)S(x) 等价的是A.(R(a) ⋀R(b)) ⋀(S(a) ⋀S(b))B.(R(a) ⋀R(b)) ⋀(S(a) ⋁S(b))C.(R(a) ⋁R(b)) ⋀(S(a) ⋀S(b))D.(R(a) ⋁R(b)) ⋀(S(a) ⋁S(b))5.谓词公式 ∀xF(x) ⋀G(x,y) 中变元x 为A.自由出现B.约束出现C.既不是自由出现也不是约束出现D.既是自由出现也是约束出现6.设论域是正整数,下列谓词公式中值为真的是A.)10(22=+∃∀y x y xB.)10(22=+∃∀y x x yC.)10(22=+∀∀y x y xD.)10(22=+∃∃y x y x7.设A ={a,∅},P(A)是A 的幂集,下列选项中正确的是A.{a}∈ P(A),{a}⊆P(A)B.{{A}}∈P(A),{{a}}⊆P(A)C.{a}∈P(A),{∅}∈P(A)D.{a}∈P(A),{∅}⊆P(A)8.一个8阶简单图的边数最大为A.20B.25C.28D.309.下面关于n 阶树的描述,错误..的是 A.连通图 B.连通且有n-1条边C.无回路且有n-1条边D.连通且无回路10.R={<0,1>,<1,2>,<2,3>},S={<2,1>,<1,2>,<3,3>},下列正确的是A.ran(R) ⊂ ran(R ∩S)B.ran(S) = ran(R ∪S)C.dom(R) = dom(S)D.dom(R) ∪ dom(S) = ran(R) ∪ ran(S)11.设A={1,2,3},则下列关系中是反自反关系的为A.R={<1,1>,<1,2>}B.R={<1,2>,<3,3>}C.R={<1,2>,<3,2>}D.R={<3,1>,<1,3>,<2,2>}12.设A={a,b,c} ,下列选项中既不是对称也不是反对称的是A.R={<a,a>,<a,b>,<b,a>,<c,b>,<b,c>}B.R={<a,a>,<b,b>}C.R={<a,c>,<a,b>}D.R={<a,c>,<b,b>}13. 设f: R →R,f(x) =⎩⎨⎧<-≥3232x x x ,,;g:R →R,g(x)=x+2,则g ∘f:R →R 是A.单射不满射B.满射不单射C.不单射不满射D.双射14.一个5阶简单图G,保证G 为连通图的最少边数为A.4B.5C.6D.715.下列各集合对于整除关系构成偏序集,不能..构成格的集合是 A.L 1={1,2,3,4} B.L 2={1,2,3,6}C. L 3={1,3,5,15}D.L 4={1,3,9,81}第二部分 非选择题二、填空题:本大题共10小题,每小题2分,共20分。

离散数学复习题及答案

离散数学复习题及答案

总复习题(一)一.单选题1 (C)。

一连通的平面图,5个顶点3个面,则边数为()。

、4 、5 、6 、72、 (A)。

如果一个简单图,则称为自补图,非同构的无向4阶自补图有()个。

、1 、2 、3 、43、 (D)。

为无环有向图,为的关联矩阵,则()。

、是的终点、与不关联、与关联、是的始点4、 (B)。

一连通的平面图,8个顶点4个面,则边数为。

、9 、10 、11 、125、 (D)。

如果一个简单图,则称为自补图,非同构的3阶有向完全图的子图中自补图有个。

、1 、2 、3 、46、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。

、13 、12 、11 、107、 (D)。

有向图的通路包括。

、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路8、 (D)。

一连通的平面图,9个顶点5个面,则边数为。

、9 、10 、11 、12A B C D G G ≅G A B C D E ,V D =[]m n ij m ⨯D 1m ij =A i v j e B i v j e C i v j e D i v j e A B C D G G ≅G A B C D A B C D A B C D A B C D9、21条边,3个4度顶点,其余顶点为3度的无向图共有个顶点。

、13 、12 、11 、1010、 (D)。

有向图的通路包括。

、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路11、 (D)。

一连通的平面图,9个顶点5个面,则边数为。

、9 、10 、11 、1212、 (B)。

为有向图,为的邻接矩阵,则。

、邻接到的边的条数是5、接到的长度为4的通路数是5、长度为4的通路总数是5、长度为4的回路总数是513、 (C)。

在无向完全图中有个结点,则该图的边数为()。

A 、B 、C 、D 、14、 (C)。

任意平面图最多是()色的。

A 、3B 、4C 、5D 、615、 (A)。

对与10个结点的完全图,对其着色时,需要的最少颜色数为()。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题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,则______。

离散考试试题及答案

离散考试试题及答案

离散考试试题及答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念不是布尔代数的基本运算?A. 与B. 或C. 非D. 模答案:D2. 集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A3. 命题逻辑中,下列哪个符号表示“蕴含”关系?A. ∧B. ∨C. →D. ↔答案:C4. 关系R在集合A上是自反的,意味着什么?A. 对于所有a∈A,(a, a)∈RB. 对于所有a∈A,(a, a)∉RC. 对于所有a∈A,(a, b)∈RD. 对于所有a∈A,(a, b)∉R答案:A二、填空题(每题5分,共20分)1. 一个集合的基数是集合中元素的________。

答案:数量2. 在有向图中,如果存在一条从顶点u到顶点v的路径,则称顶点v 是顶点u的________。

答案:可达的3. 一个图是连通的,当且仅当图中任意两个顶点都是________。

答案:连通的4. 在命题逻辑中,一个命题的否定是________。

答案:它的对立命题三、简答题(每题10分,共30分)1. 请解释什么是图的哈密顿回路。

答案:哈密顿回路是一个图中的闭合回路,它恰好访问图中的每个顶点一次。

2. 描述一下什么是二元关系,并给出一个例子。

答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。

例如,小于关系是数字集合上的一个二元关系。

3. 什么是图的生成树?答案:图的生成树是图的一个子图,它包含图中的所有顶点,并且是一棵树,即它是连通的且没有环。

四、计算题(每题15分,共30分)1. 给定一个集合A={1,2,3,4,5},计算它的幂集。

答案:幂集P(A)={∅, {1}, {2}, {3}, {4}, {5}, {1,2}, {1,3}, {1,4}, {1,5}, {2,3}, {2,4}, {2,5}, {3,4}, {3,5}, {4,5},{1,2,3}, {1,2,4}, {1,2,5}, {1,3,4}, {1,3,5}, {1,4,5}, {2,3,4}, {2,3,5}, {2,4,5}, {3,4,5}, {1,2,3,4}, {1,2,3,5}, {1,2,4,5}, {1,3,4,5}, {2,3,4,5}, {1,2,3,4,5}, A}。

离散数学自考试题及答案

离散数学自考试题及答案

离散数学自考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个命题是永真命题?A. (p ∧ ¬p) → qB. p ∨ (q ∧ ¬q)C. (p → q) ∧ (q → p)D. ¬(p → ¬p)答案:B3. 函数f: A → B中,如果A中的每个元素都映射到B中的不同元素,则称f为:A. 注入函数B. 满射C. 双射D. 单射答案:C4. 在图论中,下列哪项不是无向图的基本术语?A. 顶点B. 边C. 路径D. 子图答案:D5. 以下哪个算法用于判断一个图是否包含汉密尔顿回路?A. 深度优先搜索B. 广度优先搜索C. 弗洛伊德算法D.Dijkstra算法答案:A6. 命题逻辑中,德摩根定律描述了哪些命题的等价关系?A. ¬(p ∧ q) ≡ ¬p ∨ ¬qB. ¬(p ∨ q) ≡ ¬p ∧ ¬qC. ¬(p → q) ≡ p ∧ ¬qD. 所有以上答案:D7. 在关系数据库中,下列哪个操作用于删除表中的行?A. SELECTB. INSERTC. DELETED. UPDATE答案:C8. 以下哪个是有限自动机的组成部分?A. 状态B. 转移C. 输入D. 所有以上答案:D9. 在布尔代数中,下列哪个操作不是基本操作?A. ANDB. ORC. NOTD. XOR答案:D10. 以下哪个是命题逻辑中的有效论证形式?A. 假言三段论B. 假言推理C. 析取三段论D. 所有以上答案:D二、填空题(每题2分,共20分)11. 在集合{1, 2, 3}的幂集中,含有2个元素的子集有_________。

答案:{{1, 2}, {1, 3}, {2, 3}}12. 如果命题P表示“今天是晴天”,命题Q表示“我去公园”,那么(P ∧ Q)表示_________。

离散数学考试题及答案

离散数学考试题及答案

离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。

B. 如果今天是周一,那么明天是周三。

C. 如果今天是周一,那么明天是周四。

D. 如果今天是周一,那么明天是周五。

答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。

答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。

答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。

答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。

答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。

答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。

例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。

2. 解释什么是逻辑蕴含,并给出一个例子。

答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。

例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。

如果今天是周一,那么根据逻辑蕴含,明天必须是周二。

3. 请描述什么是二叉搜索树,并给出它的一个性质。

答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。

它的一个性质是中序遍历可以得到一个有序序列。

四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。

自考离散数学考试题及答案

自考离散数学考试题及答案

自考离散数学考试题及答案一、选择题(每题2分,共10分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 有限自动机中的一个状态不包括以下哪个元素?A. 初始状态B. 终止状态C. 转移函数D. 输入符号答案:C3. 在命题逻辑中,德摩根定律描述了哪些命题的等价性?A. (¬P ∧ ¬Q) ↔¬(P ∨ Q)B. (P ∨ Q) ↔¬(¬P ∧ ¬Q)C. (P ∧ Q) ↔¬(P ∨ Q)D. (¬P ∨ ¬Q) ↔¬(P ∧ Q)答案:A4. 以下哪个算法是用于解决图的最短路径问题?A. 欧几里得算法B. 迪杰斯特拉算法C. 快速排序算法D. 弗洛伊德算法答案:B5. 布尔代数中,一个表达式可以有的最大项数是多少?A. nB. 2^nC. n^2D. 2n答案:B二、填空题(每题3分,共15分)6. 在关系数据库中,确保实体完整性的约束称为________。

答案:主键7. 一个有向图中,如果存在从顶点A到顶点B的路径,则称顶点A可以________顶点B。

答案:到达8. 在命题逻辑中,如果命题P和命题Q都为真,则命题P → Q的真值是________。

答案:真9. 一个命题函数的真值表中,如果某一行的P和Q都为假,那么这一行的结果是________。

答案:真10. 在图论中,一个完全图是指图中任意两个顶点都________。

答案:相连三、解答题(共75分)11. (15分)证明:在任何非空集合中,至少存在一个元素不包含于该集合的任何子集中。

答案:略12. (20分)给定一个有向图,描述如何使用拓扑排序算法来对图中的顶点进行排序。

答案:略13. (20分)解释什么是正规表达式,并给出一个例子来说明如何使用它来匹配字符串。

答案:略14. (20分)证明:在任何无向图中,边数最多的生成子图最多有3n/2条边,其中n是顶点的数量。

自考离散数学试题及答案

自考离散数学试题及答案

自考离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个表达式表示“非”操作?A. ∧B. ∨C. ¬D. →答案:C3. 在下列哪个图论的术语中,表示图中任意两个顶点都相连?A. 无向图B. 有向图C. 完全图D. 二分图答案:C4. 布尔代数中,下列哪个操作是“或”?A. ∧C. ¬D. →答案:B5. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 反对称性D. 传递性答案:A6. 有限自动机中,状态可以被分为哪两种类型?A. 初始状态和终止状态B. 接受状态和拒绝状态C. 确定状态和非确定状态D. 静态状态和动态状态答案:B7. 在关系数据库中,下列哪个操作用于删除表中的行?A. INSERTB. DELETEC. UPDATED. SELECT答案:B8. 以下哪个是谓词逻辑中的量词?B. ∃C. ∧D. ∨答案:A9. 在命题逻辑中,德摩根定律描述了哪些逻辑运算的对偶性?A. ∧ 和∨B. ¬和→C. ¬和↔D. → 和↔答案:A10. 树的深度优先搜索(DFS)算法通常使用哪种数据结构来实现?A. 队列B. 栈C. 链表D. 哈希表答案:B二、填空题(每题3分,共30分)11. 在集合{1, 2, 3, 4, 5}中,子集的总数是_________。

答案:3212. 如果命题P为真,则命题P → Q的真值表中,Q的值必须为_________。

答案:真13. 在有向图中,一个顶点的入度是指_________。

答案:指向该顶点的边的数量14. 一个关系R(A, B, C)中,如果对于任意两个元组,当它们在属性A上的值相等时,它们在属性B和C上的值也相等,则称R具有_________。

答案:候选键15. 在布尔代数中,表达式(A ∧ B) ∨ (A ∧ ¬B)的结果是_________。

离散数学试题总汇及答案

离散数学试题总汇及答案

离散数学试题总汇及答案一、单项选择题(每题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. 什么是集合的子集?子集是指一个集合中的所有元素都属于另一个集合。

如果集合A中的每一个元素都是集合B的元素,那么集合A就是集合B的子集。

2. 描述有限集合和无限集合的区别。

有限集合是指元素数量有限的集合,可以被一一列举。

无限集合则包含无限多个元素,无法被完全列举。

3. 什么是二元关系?二元关系是集合A和集合B之间的一种对应关系,它由有序对(a, b)组成,其中a属于集合A,b属于集合B。

4. 什么是函数?函数是一种特殊的二元关系,其中每个定义域中的元素都与值域中的一个且仅一个元素相关联。

5. 什么是等价关系?等价关系是一种自反的、对称的、传递的二元关系。

在集合A上的等价关系将A划分为若干个不相交的等价类。

6. 什么是偏序关系?偏序关系是一种自反的、反对称的、传递的二元关系。

它在集合上定义了一个部分顺序。

7. 什么是有向图和无向图?有向图是一种图,其中的边有方向,表示从一个顶点指向另一个顶点。

无向图的边没有方向,表示两个顶点之间的双向连接。

8. 什么是强连通分量?在有向图中,强连通分量是指图中的一组顶点,这些顶点中的每一个顶点都可以到达集合中的其他任何顶点。

9. 什么是二进制数?二进制数是一种基数为2的数制,只使用0和1两个数字来表示数值。

10. 什么是逻辑运算?逻辑运算是对逻辑值(真或假)进行的操作,包括与(AND)、或(OR)、非(NOT)等运算。

11. 什么是归纳法?归纳法是一种数学证明方法,通过证明一个基本情况,然后假设某个情况成立,再证明下一个情况也成立,从而证明整个命题。

12. 什么是图的遍历?图的遍历是指按照一定的规则访问图中的每个顶点,确保每个顶点都被访问一次。

常见的遍历算法有深度优先搜索(DFS)和广度优先搜索(BFS)。

13. 什么是正规表达式?正规表达式是一种描述字符串集合的模式,用于文本搜索和文本处理。

它由一系列字符和元字符组成,定义了字符串的匹配规则。

离散数学 复习资料 试题及答案

离散数学 复习资料 试题及答案

测试三一、填空题1、二极管加正向电压,二极管(导通),相当于开关(闭合);二极管加反向电压,二极管(截止),相当于开关(断开)。

2、在模拟电路中,主要利用三极管的(放大)状态,在数字电路中,则利用三极管的(饱和)和(截止),实现输出端高、低电平的转换。

工作在(截止区)时,相当于开关断开,工作在(放大区)时,相当于开关闭合。

3、在模拟电路中,主要利用MOS的(截止)状态,在数字电路中,则利用MOS 的(可变电阻区)和(恒流区),实现输出端高、低电平的转换。

工作在()时,相当于开关断开,工作在()时,相当于开关闭合。

4、三态门包括(高电平)、(低电平)和(高阻态)三态。

5、根据电路的逻辑功能的不同,数字电路分为两类:(组合逻辑电路)和(时序逻辑电路)。

6、产生竞争冒险的原因是(时间延迟)。

7、数码管分为()和(),其中()数码管是高电平有效。

8、七段显示译码器74LS48是一种与()数码管配合使用的集成译码器。

9、7段共阴极数码管abcdefg分别为1111001时,显示的数字为()。

10、试灯输入端LT低电平有效,表明当为()时,无论输入端状态怎样,数码输出端全为高电平,数码管全亮。

11、8选1数据选择器的数据输入端有(8)个,地址输入端有(3)个。

12、JK触发器的逻辑功能有(置0)(置1)(保持)和()。

13、JK触发器转换为D触发器时,J=(D),K=(D非)。

14、JK触发器转换为T触发器时,J=(T),K=(T)。

15、时序逻辑电路由(组合逻辑电路)和(触发器电路)两部分组成,其中(触发器电路)必不可少。

16、时序逻辑电路根据触发器元件的动作特点的不同,可以分为(同步时序逻辑电路)和(异步时序逻辑电路)。

17、半导体存储器分为(只读存储器)和(随机存储器)。

18、只读存储器主要由(地址译码器)和(存储矩阵)两部分组成。

19、随机存储器主要由(地址译码器)(存储矩阵)和(控制电路)三部分组成。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案离散数学考试试题及答案离散数学是计算机科学和数学中的一门重要学科,它研究的是离散的结构和对象。

离散数学的理论和方法在计算机科学、信息科学、通信工程等领域具有广泛的应用。

下面将为大家提供一些离散数学考试试题及答案,希望对大家的学习和复习有所帮助。

1. 集合论题目(1) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∪B的结果。

答案:A∪B={1,2,3,4,5,6,7}(2) 设A={1,2,3,4,5},B={3,4,5,6,7},求A∩B的结果。

答案:A∩B={3,4,5}(3) 设A={1,2,3,4,5},B={3,4,5,6,7},求A-B的结果。

答案:A-B={1,2}2. 图论题目(1) 给定一个无向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(A,C),(B,D),(C,D),(D,E)},求该图的邻接矩阵。

答案:邻接矩阵为:A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G,顶点集为V={A,B,C,D,E},边集为E={(A,B),(B,C),(C,D),(D,E),(E,A)},求该图的邻接表。

答案:邻接表为:A ->B ->C ->D ->E -> AB -> CC -> DD -> EE -> A3. 命题逻辑题目(1) 判断以下命题是否为永真式:(p∨q)∧(¬p∨r)∧(¬q∨¬r)。

答案:是永真式。

(2) 给定命题p:如果天晴,那么我去游泳;命题q:我没有去游泳。

请判断以下命题的真假:(¬p∨q)∧(p∨¬q)。

答案:是真命题。

4. 关系代数题目(1) 给定关系R(A,B,C)和S(B,C,D),求R⋈S的结果。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。

答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。

答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。

答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。

答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。

答案:欧拉路径是一条通过图中每条边恰好一次的路径。

2. 解释什么是二元关系,并给出一个例子。

答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。

例如,小于关系就是一个二元关系。

3. 请说明什么是递归函数,并给出一个简单的例子。

答案:递归函数是一种通过自身定义来计算函数值的函数。

例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。

四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。

2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。

答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。

离散数学试题及答案解析

离散数学试题及答案解析

离散数学试题及答案解析一、单项选择题(每题2分,共10分)1. 集合A={1,2,3},集合B={2,3,4},则A∩B等于:A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案:B2. 以下哪个命题是真命题?A. 所有天鹅都是白色的。

B. 有些天鹅不是白色的。

C. 所有天鹅都不是白色的。

D. 没有天鹅是白色的。

答案:B3. 函数f: A→B的定义域是A,值域是B,那么f是:A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案:D4. 逻辑表达式(p∧q)→r的逆否命题是:A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案:B5. 有限集合A={a, b, c}的子集个数为:A. 3B. 4C. 7D. 8答案:D二、填空题(每题3分,共15分)1. 如果一个关系R在集合A上是自反的,那么对于A中的每一个元素a,都有___________。

答案:(a, a)∈R2. 命题逻辑中,合取(AND)的逻辑运算符用___________表示。

答案:∧3. 在图论中,一个连通图是指图中任意两个顶点之间都存在___________。

答案:路径4. 集合{1, 2, 3}的幂集包含___________个元素。

答案:85. 如果一个函数f是单射,那么对于任意的x1, x2∈A,如果f(x1)=f(x2),则x1___________x2。

答案:=三、解答题(每题10分,共20分)1. 证明:若p是q的充分条件,q是r的充分条件,则p是r的充分条件。

证明:假设p成立,由于p是q的充分条件,所以q成立。

又因为q是r的充分条件,所以r成立。

因此,p成立可以推出r成立,即p是r的充分条件。

2. 给定一个有向图,其中包含顶点A、B、C、D,边为(A, B),(B, C),(C, D),(D, A),(A, C)。

离散数学考试试题及答案

离散数学考试试题及答案

离散数学考试试题及答案一、选择题(每题2分,共20分)1. 在集合论中,以下哪个选项表示“属于”关系?A. ⊆B. ⊂C. ∈D. ⊇答案:C2. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案:B3. 以下哪个选项是命题逻辑中的德摩根定律?A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案:A4. 以下哪个选项是命题逻辑中的蕴含等价?A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案:A5. 以下哪个选项是关系的性质?A. 反身性B. 对称性C. 传递性D. 所有选项都是答案:D6. 以下哪个选项是图论中的有向图?A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案:B7. 在图论中,以下哪个选项是树的性质?A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案:D8. 以下哪个选项是布尔代数的基本运算?A. 与(AND)B. 或(OR)C. 非(NOT)D. 所有选项都是答案:D9. 以下哪个选项是组合数学中的排列?A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案:B10. 以下哪个选项是集合论中的幂集?A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案:A二、简答题(每题10分,共30分)1. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
C.<R,+,*>,其中R为实数集,+为实数加法,a*b=a+2b。
D.<Mn(R),+,*>,其中Mn(R)为实数集n×n阶矩阵结合,+,*是矩阵加法和乘法。
10.下列整数集对于整除关系都构成偏序集,而能构成格的是()
A.{l,2,3,4,5}B.{1,2,3,6,12}
C.{2,3,7}D.{l,2,3,7}
(1)R对矩阵的加法和乘法构成一个环;
(2)R中存在元素x是右零因子但不是左零因子。
离散数学自学考试复习题
课程代码:
一、单项选择题
1.下列命题公式为重言式的是()
A.p→(p∨q)B.(p∨┐p)→q
C.q∧┐qD.p→┐q
2.下列语句中不是命题的只有()
A.这个语句是假的。B.1+1=1.0
C.飞碟来自地球外的星球。D.凡石头都可练成金。
3.下列等价式正确的是()
A.┐ ┐A
B.
B.{1,2} {1,{l,2},{l,2,3},2}
C.{1,2} {{1},{2},{1,2}}
D.{1,2}∈{1,2,{2},{l,2,3}}
9.在下列代数系统中,不是环的只有()
A.<Z,+,*),其中Z为整数集,+,*分别为整数加法和乘法。
B.(Q,+,*),其中Q为有理数集,+,*分别为有理数加法和乘法。
自反
反自反
对称
反对称
传递
<
>
=



≤∩≥
≤∪≥
2.75个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20人这三种东西都乘过,其中55人至少乘坐过其中的两种。若每样乘坐一次的费用是0.5元,公园游乐场总共收入70元,求有多少儿童没有乘坐过其中任何一种。
3.设R= ,Z是整数集,则:
11.结点数为奇数且所有结点的度数也为奇数的连通图必定是()
A.欧拉图B.汉密尔顿图
C.非平面图D.不存在的
12.无向图G是欧拉图当且仅当G是连通的且()
A.G中各顶点的度数均相等
B.G中各顶点的度数之和为偶数
C.G中各顶点的度数均为偶数
D.G中各顶点的度数均为奇数
13.平面图(如下)的三个面的次数分别是( )
16.下列公式是前束范式的是( )
A. B.
C. D.
17.下列是谓词演算中的合式公式的是( )
A. B.
C. D.
18.下列式子正确的是( )
A.(A-B)-C=A-(B∪C)B.A-(B∪C)=(A-B)∪C
C.~(A-B)=~(B-A)D.~(A∩B) A
19.下列集合对所给的运算是封闭的只有( )
A.R SB.R-1 S
C.S RD.R S-1
7.设A是正整数集,R={(x,y)|x,y∈A∧x+3y=12},则R∩({2,3,4,6}×{2,3,4,6})=()
A.O/B.{<3,3>}C.{<3,3>,<6,2>}D.{<3,3>,<6,2>,<9,1>}
8.下列命题正确的是()
A.{l,2} {{1,2},{,2,3},1}
19.集合X={a,b,c,d}上二元关系R={<a,b>,<a,c>,<a,d>,<b,c>,<b,d>,<c,d>},则R的自反闭包r(R)= ______________,对称闭包s(R)= ______________。
20.已知G=<{l,-1,i,-i},·>(其中i= ,是数的乘法)是群,则-l的阶是______________;i的阶是______________。
3.已知R和S是非空集合A上的等价关系,试证:1)R∩S是A上的等价关系;2)对a∈A,[a]R∩S=[a]R∩[a]S。
4.叙述并证明苏格拉底三段论。
五、应用题
1.设I是整数集,<,>,=,≤,≥,≠是I上的二元关系,分别表示小于,大于、等于、小于等于,大于等于,不等于,那么这些关系会满足什么性质?试填写下表
C.┐ ┐A
D.
4.在公式 中变元y是()
A.自由变元
B.约束变元
C.既是自由变元,又是约束变元
D.既不是自由变元,又不是约束变元
5.设A={1,2,3},A上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S是()
A.自反关系B.反自反关系
C.对称关系D.传递关系
6.设集合X为人的全体,在X上定义关系R、S为R={<a,b|a,b∈X∧a是b的父亲},S={<a,b>|a,b∈X∧a是b的母亲},那么关系{<a,b>|a,b∈x∧a是b的祖母}的表达式为()
21.对代数系统<S,*>,其中*是S上的二元运算,若a,b∈S,且对任意的x∈S,都有a*x=x*a=x,b*x=x*b=b,则称a为运算“*”的______________,称b为运算“*”的______________。
22.设<S,*>是群,则<S,*>满足结合律和______________;若|S|>l,S中不可能有______________。
A.非零整数集合Z*上的除法运算
B.全体n×n实可逆矩阵集合Mn(R)上的矩阵加法和乘法运算
C.全体n×n实矩阵集合Mn(R)上的矩阵加法和乘法运算
D.A={1,2,…,10},x*y=LCM(x,y),即x,y最小公倍数
20.设<A, ,*>是环,则下列说法不正确的是( )
A.<A, >是交换群B.<A,*>是半群
A.11,3,4B.11,3,5
C.12,3,6D.10,4,3
14.下列语句中不是命题的只有( )
A.鸡毛也能飞上天?B.或重于泰山,或轻于鸿毛。
C.不经一事,不长一智。D.牙好,胃口就好。
15.从真值角度看,命题公式的全部类型是( )
A.永真式B.永假式
C.永真式,永假式D.永真式,永假式,可满足式
12.称集合S是给定非空集合A的覆盖:若S={S1,S2,…,Sn},其中Si A,Si≠Ø,i=1,2,…,n,且____________;进一步若____________,则S是集合A的划分。
13.对实数的普通加法和乘法,____________是加法的幂等元,____________是乘法的幂等元。
23.写出如右有向图的一条初级回路:______________,其长度是______________。
24.一个______________且______________的无向图称为树。
25.在简单无向图G=<V,E>中,如果V中的每个结点都与其余的所有结点邻接,则该图称为______________,如果V有n个结点,那么它还是______________度正则图。
三、计算题
1.构造命题公式(p→ (q∧ r))→┐p的真值表。
2.求图G=<V,E>的可达矩阵,其中V={v1,v2,v3,v4},E={(v1,v2), (v2,v3), (v2,v4), (v3,v2), (v3,v4), (v3,v1), (v4,v1)}
3.设A={2,3,4,6,8,12,24},R为A上整除关系,试画<A,R>的哈斯图,并求A中的最大元,最小元,极大元,极小元。
6.设< >是有界格,a,b L,若a b=0,则a=b=_____;若a b=1,则a=b=____。
7.设e是群G上的幺元,若a G且a2=e,则a-1=____ ,a-2=__________。
8.代数系统<A,。>,其中A为命题公式集合,。为析取运算 ,则<A,。>中零元素是____,幺元是____。
4.如果论域是集合{a,b,c},试消去下面公式中的量词:
5.已知集合A和B且|A|=n,|B|=m,求A到B的二元关系数是多少?A到B的函数数是多少?
6.个体域为{1,2},求xy(x+y=4)的真值。
四、证明题
1.设R是集合X上的二元关系,证明R是X上传递关系当且仅当R R R。
2.用推理方法证明: 。
17.给定谓词合式公式A,其中一部分公式形式为( )B(x)或( x)B(x),则量词 , 后面所跟的x称为______________,而称B为相应量词的______________。
18.设X,U,V,Y都是实数集,f1:X→U,且fl(x)=ex;f2:U→V,且f2(u)=u (1+u);f3:V→Y,且f3(v)=cosv。那么f3 f2 f1的定义域是______________,而复合函数(f3 f2 f1)(x)= ______________。
14.设〈A,≤〉是偏序集,若A中____________都有最小上界和____________则称A关于偏序≤构成格。
15.若一条路中,所有边均不相同,则此路称作____________;若一条路中所有的结点均不相同,则称此路为____________。
16.求一个公式的主析取或主合取范式的方法,有______________法和______________法。
2.在命题演算中,两个____的合取、析取、条件、双条件均为____。
3.使公式 成立的条件是____中不含y,____中不含x。
4.设A={1,2,3,4},R是A上的二元关系,R={<x,y>|x/y是素数},则dom R=_____;
相关文档
最新文档