离散数学复习题参考带答案

合集下载

离散数学复习题含答案

离散数学复习题含答案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、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2），（3），（4），（5），（6）4、公式?x((A(x)?B(y，x))??z C(y，z))?D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,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）P↔（4）QP→⌝P⌝Q→⌝（2）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。

(1) ?x?y(x+y=0) (2) ?y?x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合，确定下列命题的真值：(1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( )(3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式?x(P(x)?Q(x))在哪个个体域中为真?( )(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．飞碟来自地球外的星球。

《离散数学》复习题及答案

页眉内容《离散数学》试题及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2），（3），（4），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。

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

若是，给出命题的真值。

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

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

(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。

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

(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PP⌝P→⌝↔（4）QQ→⌝（2）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。

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

离散数学复习题及答案

1. 写出命题公式﹁（P →（P ∨ Q ））的真值表。

答案：2.证明答案：3. 证明以下蕴涵关系成立：答案：4. 写出下列式子的主析取范式：答案：5. 构造下列推理的论证：p ∨q, p →?r, s →t, ?s →r, ?t ? q答案：①s →t 前提②t 前提③s ①②拒取式I12④s →r 前提⑤r ③④假言推理I11⑥p →r 前提⑦p ⑤⑥拒取式I12⑧p ∨q 前提⑨q ⑦⑧析取三段论I106. 用反证法证明：p →(?(r ∧s)→?q), p, ?s ? ?q7. 请将下列命题符号化：所有鱼都生活在水中。

答案：令 F( x )：x 是鱼 W( x )：x 生活在水中8. 请将下列命题符号化：存在着不是有理数的实数。

答案：令 Q ( x )：x 是有理数 R ( x )：x 是实数9. 请将下列命题符号化：尽管有人聪明，但并非一切人都聪明。

答案：令M(x)：x 是人 C(x)：x 是聪明的则上述命题符号化为10. 请将下列命题符号化：对于所有的正实数x,y ，都有x+y ≥x 。

答案：令P(x):x 是正实数 S(x,y): x+y ≥x11. 请将下列命题符号化：每个人都要参加一些课外活动。

答案：令P(x):x 是人 Q(y): y 是课外活动 S(x,y):x 参加y12. 请将下列命题符号化：某些人对某些药物过敏。

答案：)()(R P Q P ∨∧∧⌝令P(x):x是人 Q(y): y是药 S(x,y):x对y过敏13. 求)())()((yyRyQxPy∀→→∃的对偶式:答案：14. 求下列谓词公式的前束范式：答案：15. 证明：答案：16. 用反证法证明：??x(P(x)∧Q(x)) , ?xP(x) ???xQ(x)答案：17. 证明：前提：?x(C(x)?W(x)∧R(x)), ?x(C(x)∧Q(x)).结论：?x(Q(x)∧R(x)).答案：⏹(1) ?x(C(x)∧Q(x)) 前提引入⏹(2) C(a)∧Q(a) (1)ES⏹(3) C(a) (2)化简规则⏹(4) ?x(C(x)?W(x)∧R(x)) 前提引入⏹(5) C(a)?W(a)∧R(a) (4)US⏹(6) W(a)∧R(a) (3)(5)假言推理⏹(7) R(a) (6)化简规则⏹(8) Q(a) (2)化简规则⏹(9) R(a)∧Q(a) (7)(8)合取引入规则⏹(10) ?x(Q(x)∧R(x)) (9)EG18. 判断：下列命题是否正确？答案：⏹(1) √⏹(2) ×⏹(3) √⏹(4) √⏹(5) √⏹(6) √⏹(7) √⏹(8) ×19. 列出下列集合的元素⏹(1) {x|x∈N∧?t(t∈{2,3}∧x=2t)}⏹(2) {x|x∈N∧?t?s(t∈{0,1}∧s∈{3,4}∧t<x<s)}⏹(3){x|x∈N∧?t(t整除2?x≠t)}答案：⏹(1) {4,6}⏹(2) {1,2,3}⏹(3) {3,4,5…}20.) ,,()),(),((uyxuQzyPzxzPyx∃→∧∃∀∀S={0,1,2,3,4,5,6,7,8,9}，A={2,4,5,6,8}B={1,4,5,9}，C={x|x∈Z+, 2≤x≤5}答案：21. 一个学校有507，292，312和344个学生分别选择了A,B,C,D四门课程。

离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化（共6小题，每小题3分，共计18分）1.用命题逻辑把下列命题符号化a)假如上午不下雨，我去看电影，否则就在家里读书或看报。

b)我今天进城，除非下雨。

c)仅当你走，我将留下。

2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x，总存在y使得xy=1。

c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b.二、简答题（共6道题，共32分）1.求命题公式(P→(Q→R)) (R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋值。

（5分）2.设个体域为{1,2,3}，求下列命题的真值（4分）a)x y(x+y=4)b)y x (x+y=4)3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。

（4分）4.判断下面命题的真假，并说明原因。

（每小题2分，共4分）a)（A B）－C=(A-B) (A-C)b)若f是从集合A到集合B的入射函数，则|A|≤|B|5.设A是有穷集，|A|=5，问（每小题2分，共4分）a)A上有多少种不同的等价关系？b)从A到A的不同双射函数有多少个？6.设有偏序集<A,≤>，其哈斯图如图1，求子集B={b,d,e}的最小元，最大元、极大元、极小元、上界集合、下界集合、上确界、下确界，(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合，R为实数集合，求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N（写出即可）(6分)三、证明题（共3小题，共计40分）1.使用构造性证明，证明下面推理的有效性。

（每小题5分，共10分）a)A→(B∧C),(E→ F)→ C, B→(A∧ S) B→Eb)x(P(x)→ Q(x)), x(Q(x)∨R(x))，x R(x) x P(x)2.设R1是A上的等价关系，R2是B上的等价关系，A≠ 且B≠ ，关系R满足：<<x1,y1>,<x2,y2>>∈R，当且仅当< x1, x2>∈R1且<y1,y2>∈R2。

离散数学复习题及答案

总复习题（一）一．单选题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)。

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

、邻接到的边的条数是５、接到的长度为４的通路数是５、长度为４的通路总数是５、长度为４的回路总数是５13、 (C)。

在无向完全图中有个结点，则该图的边数为（）。

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

任意平面图最多是（）色的。

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

对与10个结点的完全图，对其着色时，需要的最少颜色数为（）。

离散数学-期末复习题及答案

课程名称:《离散数学》一、单项选择题1、 (D)。

下列句子是命题的为。

A 、这朵花多好看呀！B 、明天下午有会吗？C 、5y x >+D 、地球外的星球上也有人。

2、 (A)。

李平不是不聪明，而是不用功。

p:李平聪明q:李平用功。

符号化为。

A 、 q )p (⌝⌝⌝∧ B 、 q p ⌝⌝∧ C 、 q )p (∧⌝⌝ D 、q )p (⌝⌝⌝∨ 3、 (A)。

与)q p (∨⌝命题公式等值的是。

A 、q p ⌝⌝∧ B 、q p ⌝⌝∨ C 、q p ∧ D 、q)(p ∧⌝4、 (D)。

含有3个命题变项的简单和取式中一定可形成种不同的极小项。

A 、2 B 、4 C 、6 D 、85、 (C)。

q )q p (∧→⌝此公式的类型为。

A 、重言式B 、永真式C 、矛盾式D 、可满足式 6、 (C)。

q )q )q p ((→∧→此公式的类型为。

A 、矛盾式B 、可满足式C 、重言式D 、永假式7、 (A)。

设A 是含有3个命题变项的公式,若它的主析取范式中含有8个极小项,则它是。

A 、重言式B 、矛盾式C 、可满足式D 、永假式8、 (B)。

只有天下大雨,他才乘公共汽车上班.p:天下大雨q:他乘车上班,符号化为。

A 、q p → B 、p q → C 、q p →⌝D 、p q →⌝9、 (B)。

不经一事,不长一智p:经一事q:长一智,符号化为。

A 、p q →B 、q p ⌝⌝→C 、p q ⌝⌝→ D 、q p → 10、 (B)。

R Q P →∧⌝)(成真赋值为。

A 、 000,001,110B 、 001,011,101,110,111C 、全体赋值D 、无11、 (B)。

公式Q P→的主析取范式为)3,1,0(∑，则公式的主合取范式为。

A 、)2(TB 、)2(∏C 、)3,1,0(∏D 、)3,2,1,0(∏12、 (A)。

R Q P →∧⌝成假赋值为。

离散数学考试题及答案

离散数学考试题及答案一、选择题（每题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分，共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，都可以通过图中的边相互到达。

离散数学复习题参考带答案

一、选择题：（每题2’）1、下列语句中不是命题的有（）。

A．离散数学是计算机专业的一门必修课。

B．鸡有三只脚。

C．太阳系以外的星球上有生物。

D．你打算考硕士研究生吗?2、命题公式A与B是等价的，是指（）。

A．A与B有相同的原子变元B．A与B都是可满足的C．当A的真值为真时，B的真值也为真D．A与B有相同的真值3、所有使命题公式P∨(Q∧¬R)为真的赋值为（）。

A．010，100，101，110，111 B．010，100，101，111C．全体赋值D．不存在4、合式公式⌝(P∧Q)→R的主析取范式中含极小项的个数为（）。

A．2 B．3 C．5 D．05、一个公式在等价意义下，下面哪个写法是唯一的（）。

A．析取范式B．合取范式C．主析取范式D．以上答案都不对6、下述公式中是重言式的有（）。

A．(P∧Q) → (P∨Q) B．(P↔Q) ↔ (( P→Q)∧(Q→P))C．⌝(P →Q)∧Q D．P →(P∧Q)7、命题公式(⌝P→Q) →(⌝Q∨P)中极小项的个数为（），成真赋值的个数为（）。

A．0 B．1 C．2 D．38、若公式(P∧Q)∨(⌝P∧R) 的主析取范式为m001∨m011∨m110∨m111则它的主合取范式为（）。

A．m001∧m011∧m110∧m111B．M000∧M010∧M100∧M101C．M001∧M011∧M110∧M111D．m000∧m010∧m100∧m1019、下列公式中正确的等价式是（）。

A．⌝(∃x)A(x) ⇔ (∃x)⌝A(x) B．(∀x) (∀y)A(x, y) ⇔ (∃y) (∀x) A(x, y)C．⌝(∀x)A(x) ⇔ (∃x)⌝A(x) D．(∀x) (A(x) ∧B(x)) ⇔ (∀x) A(x) ∨(∀x) B(x)10、下列等价关系正确的是（）。

A．∀x ( P(x) ∨Q(x) ) ⇔∀x P(x) ∨∀x Q(x) B．∃x ( P(x) ∨Q(x) ) ⇔∃x P(x) ∨∃x Q(x)C．∀x ( P(x) →Q ) ⇔∀x P(x) → Q D．∃x ( P(x) →Q ) ⇔∃x P(x) → Q11、设个体域为整数集，下列真值为真的公式是（）。

成人教育《离散数学》期末考试复习题及参考答案

离散数学复习题二一、简要回答下列问题：1．请给出⌝P，P∧Q，P∨Q的真值表。

2．请给出公式蕴涵的定义。

举一个例子。

3.请给出命题∀xG(x)的真值规定。

4.什么是谓词逻辑公式的解释？5.叙述谓词逻辑公式G与它的Skolem范式之间的区别与联系。

6.什么是图的关联矩阵？7.什么是简单路？举一例。

8.什么是有向树？举一例9.设G为整数加群，H为5的所有倍数组成的加法群，给出H的所有陪集。

二、判断下列公式是恒真？恒假？可满足？a) (P→(Q∧R))∧(⌝P→(⌝Q∧⌝R))；b) P→(P∧(Q→P))；c) (Q→P)∧(⌝P∧Q)；d) (⌝P∨⌝Q)→(P↔⌝Q)。

三、指出下列公式哪些是恒真的哪些是恒假的：(1)P∧（P→ Q）→Q(2)（P→ Q）→（⌝P∨Q）(3)（P→ Q）∧（Q→R）→（P→ R ）(4)（P↔ Q）↔（P∧ Q∨⌝P∧⌝ Q）四、给P和Q指派真值1，给R和S指派真值0，求出下面命题的真值：a) (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))b) (⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)c) (⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))d) (P∨(Q→(R∧⌝P)))↔(Q∨⌝S)五、证明：连通图中任意两条最长的简单路必有公共点。

离散数学复习题二答案一、简要回答下列问题：1．请给出⌝P，P∧Q，P∨Q的真值表。

P Q ⌝P P∧Q P∨Q0 1 1 0 11 0 0 0 11 1 0 1 10 0 1 0 02．请给出公式蕴涵的定义。

举一个例子。

答：设G，H是两个公式，如果解释I满足G，I也满足S，称G蕴涵H。

例如：P∧Q蕴涵P。

3．请给出命题∀xG(x)的真值规定。

答：∀xG(x)取1值⇔对任意x∈D，G(x)都取1值；∀xG(x)取0值⇔有一个x0∈D，使G(x0)取0值。

4．什么是谓词逻辑公式的解释？答：词逻辑中公式G的一个解释I，是由非空区域D和对G中常量符号，函数符号，谓词符号以下列规则进行的一组指定组成：1. 对每个常量符号，指定D中一个元素；2. 对每个n元函数符号，指定一个函数，即指定D n到D的一个映射；3. 对每个n元谓词符号，指定一个谓词，即指定D n到{0，1}的一个映射。

离散数学试题及答案

离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的？A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案：B2. 下列哪个是离散数学的一个应用领域？A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案：A3. 集合A={1, 2, 3}，集合B={2, 3, 4}，则A交B的结果是：A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案：B4. 下列哪个是对于集合的补集运算的正确描述？A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案：B5. 若命题p为真，命题q为假，则命题p→q的真值为：A. 真B. 假C. 不确定D. 无法确定答案：B二、填空题1. 对于命题“如果x是偶数，则x能被2整除”，其逆命题为________________。

答案：如果x不能被2整除，则x不是偶数。

2. 在一个完全图中，如果有12条边，则这个图有__________个顶点。

答案：6个顶点。

3. 设集合A={1, 2, 3, 4}，则A的幂集的元素个数是__________。

答案：2^4=16个元素。

4. 设关系R={(-1, 0), (0, 1), (1, 0)}，则R的逆关系是__________。

答案：R^(-1)={(0, -1), (1, 0), (0, 1)}。

5. 若集合A={1, 2, 3}，集合B={2, 3, 4}，则A的笛卡尔积B是__________。

答案：A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。

三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。

离散数学考试试题及答案

离散数学考试试题及答案一、单项选择题（每题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)。

《离散数学》试卷及答案精选全文完整版

解设谓词Q(x)：x是勤奋的；
H(x)：x是身体健康的；
S(x)：x是科学家
C(x)：x是事业获得成功的人
置换规则。
3、设集合|A|=101，S ,且|S|为奇数，则这样的S有2101/2或2100个。
4、设mi是公式G的的主析取范式中的一个极小项，则mi的对偶式不一定是（填“是”/“不是”/“不一定是” ） G的主合取范式中的一个极大项。
5、由3个元素组成的有限集上所有的等价关系有5个
6、给定解释I如下: (1) Di:={2,3}； (2) a=3； (3) 函数f(x)为f(2)=2，f(3)=3； (4) 谓词：F(x)为F(2):=1,F(3):=0;G(x,y)为当i=j时，G(i,j):=1；当i≠j时，G(i,j):=0；其中i,j=2,3;
ac>0并且cu>0
若u>0,则c>0,a>0,因此有ac>0;
若u<0,则c<0,a<0, 也有ac>0;
因此有（a+bi）R（u+vi）
所以R在C*是传递的。所以R是C*上的等价关系。
2、在一阶逻辑自然推理系统F中，构造下面推理的证明。个体域是人的集合。
“每位科学家都是勤奋的，每个勤奋又身体健康的人在事业中都会获得成功。存在着身体健康的科学家。所以，存在着事业获得成功的人。”（15分）
2.设A={1,2,3…10}，定义A上的二元关系R={<x,y>|x,y∈A∩x+y=10}，试讨论R关于关系的五个方面的性质并说明理由（5分）
解答：R={<1,9>,<9,1>,<2,8>,<8, 2 >,<3,7>,<7,3>,<4,6>,<6, 4 >,<5, 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’）1、下列语句中不是命题的有（）。

A．离散数学是计算机专业的一门必修课。

B．鸡有三只脚。

C．太阳系以外的星球上有生物。

D．你打算考硕士研究生吗?2、命题公式A与B是等价的，是指（）。

A．A与B有相同的原子变元B．A与B都是可满足的C．当A的真值为真时，B的真值也为真D．A与B有相同的真值3、所有使命题公式P∨(Q∧¬R)为真的赋值为（）。

A．010，100，101，110，111 B．010，100，101，111C．全体赋值D．不存在4、合式公式⌝(P∧Q)→R的主析取范式中含极小项的个数为（）。

A．2 B．3 C．5 D．05、一个公式在等价意义下，下面哪个写法是唯一的（）。

A．析取范式B．合取范式C．主析取范式D．以上答案都不对6、下述公式中是重言式的有（）。

A．0 B．1 C．2 D．38、若公式(P∧Q)∨(⌝P∧R) 的主析取范式为m001∨m011∨m110∨m111则它的主合取范式为（）。

A．m001∧m011∧m110∧m111B．M000∧M010∧M100∧M101C．M001∧M011∧M110∧M111D．m000∧m010∧m100∧m1019、下列公式中正确的等价式是（）。