离散数学复习题及标准答案
离散数学复习题含答案
离散数学复习题含答案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. 设A、B、C为三个集合，下列哪个式子是成立的？A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案：B2. 对于一个有n个元素的集合S，S的幂集中包含多少个元素？A) \(n\)B) \(2^n\)C) \(2 \times n\)答案：B二、判断题1. 对于两个关系R和S，若S是自反的，则R ∩ S也是自反的。
答案：错误2. 若一个关系R是反对称的，则R一定是反自反的。
答案：正确三、填空题1. 有一个集合A，其中包含元素1、2、3、4和5，求集合A的幂集的大小。
答案：322. 设a和b是实数，若a \(\neq\) b，则a和b之间的关系是\(\__\_\)关系。
答案：不等四、解答题1. 证明：如果关系R是自反且传递的，则R一定是反自反的。
解答：假设关系R是自反的且传递的，即对于集合A中的任意元素x，都有(x, x) ∈ R，并且当(x, y) ∈ R和(y, z) ∈ R时，(x, z) ∈ R。
反证法：假设R不是反自反的，即存在一个元素a∈A，使得(a, a) ∉ R。
由于R是自反的，所以(a, a) ∈ R，与假设矛盾。
因此，R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3}，集合B={2, 3, 4}，求集合A和B的笛卡尔积。
解答：集合A和B的笛卡尔积定义为{(a, b) | a∈A，b∈B}。
所以，集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
离散数学考试题及答案
离散数学考试题及答案一、单项选择题（每题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}。
(完整版)离散数学题目及答案
数理逻辑习题判断题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条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死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是负数”的否定是（）。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化（共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、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1. 写出命题公式 ﹁（P →（P ∨ Q)）的真值表。
答案：
2.证明 答案:
3. 证明以下蕴涵关系成立： 答案：
４. 写出下列式子的主析取范式: 答案：
)()(Q P Q P Q P ⌝∧⌝∨∧⇔↔Q)P (Q)(P P)(Q P)P (Q)(Q Q)P (P)Q)P ((Q)Q)P (P)
Q (Q)P (Q P ⌝∧⌝∨∧⇔∧∨∧⌝∨⌝∧∨⌝∧⌝⇔∧∨⌝∨⌝∧∨⌝⇔∨⌝∧∨⌝⇔↔Q Q P P ⇒∨∧⌝)()()(R P Q P ∨∧∧⌝
5． 构造下列推理的论证:p ∨q, ｐ→⌝r ， s →t, ⌝s →ｒ， ⌝t ⇒ ｑ
答案:
①s →ｔ 前提
②t 前提
③ｓ ①②拒取式I12
④s →ｒ 前提
⑤ｒ ③④假言推理I １１ ⑥p →r 前提
⑦p ⑤⑥拒取式I12
⑧p ∨q 前提
⑨q ⑦⑧析取三段论Ｉ10
6. 用反证法证明:ｐ→(⌝(r ∧s ）→⌝q ）, p, ⌝s ⇒ ⌝q )
()(R P Q P ∨∧∧⌝)
()(R P Q P ∨∧⌝∨⌝⇔)
)(())(R Q P P Q P ∧⌝∨⌝∨∧⌝∨⌝⇔)
()()()(R Q R P P Q P P ∧⌝∨∧⌝∨∧⌝∨∧⌝⇔)
()()(Q R P R P Q R P Q ∧∧⌝∨⌝∧∧⌝∨∧∧⌝⇔)
()()(P R Q P R Q Q R P ⌝∧∧⌝∨∧∧⌝∨⌝∧∧⌝∨)
()()(Q R P R P Q R P Q ∧∧⌝∨⌝∧∧⌝∨∧∧⌝⇔)
(Q R P ⌝∧∧⌝∨
７. 请将下列命题符号化：
所有鱼都生活在水中。
答案：
令 F （ x )：ｘ是鱼 Ｗ（ x )：x 生活在水中
))((W(x)F(x)x →∀
8． 请将下列命题符号化:
存在着不是有理数的实数。
答案:
令 Q ( ｘ ):x 是有理数 R （ x )：x 是实数
Q(x))x)(R(x)(⌝∧∃
9. 请将下列命题符号化：
尽管有人聪明，但并非一切人都聪明。
答案：
令Ｍ(ｘ)：x 是人 Ｃ（x):x 是聪明的 则上述命题符号化为
１０. 请将下列命题符号化：
对于所有的正实数x,y ，都有x+y ≥ｘ。
答案:
令P(x):x 是正实数 Ｓ（ｘ,y): x+y ≥x
１１． 请将下列命题符号化：
每个人都要参加一些课外活动。
答案:
令P(x ）:x 是人 Q （ｙ）: y 是课外活动 S(ｘ,ｙ）:ｘ参加y
)))
()((())()((x C x M x x C x M x →⌝∀∧∧∃))
,()()((y x S y P x P y x →∧∀∀))(),()((y Q y x S x P y x ∧→∃∀。