大学本科高等数学《离散数学》试题及答案

离散数学试题及答案一、选择题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}。

离散数学试题及答案一、选择题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)}。

数理逻辑习题判断题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. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。

B. 有向图中的边无方向性，无向图中的边有方向性。

C. 无向图和有向图都是由顶点和边组成的。

D. 无向图和有向图都只由边组成。

答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。

B. 若集合A和B相交为空集，则A和B相等。

C. 若集合A和B相等，则A和B互相包含。

D. 若集合A和B相等，则A和B相交为空集。

答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。

答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。

答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。

答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。

答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。

答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。

证明过程：假设A和B互相包含，即A包含于B且B包含于A。

设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。

同理，对于集合B中的任意元素y，y也属于集合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，都可以通过图中的边相互到达。

专升本《离散数学》一、 (共75题,共150分)1、集合,则( ) (2分)A 、B 、C 、D 、标准答案:B2、集合,则下列哪个不就是的元素( ) (2分)A 、B 、C 、D 、标准答案:B3、设,在条件且下与( )集合相等。

(2分)A 、或B 、或C 、,或D 、,或标准答案:C4、集合上的关系,则就是( ) (2分)A、自反的B、对称的C、传递且对称的D、反自反且传递的标准答案:B5、集合,下列不就是到的关系的就是( ) (2分)A 、B 、C 、D 、标准答案:A6、,表示求两数的最小公倍数的运算(表示整数集合),对于运算的零元就是( ) (2分)A 、B 、C 、D、不存在标准答案:D 7、下面各集合都就是的子集,( )集合在普通加法运算下就是封闭的。

(2分)A 、B 、C 、D 、标准答案:A8、设集合,“”为整除关系,则代数系统( ) (2分)A、就是域B、就是格,不就是布尔代数C、就是布尔代数D、不就是代数系统标准答案:C9、在( )中,补元就是唯一的。

(2分)A、有界格B、有补格C、分配格D、有补分配格。

标准答案:D10、下列语句中,真命题的就是( ) (2分)A、请把门关上B 、就是素数C 、D、太阳从西边升起标准答案:B11、就是自然数集,就是小于等于关系,则就是( )。

(2分)A、有界格B、有补格C、分配格D、有补分配格标准答案:C12、下列函数中,( )就是双射 (2分)A 、B 、(除以的余数)C 、D 、标准答案:D13、设为集合,,在上有( )种不同的关系。

(2分)A 、B 、C 、D 、标准答案:D14、设就是个结点、条边与个面的连通平面图,则等于( )。

(2分)A 、B 、C 、D 、标准答案:A15、对于独异点,则下列说法正确的就是( ) (2分)A 、不一定有单位元B 、满足交换律C 、一定就是半群D、独异点就就是群标准答案:C16、群中,当( )时,该群一定就是循环群。

离散数学一、填空题(本大题共48分，共16小题，每小题3分)1.--公式为之充分必要条件是其合取范式之每一合取项中均必同时包含一命题变元及其否定2.无向图G具有是生成树，当且仅当的，若G为(n,m)连通图，要确定G的一棵生成树必删掉G的条边。

3.一个无向图的欧拉回路要求经过图中一次且仅一次，汉密顿图要求经过图中一次且仅一次。

4.设P：我生病，Q：我去学校(1)命题“我虽然生病但我仍去学校”符号化为o (2)命题“只有生病的时候，我才不去学校”符号化为o (3)命题"如果我生病，那么我不去学校”符号化为o5.设有33盏灯，拟公用一个电源，则至少需要5个插头的接线板数6.若HlAH2A-AHn是 ,则称Hl, H2, -Hn是相容的，若HlAH2A-AHn是 ,则称H1.H2, -Hn是不相容的7.设f,g,h 是N 到N上的函数(N 为自然数集合),f(n)=n+l;g(n)=2n;h(n)=0；贝lj(fdg)oh=8.K5的点连通度为 ,边连通度为o9.A={1, 2, 3, 4, 5, 6, 8, 10, 24, 36}, R 是A 上的整除关系。

子B={1, 2, 3, 4},那么B的上界是； B的下界是；：6的上确界是; B的下确界为10.命题公式P-*QAR的对偶式为11.设入={1, {2}, <t>},则A的幕集有元素个。

12.设A={0, 1,2, 3}, B={4,6, 7}, C={8, 9, 12, 14}, R1 是由A 到B 的关系,R2 是由B到C原关系，分别定义为Rl={<2, 6>, <3, 4>, <0, 7>} ;R2={<4, 8>, <4, 12>, <6, 12>,〈7, 14〉},则复合关系RloR2 为：13.设A= {<i)}, B={<t>, (<!>}},贝i]P(A) nP(B)= 。

大学《离散数学》期末考试试卷及答案(1)一、选择题1. 离散数学的主要研究对象是（）。

A. 连续的数学结构B. 有限的数学结构C. 数学的综合应用D. 数学的哲学思考2. 命题逻辑是离散数学的一个重要组成部分，它主要研究（）。

A. 命题之间的真假关系B. 变量之间的关系C. 函数之间的关系D. 集合之间的关系3. 集合的基本运算包括（）。

A. 并、交、差、补B. 加、减、乘、除C. 包含、相等、不等、自反D. 大于、小于、等于、不等于二、填空题1. 若集合A={m|2m-1>3}，则A中的元素为______。

2. 有一个集合A={1，2，3}，则集合A的幂集为______。

3. 若命题p为真，命题q为假，则复合命题“p∧q”的真值为______。

三、解答题1. 请写出离散数学中常用的数学符号及其含义。

2. 请解释命题逻辑中的充分必要条件及其符号表示，并给出一个例子。

3. 请定义集合的笛卡尔积，并给出两个集合进行笛卡尔积运算的例子。

四、问答题1. 离散数学在计算机科学中有着重要的应用，请列举三个与计算机科学相关的离散数学应用领域并简要介绍。

2. 请简要解释归纳法在离散数学中的作用，并给出一个使用归纳法证明的例子。

3. 什么是有向图？请给出一个有向图的例子，并解释该图中的关系。

参考答案：一、选择题1. B2. A3. A二、填空题1. A={m|2m-1>3}2. {{}, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}3. 假三、解答题1. 常用数学符号及含义：- ∪：并，表示集合的合并操作。

- ∩：交，表示集合的交集操作。

- ∖：差，表示减去一个集合中的元素。

- ⊆：包含，表示一个集合包含于另一个集合。

- =：相等，表示两个集合具有相同的元素。

2. 充分必要条件是指一个命题的成立与另一个命题的成立互为必要条件，若A是B的充分必要条件，那么当A成立时B一定成立，且当A不成立时B也一定不成立。

离散数学考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，下列哪个符号表示属于关系？A. ∈B. ∉C. ⊆D. ∩答案：A2. 对于命题逻辑，下列哪个是真值表的表示方法？A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案：A3. 以下哪个是图论中的基本单位？A. 点B. 线C. 面D. 体答案：A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是：A. 0C. 4D. 6答案：C5. 在关系数据库中，以下哪个操作用于删除表中的记录？A. SELECTB. INSERTC. UPDATED. DELETE答案：D6. 以下哪个是离散数学中的归纳法证明方法？A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案：C7. 在逻辑中，以下哪个是析取命题？A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案：B8. 以下哪个是图的遍历算法？B. BFSC. Dijkstra算法D. Floyd算法答案：B9. 在集合{1, 2, 3}上，以下哪个是幂集？A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案：D10. 以下哪个是递归算法的特点？A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案：D二、填空题（每空2分，共20分）1. 在离散数学中，_________ 表示一个命题的否定。

答案：¬P2. 如果集合A和集合B的交集为空集，那么A和B被称为_________。

答案：不相交3. 一个函数f: A → B是_________，如果对于集合B中的每个元素b，集合A中至少有一个元素a与之对应。

答案：满射4. 在图论中，一个没有环的连通图被称为_________。

答案：树5. 一个命题逻辑公式是_________，如果它在所有可能的真值分配下都是真的。

答案：重言式6. 一个关系R在集合A上是_________，如果对于A中的任意两个元素a和b，如果(a, b)属于R，则(b, a)也属于R。

离散数学考试试题及答案一、选择题1. 在一个聚会中，有9名男生和11名女生。

问这些学生中，至少有一个女朋友的学生人数的奇偶性是怎样的？答案：奇数2. 设A、B、C是三个命题。

已知命题A为真，命题B为假，命题C为真，则下列命题中，一定为假的是：A) A → (B ∨ C)B) (A → C) ∨ BC) (A ∧ B) ∨ CD) A ↔ (B ∧ C)答案：D) A ↔ (B ∧ C)3. 设集合A={x | -3 < x ≤ 2}，集合B={y | -4 ≤ y < 3}，则下列集合中，既是A的子集又是B的子集的集合是：A) {-2, -1, 0, 1, 2}B) {-3, -2, -1, 0, 1, 2}C) {-4, -3, -2, -1, 0, 1, 2}D) {-4, -3, -2, -1, 0, 1, 2, 3}答案：B) {-3, -2, -1, 0, 1, 2}4. 设A={1, 2, 3, 4}，B={3, 4, 5, 6}，C={4, 5, 6, 7}，则(A ∪ B) ∩ C等于：A) {1, 2, 3, 4, 5, 6}B) {3, 4, 5, 6}C) {4}D) {4, 5, 6}答案：C) {4}二、填空题1. 一个完全图有9条边，则该完全图的顶点数为________。

答案：52. 若一个集合有n个元素，则该集合的幂集的元素个数为________。

答案：2^n3. 设a是整数，若3a-5能被4整除，则a的一个可能的取值是________。

答案：24. 设n为正整数，若C(n, 3) = 1，则n的值为________。

答案：4三、解答题1. 证明：设A、B、C为三个集合，要证明A ∩ (B ∪ C) = (A ∩ B)∪ (A ∩ C)。

解答：对于任意元素x，若x ∈ A ∩ (B ∪ C)，则x ∈ A 且 x ∈ (B∪ C)。

根据集合的交和并的定义，可得x ∈ A 且 (x ∈ B 或 x ∈ C)。

《离散数学》题库与答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( A )(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）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z（考察定义在公式∀x A和∃x A中，称x为指导变元，A为量词的辖域。

在∀x A和∃x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y，x)和∃z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元）5、判断下列语句是不是命题。

若是，给出命题的真值。

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

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

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

(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是（命题必须满足是陈述句，不能是疑问句或者祈使句。

）6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。

离散数学试题及答案一、选择题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}的并集。

一、填空题:(每空1分，本大题共15分）1．给定命题公式A 、B ，若 ，则称A 和B 是逻辑相等的。

2．命题公式)(Q P →⌝的主析取范式为 ，主合取范式的编码表示为 。

3．设E 为全集， ,称为A 的绝对补，记作～A ，且～（～A ）= ，～E = ，～Φ= 。

4．设},,{c b a A =考虑下列子集}},{},,{{1c b b a S =，}},{},,{},{{2c a b a a S =，}},{},{{3c b a S =,}},,{{4c b a S =}}{},{},{{5c b a S =，}},{},{{6c a a S =则A 的覆盖有 ，A 的划分有 。

5．设S 是非空有限集，代数系统＜（S ），，＞中，（S)对的幺元为 ，零元为 。

（S ）对的幺元为 ，零元为 .6．若>=<E V G ,为汉密尔顿图，则对于结点集V 的每个非空子集S ，均有W(G-S) S 成立，其中W （G —S)是 。

二、单项选择题：（每小题1分，本大题共10分)1．下面命题公式（ )不是重言式。

A 、)(Q P Q ∨→；B 、P Q P →∧)(；C 、)()(Q P Q P ∨⌝∧⌝∧⌝;D 、)()(Q P Q P ∨⌝↔→。

2．命题“没有不犯错误的人”符号化为( ）。

设x x M ：)(是人，x x P ：)(犯错误。

A 、))()((x P x M x ∧∀; B 、)))()(((x P x M x ⌝→∃⌝；C 、)))()(((x P x M x ∧∃⌝；D 、)))()(((x P x M x ⌝∧∃⌝。

3．设}{Φ=A ，B =((A ））,下列各式中哪个是错误的（ ）。

A 、B ⊆Φ; B 、B ⊆Φ}{，C 、B ∈Φ}}{{；D 、⊆ΦΦ}}{,{(A ）。

4．对自然数集合N ，哪种运算不是可结合的，运算定义为任N b a ∈,（ ）.A 、),min(b a b a =*;B 、b a b a 2+=*;C 、3++=*b a b a ；D 、)3(mod ,b a b a =*。

离散数学考试试题及答案一、单项选择题（每题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分，共20分）1. 集合A={x|x<5}，集合B={x|x>2}，则A∩B为：A. {x|x>2}B. {x|x<2}C. {x|2<x<5}D. {x|x≥5}2. 命题p："x>0"是命题q："x^2>0"的：A. 必要条件B. 充分条件C. 充分必要条件D. 无关条件3. 函数f(x)=x^2+3x-2的值域是：A. (-∞, -1]B. [1, +∞)C. (-∞, 4]D. (-∞, 2]4. 逻辑表达式((P∨Q)∧(¬P))的真值表中，当P为真时，表达式的值为：A. 真B. 假C. 不确定D. 无法判断5. 已知二元关系R定义在集合A上，若对于任意a,b,c∈A，若aRb且bRc，则aRc，那么R是：A. 自反的B. 对称的C. 传递的D. 完全的6. 有限状态自动机（DFA）与确定有限状态自动机（DFA）的区别在于：A. DFA可以识别非正则语言B. DFA可以有多个起始状态C. DFA可以有多个接受状态D. DFA可以有多个状态7. 命题逻辑中，若命题P的否定为P'，则P和P'的关系是：A. 互为对立B. 互为矛盾C. 互为等价D. 互为同一律8. 集合{1,2,3}的子集个数是：A. 3B. 4C. 7D. 89. 一个命题逻辑公式的真值表中，若存在一行结果为假，则该公式：A. 总是假B. 有时真，有时假C. 总是真D. 无法判断10. 布尔代数中，逻辑与（AND）操作的特点是：A. 有0则0B. 有1则1C. 非0即1D. 非1即0二、简答题（每题5分，共10分）1. 简述集合论中的幂集概念。

2. 描述图的邻接矩阵表示方法。

三、计算题（每题10分，共30分）1. 证明函数f(x)=x^3-3x^2+2x-1在R上是单调递增的。

离散数学本科试题及答案一、选择题（每题5分，共20分）1. 在集合论中，空集的定义是：A. 包含所有集合的集合B. 不包含任何元素的集合C. 包含所有非空集合的集合D. 包含所有有限集合的集合答案：B2. 在逻辑运算中，非运算的符号是：A. ∧B. ∨C. ¬D. →答案：C3. 以下哪个选项是图的邻接矩阵表示法？A. 邻接表B. 顶点列表C. 边列表D. 所有选项都是答案：A4. 以下哪个命题是真命题？A. 所有的偶数都是整数B. 所有的整数都是偶数C. 所有的奇数都是整数D. 所有的整数都是奇数答案：A二、填空题（每题5分，共20分）1. 在布尔代数中，逻辑与运算的符号是________。

答案：∧2. 如果一个图是无向图且任意两个顶点都相连，则称这个图是________。

答案：完全图3. 在关系数据库中，关系模式的属性名集合称为________。

答案：关系模式4. 一个命题的逆否命题与其原命题的________是相同的。

答案：真假性三、简答题（每题10分，共30分）1. 描述什么是二元关系，并举例说明。

答案：二元关系是定义在两个集合上的一个关系，它由有序对组成，每个有序对的第一个元素来自第一个集合，第二个元素来自第二个集合。

例如，小于关系是实数集上的一个二元关系，因为对于任意两个实数a和b，如果a小于b，那么有序对(a, b)属于这个关系。

2. 解释什么是图的哈密顿回路，并给出一个例子。

答案：图的哈密顿回路是一条通过图中每个顶点恰好一次的闭合路径。

例如，在一个五边形的顶点上，可以画出一条哈密顿回路，即从任一顶点出发，依次经过其他顶点，最后回到起始顶点。

3. 什么是正规文法？请给出一个例子。

答案：正规文法是一种形式文法，它能够生成正规集合，即可以被有限自动机接受的字符串集合。

例如，正规文法可以定义为：S -> aSb| ε，其中S是开始符号，a和b是字母，ε表示空字符串。

这个文法生成的字符串集合是所有长度为偶数的字符串，其中a和b交替出现。

离散数学考试试题及答案一、选择题（每题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. 简述命题逻辑中的等价命题是什么？答案：等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。

《离散数学》试题及答案一、选择题：本题共5小题，每小题3分，共15分，在每小题给出的四个选项中，只有一项是符合题目要求的。

1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2．设P 表示“天下大雨”， Q 表示“他在室内运动”，则命题“除非天下大雨，否则他不在室内运动”符号化为（ ）。

(A)． P Q →； (B)．P Q ∧； (C)．P Q ⌝→⌝； (D)．P Q ⌝∨．3.设集合A ={{1,2,3}, {4,5}, {6,7,8}}，则下式为真的是( )(A) 1∈A (B) {1,2, 3}⊆A(C) {{4,5}}⊂A (D) ∅∈A4. 设A ＝{1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B ⋂C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>}5. 设G 如右图：那么G 不是( ). (A)哈密顿图； (B)完全图；(C)欧拉图； (D) 平面图.二、填空题：本大题共5小题，每小题4分，共206. 设集合A ={∅,{a }}，则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R ＝},,2,{B y A x x y y x ∈∈=><,那么R －1＝8. 在“同学，老乡，亲戚，朋友”四个关系中_______是等价关系.9. 写出一个不含“→”的逻辑联结词的完备集 .10.设X ＝{a ,b ,c }，R 是X 上的二元关系，其关系矩阵为 M R ＝⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101，那么R 的关系图为三、证明题（共30分）11. （10分）已知A 、B 、C 是三个集合，证明A ∩(B ∪C)=(A ∩B)∪(A ∩C)12. （10分）构造证明：(P →(Q →S))∧(⌝R ∨P)∧Q ⇒R →S13.（10分）证明（0,1）与[0,1)，[0,1)与[0,1]等势。