《离散数学》试题及标准答案
《离散数学》试题及答案
![《离散数学》试题及答案](https://img.taocdn.com/s3/m/572a464a7275a417866fb84ae45c3b3567ecddd5.png)
《离散数学》试题及答案一、选择题(每题5分,共25分)1. 设集合A={1,2,3,4,5},B={2,4,6,8,10},则A∩B的结果是()A. {1,2,3,4,5}B. {2,4}C. {1,3,5}D. {1,2,3,4,5,6,8,10}答案:B2. 下列关系中,哪个是等价关系?()A. ≤B. ≠C. |D. ≠答案:A3. 设图G有5个顶点,每两个顶点之间都有一条边相连,则图G的边数是()A. 5B. 10C. 15D. 20答案:C4. 下列哪一个图是欧拉图?()A. 无向图B. 有向图C. 树D. 环答案:D5. 下列哪一个命题是正确的?()A. 若p→q为真,则p为真B. 若p∧q为假,则p为假C. 若p∨q为真,则q为真D. 若p→q为假,则p为假答案:B二、填空题(每题5分,共25分)1. 设集合A={a,b,c,d},B={c,d,e},则A-B=________。
答案:{a,b}2. 设p是命题“今天是晴天”,q是命题“我去公园玩”,则命题“如果今天不是晴天,那么我不去公园玩”可以表示为________。
答案:¬p→¬q3. 设图G有n个顶点,e条边,则图G的度数之和为________。
答案:2e4. 一个连通图至少有________个顶点。
答案:25. 设图G的邻接矩阵为A,则A的转置矩阵表示________。
答案:图G的转置图三、判断题(每题5分,共25分)1. 离散数学是研究离散结构的数学分支。
()答案:正确2. 两个集合的笛卡尔积是这两个集合的直积。
()答案:正确3. 有向图中,顶点u和顶点v之间的长度为2的路径是指路径上有3条边。
()答案:错误4. 树是一种无向图。
()答案:正确5. 哈夫曼编码是一种贪心算法。
()答案:正确四、应用题(每题25分,共50分)1. 设集合A={1,2,3,4,5},B={2,4,6,8,10},C={3,6,9,12,15},求A∪(B∩C)。
离散数学试题及答案
![离散数学试题及答案](https://img.taocdn.com/s3/m/a43c71454b7302768e9951e79b89680202d86b45.png)
离散数学试题及答案一、选择题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)}。
离散数学考试题及答案
![离散数学考试题及答案](https://img.taocdn.com/s3/m/8cdab6565b8102d276a20029bd64783e08127d70.png)
离散数学考试题及答案一、单项选择题(每题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}。
离散数学试题总汇及答案
![离散数学试题总汇及答案](https://img.taocdn.com/s3/m/9f8953e4e43a580216fc700abb68a98271feacab.png)
离散数学试题总汇及答案一、单项选择题(每题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,则______。
《离散数学》题库及答案
![《离散数学》题库及答案](https://img.taocdn.com/s3/m/2031c4fcd0f34693daef5ef7ba0d4a7303766c64.png)
《离散数学》题库及答案一、选择或填空(数理逻辑部分)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是负数”的否定是()。
最新离散数学试题及答案
![最新离散数学试题及答案](https://img.taocdn.com/s3/m/ad87f25deef9aef8941ea76e58fafab068dc445a.png)
最新离散数学试题及答案一、选择题(每题2分,共20分)1. 在离散数学中,以下哪个不是命题逻辑的基本联结词?A. 与(∧)B. 或(∨)C. 非(¬)D. 模(%)答案:D2. 以下哪个选项不是命题逻辑的真值表的正确形式?A. P | Q | P ∧ QB. P | Q | P ∨ QC. P | Q | P → QD. P | Q | P ↔ Q答案:B3. 集合A={1, 2, 3},集合B={2, 3, 4},求A∪B的结果。
A. {1, 2, 3}B. {2, 3}C. {1, 2, 3, 4}D. {4}答案:C4. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 传递性D. 所有选项都是答案:D5. 以下哪个是图论中的基本概念?A. 顶点B. 边C. 路径D. 所有选项都是答案:D6. 在有向图中,如果存在一条从顶点u到顶点v的有向路径,那么称v为u的后继。
以下哪个选项不是后继的定义?A. 存在一条从u到v的有向路径B. 存在一条从v到u的有向路径C. 存在一条从u到v的有向简单路径D. 存在一条从v到u的有向简单路径答案:B7. 以下哪个是二元关系R的自反性的定义?A. 对于所有a,(a, a) ∈ RB. 对于所有a,(a, a) ∉ RC. 对于所有a和b,如果(a, b) ∈ R,则(b, a) ∈ RD. 对于所有a和b,如果(a, b) ∈ R,则(a, a) ∈ R答案:A8. 在命题逻辑中,以下哪个是德摩根定律的表达式?A. ¬(P ∧ Q) ↔¬P ∨ ¬QB. ¬(P ∨ Q) ↔¬P ∧ ¬QC. P ∧ Q ↔¬P ∨ ¬QD. P ∨ Q ↔¬P ∧ ¬Q答案:B9. 以下哪个是集合的幂集?A. 包含集合本身的所有子集的集合B. 包含集合本身的所有超集的集合C. 包含集合本身的所有真子集的集合D. 包含集合本身的所有非空子集的集合答案:A10. 在图论中,以下哪个是强连通性的图?A. 任意两个顶点之间都存在有向路径B. 任意两个顶点之间都存在无向路径C. 任意两个顶点之间都存在有向简单路径D. 任意两个顶点之间都存在无向简单路径答案:C二、填空题(每空1分,共10分)11. 命题逻辑中的“与”操作可以用符号________表示。
离散数学复习题及答案
![离散数学复习题及答案](https://img.taocdn.com/s3/m/efa8571ca517866fb84ae45c3b3567ec102ddcbf.png)
离散数学复习题及答案1. 命题逻辑中,若命题P和Q都是真命题,那么命题“P或Q”的真值是什么?答案:真2. 在集合论中,空集的表示符号是什么?答案:∅3. 什么是二元关系?答案:二元关系是指从集合A到集合B的笛卡尔积A×B的一个子集。
4. 什么是图的邻接矩阵?答案:图的邻接矩阵是一个方阵,其行和列分别代表图中的顶点,矩阵中的元素表示顶点之间的边的存在与否。
5. 什么是有向图?答案:有向图是一种图,其中的边有方向,即从一个顶点指向另一个顶点。
6. 什么是无环图?答案:无环图是一种不包含任何环的图。
7. 什么是完全图?答案:完全图是一种图,其中每一对不同的顶点之间都恰好有一条边相连。
8. 什么是二分图?答案:二分图是一种图,其顶点可以被分成两个不相交的集合,使得每条边的两个端点分别属于这两个集合。
9. 什么是图的连通性?答案:图的连通性是指图中任意两个顶点之间是否存在路径。
10. 什么是图的强连通性?答案:图的强连通性是指图中每个顶点都可以通过有向路径到达其他任何顶点。
11. 什么是图的欧拉路径?答案:图的欧拉路径是一条经过图中每条边恰好一次的路径。
12. 什么是图的哈密顿路径?答案:图的哈密顿路径是一条经过图中每个顶点恰好一次的路径。
13. 什么是归纳推理?答案:归纳推理是一种从特殊到一般的推理方法,即从个别事实或实例中推导出一般性结论。
14. 什么是演绎推理?答案:演绎推理是一种从一般到特殊的推理方法,即从一般性前提出发,通过逻辑推导出特殊性结论。
15. 什么是归纳证明?答案:归纳证明是一种数学证明方法,通常用于证明与自然数有关的命题,其基本思想是证明对于所有自然数都成立的命题。
16. 什么是递归?答案:递归是一种在函数定义中调用自身的方法,用于解决可以分解为相似子问题的问题。
17. 什么是分治算法?答案:分治算法是一种算法设计范式,它将一个复杂的问题分解成若干个相同或相似的子问题,递归地解决子问题,然后将子问题的解合并以解决原问题。
离散数学考试题及答案
![离散数学考试题及答案](https://img.taocdn.com/s3/m/5e9c61a0900ef12d2af90242a8956bec0975a52c.png)
离散数学考试题及答案一、选择题(每题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},请计算它的幂集,并列出所有元素。
自考离散数学试题及答案
![自考离散数学试题及答案](https://img.taocdn.com/s3/m/e5f87a702e60ddccda38376baf1ffc4ffe47e2ad.png)
自考离散数学试题及答案一、选择题(每题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)的结果是_________。
离散数学考试题目及答案
![离散数学考试题目及答案](https://img.taocdn.com/s3/m/c156cb60bfd5b9f3f90f76c66137ee06eff94efd.png)
离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。
答案:命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。
若命题P和Q等价,则记作P⇔Q。
蕴含关系是指如果命题P为真,则命题Q也为真,但Q为真时P不一定为真。
若命题P蕴含Q,则记作P→Q。
2. 证明:若集合A和B的交集非空,则它们的并集包含A和B。
答案:设x属于A∩B,即x同时属于A和B。
根据并集的定义,若元素属于A或B,则它属于A∪B。
因此,x属于A∪B。
由于x是任意属于A∩B的元素,所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素,即A∪B包含A和B。
3. 给定一个有向图G,如何判断G中是否存在环?答案:判断有向图G中是否存在环,可以采用深度优先搜索(DFS)算法。
在DFS过程中,记录每个顶点的访问状态,如果遇到一个已访问过的顶点,且该顶点不是当前路径的直接前驱,则表示存在环。
4. 描述有限自动机的组成部分及其功能。
答案:有限自动机由以下几部分组成:输入字母表、状态集合、转移函数、初始状态和接受状态集合。
输入字母表定义了自动机可以接收的符号集合;状态集合包含了自动机所有可能的状态;转移函数定义了在给定输入符号和当前状态的情况下,自动机如何转移到下一个状态;初始状态是自动机开始工作时的状态;接受状态集合包含了所有使自动机接受输入字符串的状态。
5. 什么是图的连通分量?如何确定一个无向图的连通分量?答案:图的连通分量是指图中最大的连通子图。
在一个无向图中,如果两个顶点之间存在路径,则称这两个顶点是连通的。
确定无向图的连通分量可以通过深度优先搜索(DFS)或广度优先搜索(BFS)算法。
从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。
重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。
离散数学试题及答案解析
![离散数学试题及答案解析](https://img.taocdn.com/s3/m/c0153382ac51f01dc281e53a580216fc700a539f.png)
离散数学试题及答案解析一、选择题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,都可以通过图中的边相互到达。
离散数学考试题目及答案
![离散数学考试题目及答案](https://img.taocdn.com/s3/m/445c953a302b3169a45177232f60ddccda38e6a1.png)
离散数学考试题目及答案一、单项选择题(每题2分,共20分)1. 集合A={1,2,3},集合B={3,4,5},则A∩B的元素个数为:A. 0B. 1C. 2D. 3答案:B2. 函数f: X→Y是一个双射,当且仅当:A. f是单射且满射B. f是单射C. f是满射D. f是双射答案:A3. 命题p: "x是偶数",命题q: "x是3的倍数",下列逻辑运算中,表示"x是6的倍数"的是:A. p∧qB. p∨qC. ¬p∧¬qD. ¬p∨¬q答案:A4. 有向图G中,若存在从顶点u到顶点v的有向路径,则称顶点u可达顶点v。
若G中任意两个顶点都相互可达,则称G为:A. 强连通图B. 弱连通图C. 无向图D. 有向无环图答案:A5. 在二进制数系统中,下列哪个数的值最大?A. 1010B. 1100C. 1110D. 1101答案:C6. 布尔代数中,逻辑或运算符表示为:A. ∧B. ∨C. ¬D. →答案:B7. 有限自动机中,状态q0是初始状态,状态q1是接受状态。
若存在从q0到q1的ε-转移,则该自动机:A. 仅在输入为空时接受B. 仅在输入非空时接受C. 无论输入为何都接受D. 无法确定是否接受答案:C8. 命题逻辑中,若命题p和q都为真,则p∧q的真值是:A. 真B. 假C. 可能为真,也可能为假D. 无法确定答案:A9. 集合{1,2,3}的子集个数为:A. 4B. 6C. 7D. 8答案:D10. 若关系R在集合A上是自反的,则对于A中的任意元素a,有:A. (a,a)∈RB. (a,a)∉RC. (a,a)是R的自反对D. (a,a)不是R的自反对答案:A二、填空题(每题3分,共15分)1. 集合A={1,2,3}的幂集包含__个元素。
答案:82. 若函数f: X→Y是满射,则对于Y中的任意元素y,至少存在X中的一个元素x,使得f(x)=__。
离散数学考试题及答案
![离散数学考试题及答案](https://img.taocdn.com/s3/m/a992370d9a6648d7c1c708a1284ac850ad0204fa.png)
离散数学考试题及答案一、单项选择题(每题2分,共20分)1. 在集合论中,空集是指()。
A. 包含所有集合的集合B. 不包含任何元素的集合C. 包含所有非空集合的集合D. 包含所有有限集合的集合答案:B2. 以下哪个命题是真命题?()A. 所有的马都是动物B. 所有的动物都是马C. 所有的马都不是动物D. 所有的动物都不是马答案:A3. 如果A和B是两个集合,那么A∩B表示()。
A. A和B的并集B. A和B的交集C. A和B的差集D. A和B的补集答案:B4. 逻辑运算符“与”用符号表示为()。
A. ∧B. ∨C. ¬D. →答案:A5. 命题“如果今天下雨,那么地面湿”的逆否命题是()。
A. 如果今天不下雨,那么地面不湿B. 如果今天下雨,那么地面湿C. 如果地面不湿,那么今天不下雨D. 如果地面湿,那么今天下雨答案:C6. 有限集合的基数是指()。
A. 集合中元素的个数B. 集合中元素的类型C. 集合中元素的属性D. 集合中元素的值答案:A7. 以下哪个是二元关系R在集合A上的自反性质?()A. 对于所有a∈A,(a, a)∈RB. 对于所有a∈A,(a, a)∉RC. 对于所有a∈A,(a, b)∈RD. 对于所有a∈A,(b, a)∈R答案:A8. 以下哪个是二元关系R在集合A上的对称性质?()A. 对于所有a, b∈A,如果(a, b)∈R,则(b, a)∈RB. 对于所有a, b∈A,如果(a, b)∈R,则(b, a)∉RC. 对于所有a, b∈A,如果(a, b)∉R,则(b, a)∉RD. 对于所有a, b∈A,如果(a, b)∉R,则(b, a)∈R答案:A9. 以下哪个是二元关系R在集合A上的传递性质?()A. 对于所有a, b, c∈A,如果(a, b)∈R且(b, c)∈R,则(a, c)∈RB. 对于所有a, b, c∈A,如果(a, b)∈R且(b, c)∈R,则(a, c)∉RC. 对于所有a, b, c∈A,如果(a, b)∉R且(b, c)∉R,则(a, c)∉RD. 对于所有a, b, c∈A,如果(a, b)∉R且(b, c)∉R,则(a, c)∈R 答案:A10. 图G的邻接矩阵是一个()。
离散数学考试题及答案
![离散数学考试题及答案](https://img.taocdn.com/s3/m/b181ad9d5ebfc77da26925c52cc58bd63186939b.png)
离散数学考试题及答案一、选择题(每题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。
离散数学考试题及答案
![离散数学考试题及答案](https://img.taocdn.com/s3/m/5cd072860875f46527d3240c844769eae009a3e1.png)
离散数学考试题及答案一、单项选择题(每题2分,共20分)1. 在集合{1, 2, 3, 4}中,以下哪个是子集?A. {1, 2, 5}B. {1, 3, 4}C. {1, 2, 3, 4, 5}D. {1, 2, 3}答案:B2. 以下哪个命题是真命题?A. 所有的鸟都能飞。
B. 所有的金属都是固体。
C. 所有的人都是不朽的。
D. 所有的液体都是透明的。
答案:B3. 如果p是q的充分条件,那么以下哪个命题是真的?A. 如果p,则q。
B. 如果q,则p。
C. 如果非q,则非p。
D. 如果非p,则非q。
答案:A4. 以下哪个图是无向图?A. 有向图B. 无向图C. 有向无环图D. 有向循环图答案:B5. 在二进制数制中,以下哪个数是最大的?A. 1010B. 1101C. 1110D. 1111答案:D6. 以下哪个逻辑运算符表示“与”?A. ∧B. ∨C. →D. ¬答案:A7. 以下哪个是图的连通分量?A. 顶点B. 边C. 路径D. 子图答案:D8. 在布尔代数中,以下哪个等式是正确的?A. A + 0 = AB. A × 1 = AC. A + 1 = 1D. A × 0 = 1答案:B9. 以下哪个是关系的性质?A. 自反性B. 对称性C. 传递性D. 所有上述答案:D10. 以下哪个是命题逻辑中的有效论证?A. 如果p,则q;非q,所以非p。
B. 如果p,则q;p,所以q。
C. 如果p,则q;非p,所以q。
D. 如果p,则q;q,所以p。
答案:B二、填空题(每题2分,共20分)1. 在集合论中,空集用符号________表示。
答案:∅2. 命题逻辑中的否定运算符用符号________表示。
答案:¬3. 在图论中,如果一个图的任意两个顶点都由一条路径连接,则称该图为________。
答案:连通图4. 在布尔代数中,逻辑或运算符用符号________表示。
离散数学考试试题及答案
![离散数学考试试题及答案](https://img.taocdn.com/s3/m/ec87fa6df02d2af90242a8956bec0975f465a48c.png)
离散数学考试试题及答案一、单项选择题(每题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)。
《离散数学》试卷及答案精选全文完整版
![《离散数学》试卷及答案精选全文完整版](https://img.taocdn.com/s3/m/f0961ab99a89680203d8ce2f0066f5335a81673c.png)
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 >}
离散数学试题及答案解析
![离散数学试题及答案解析](https://img.taocdn.com/s3/m/026e129baff8941ea76e58fafab069dc5022479a.png)
离散数学试题及答案解析一、单项选择题(每题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)。
离散数学考试试题及答案
![离散数学考试试题及答案](https://img.taocdn.com/s3/m/d2a15833a55177232f60ddccda38376baf1fe0b4.png)
离散数学考试试题及答案一、选择题(每题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. 简述命题逻辑中的等价命题是什么?答案:等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。
(完整版)《离散数学》试题及答案解析,推荐文档
![(完整版)《离散数学》试题及答案解析,推荐文档](https://img.taocdn.com/s3/m/c8a4235aaef8941ea66e0540.png)
则在解释 I 下取真值为 1 的公式是( ).
(A)xyP(x,y) (B)xyP(x,y) (C)xP(x,x) (D)xyP(x,y). 6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( ).
(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6). 7. 设 G、H 是一阶逻辑公式,P 是一个谓词,G=xP(x), H=xP(x),则一阶逻辑公式
(A)下界 (B)上界 (C)最小上界
(D)以上答案都不对
6
4 下列语句中,( )是命题。
5
(A)请把门关上 (B)地球外的星球上也有人 (C)x + 5 > 6 (D)下午有会吗?
3
4
2
5 设 I 是如下一个解释:D={a,b}, P(a, a) P(a, b) P(b, a) P(b, b)
1
1010
AB=_________________________;A-B= _____________________ . 7. 设 R 是集合 A 上的等价关系,则 R 所具有的关系的三个特性是______________________,
________________________, _______________________________. 8. 设命题公式 G=(P(QR)),则使公式 G 为真的解释有
(1)
1
4
2
3
1 0 0 0
(2)
MR
1 1
1 1
0 1
0 0
1 1 1 1
3. (1)•=((x))=(x)+3=2x+3=2x+3.
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
《离散数学》试题及答案————————————————————————————————作者:————————————————————————————————日期:一、填空题1 设集合A,B ,其中A ={1,2,3}, B= {1,2}, 则A - B = {3} ; ρ(A) - ρ(B)={3},{1,3},{2,3},{1,2,3}} .2. 设有限集合A, |A| = n, 则 |ρ(A×A)| = 22n .3. 设集合A = {a , b }, B = {1, 2}, 则从A 到B 的所有映射是α1= {(a ,1), (b ,1)}, α2= {(a ,2), (b ,2)},α3= {(a ,1), (b ,2)}, α4= {(a ,2), (b ,1)}, 其中双射的是 α3, α4 .4. 已知命题公式G =⌝(P →Q)∧R ,则G 的主析取范式是 (P ∧⌝Q ∧R)5.设G 是完全二叉树,G 有7个点,其中4个叶点,则G 的总度数为 12 ,分枝点数为 3 .6 设A 、B 为两个集合, A= {1,2,4}, B = {3,4}, 则从A ⋂B = {4} ; A ⋃B ={1,2,3,4}; A -B = {1,2} .7. 设R 是集合A 上的等价关系,则R 所具有的关系的三个特性是 自反性 , 对称性 传递性 .8. 设命题公式G =⌝(P →(Q ∧R)),则使公式G 为真的解释有 (1, 0, 0), (1, 0, 1), (1, 1, 0) 9. 设集合A ={1,2,3,4}, A 上的关系R 1 = {(1,4),(2,3),(3,2)}, R 2 = {(2,1),(3,2),(4,3)}, 则 R 1•R 2 = {(1,3),(2,2),(3,1)} , R 2•R 1 = {(2,4),(3,3),(4,2)} _R 12 = {(2,2),(3,3).10. 设有限集A, B ,|A| = m, |B| = n, 则| |ρ(A ⨯B)| = nm ⨯2.11 设A,B,R 是三个集合,其中R 是实数集,A = {x | -1≤x ≤1, x ∈R}, B = {x | 0≤x < 2, x ∈R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x ∈R} , A ∩B = {x | 0≤x ≤1, x ∈R} , .13. 设集合A ={2, 3, 4, 5, 6},R 是A 上的整除关系,则R 以集合形式(列举法)记为 {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} .14. 设一阶逻辑公式G = ∀xP(x)→∃xQ(x),则G 的前束范式是 ∃x(⌝P(x)∨Q(x)) . 15.设G 是具有8个顶点的树,则G 中增加 21 条边才能把G 变成完全图。
(完全图的边数2)1(-n n ,树的边数为n-1) 16. 设谓词的定义域为{a , b },将表达式∀xR(x)→∃xS(x)中量词消除 ,写成与之对应的命题公式是_ (R(a)∧R(b))→(S(a)∨S(b)) _.17. 设集合A ={1, 2, 3, 4},A 上的二元关系R ={(1,1),(1,2),(2,3)}, S ={(1,3),(2,3),(3,2)}。
则R ⋅S = {(1, 3),(2, 2)} , R 2= {(1, 1),(1, 2),(1, 3)}.二、选择题1 设集合A={2,{a},3,4},B = {{a},3,4,1},E 为全集,则下列命题正确的是( C )。
(A){2}∈A (B){a}⊆A (C)∅⊆{{a}}⊆B ⊆E (D){{a},1,3,4}⊂B.2 设集合A={1,2,3},A 上的关系R ={(1,1),(2,2),(2,3),(3,2),(3,3)},则R 不具备( D ). (A)自反性 (B)传递性 (C)对称性 (D)反对称性3 设半序集(A,≤)关系≤的哈斯图如下所示,若A 的子集B = {2,3,4,5},则元素6为B 的( B )。
(A)下界 (B)上界 (C)最小上界 (D)以上答案都不对4 下列语句中,( B )是命题。
(A)请把门关上 (B)地球外的星球上也有人(C)x + 5 > 6 (D)下午有会吗? 5 设I 是如下一个解释:D ={a,b},1 0 1b)P(b,a) P(b,b) P(a,),(a a P则在解释I 下取真值为1的公式是( D ).(A)∃x ∀yP(x,y) (B)∀x ∀yP(x,y) (C)∀xP(x,x) (D)∀x ∃yP(x,y).6. 若供选择答案中的数值表示一个简单图中各个顶点的度,能画出图的是( C ). (A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6).7. 设G 、H 是一阶逻辑公式,P 是一个谓词,G =∃xP(x), H =∀xP(x),则一阶逻辑公式G →H 是( C ). (A)恒真的 (B)恒假的 (C)可满足的 (D)前束范式.8 设命题公式G =⌝(P →Q),H =P →(Q →⌝P),则G 与H 的关系是( A )。
(A)G ⇒H (B)H ⇒G (C)G =H (D)以上都不是. 9 设A, B 为集合,当( D )时A -B =B. (A)A =B (B)A ⊆B (C)B ⊆A (D)A =B =∅.10 设集合A = {1,2,3,4}, A 上的关系R ={(1,1),(2,3),(2,4),(3,4)}, 则R 具有( B )。
(A)自反性 (B)传递性 (C)对称性 (D)以上答案都不对 11 下列关于集合的表示中正确的为( B )。
(A){a}∈{a,b,c} (B){a}⊆{a,b,c} (C)∅∈{a,b,c} (D){a,b}∈{a,b,c} 12 命题∀xG(x)取真值1的充分必要条件是( A ).(A) 对任意x ,G(x)都取真值1. (B)有一个x 0,使G(x 0)取真值1. (C)有某些x ,使G(x 0)取真值1. (D)以上答案都不对.13. 设G 是连通平面图,有5个顶点,6个面,则G 的边数是( A ). (A) 9条 (B) 5条 (C) 6条 (D) 11条.14. 设G 是5个顶点的完全图,则从G 中删去( A )条边可以得到树. (A)6 (B)5 (C)10 (D)4.15. 设图G 的相邻矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0110110101110110010111110,则G 的顶点数与边数分别为( D ).(A)4, 5(B)5, 6 (C)4, 10 (D)5, 8.12 3 4 5 6三、计算证明题1.设集合A ={1, 2, 3, 4, 6, 8, 9, 12},R 为整除关系。
(1) 画出半序集(A,R)的哈斯图;(2) 写出A 的子集B = {3,6,9,12}的上界,下界,最小上界,最大下界; (3) 写出A 的最大元,最小元,极大元,极小元。
解:(1)124836129(2) B 无上界,也无最小上界。
下界1, 3; 最大下界是3 (3) A 无最大元,最小元是1,极大元8, 12, 9; 极小元是12. 设集合A ={1, 2, 3, 4},A 上的关系R ={(x,y) | x, y ∈A 且 x ≥ y}, 求(1) 画出R 的关系图; (2) 写出R 的关系矩阵.解:(1)1234(2)1000110011101111R M ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦3. 设R 是实数集合,σ,τ,ϕ是R 上的三个映射,σ(x) = x+3, τ(x) = 2x, ϕ(x) = x/4,试求复合映射σ•τ,σ•σ, σ•ϕ, ϕ•τ,σ•ϕ•τ. 解: (1)σ•τ=σ(τ(x))=τ(x)+3=2x+3=2x+3.(2)σ•σ=σ(σ(x))=σ(x)+3=(x+3)+3=x+6, (3)σ•ϕ=σ(ϕ(x))=ϕ(x)+3=x/4+3,(4)ϕ•τ=ϕ(τ(x))=τ(x)/4=2x/4 = x/2, (5)σ•ϕ•τ=σ•(ϕ•τ)=ϕ•τ+3=2x/4+3=x/2+3.▲4. 设I 是如下一个解释:D = {2, 3},a b f (2) f (3) P (2, 2) P (2, 3) P (3, 2) P (3, 3) 323211试求(1) P(a, f (a))∧P(b, f (b));(2)∀x∃y P (y, x).解:(1) P(a, f (a))∧P(b, f (b)) = P(3, f (3))∧P(2, f (2))= P(3, 2)∧P(2,3)= 1∧0= 0.(2) ∀x∃y P (y, x) = ∀x (P (2, x)∨P (3, x))= (P (2, 2)∨P (3, 2))∧(P (2, 3)∨P (3, 3))= (0∨1)∧(0∨1)= 1∧1= 1.5. 设集合A={1, 2, 4, 6, 8, 12},R为A上整除关系。
(1)画出半序集(A,R)的哈斯图;(2)写出A的最大元,最小元,极大元,极小元;(3)写出A的子集B = {4, 6, 8, 12}的上界,下界,最小上界,最大下界.解:(1) (2)无最大元,最小元1,极大元8, 12; 极小元是1.(3) B无上界,无最小上界。
下界1, 2; 最大下界2.6.设命题公式G = ⌝(P→Q)∨(Q∧(⌝P→R)), 求G的主析取范式。
解:G = ⌝(P→Q)∨(Q∧(⌝P→R))= ⌝(⌝P∨Q)∨(Q∧(P∨R))= (P∧⌝Q)∨(Q∧(P∨R))= (P∧⌝Q)∨(Q∧P)∨(Q∧R)= (P ∧⌝Q ∧R)∨(P ∧⌝Q ∧⌝R)∨(P ∧Q ∧R)∨(P ∧Q ∧⌝R)∨(P ∧Q ∧R)∨(⌝P ∧Q ∧R) = (P ∧⌝Q ∧R)∨(P ∧⌝Q ∧⌝R)∨(P ∧Q ∧R)∨(P ∧Q ∧⌝R)∨(⌝P ∧Q ∧R) = m 3∨m 4∨m 5∨m 6∨m 7 = ∑(3, 4, 5, 6, 7).7. (9分)设一阶逻辑公式:G = (∀xP (x )∨∃yQ (y ))→∀xR (x ),把G 化成前束范式. 解:G = (∀xP (x )∨∃yQ (y ))→∀xR (x ) = ⌝(∀xP (x )∨∃yQ (y ))∨∀xR (x ) = (⌝∀xP (x )∧⌝∃yQ (y ))∨∀xR (x ) = (∃x ⌝P (x )∧∀y ⌝Q (y ))∨∀zR (z ) = ∃x ∀y ∀z ((⌝P (x )∧⌝Q (y ))∨R (z ))9. 设R 是集合A = {a, b, c, d}. R 是A 上的二元关系, R = {(a,b), (b,a), (b,c), (c,d)},(1) 求出r(R), s(R), t(R); (2) 画出r(R), s(R), t(R)的关系图. 解:(1)r(R)=R ∪I A ={(a,b), (b,a), (b,c), (c,d), (a,a), (b,b), (c,c), (d,d)},s(R)=R ∪R -1={(a,b), (b,a), (b,c), (c,b) (c,d), (d,c)},t(R)=R ∪R 2∪R 3∪R 4={(a,a), (a,b), (a,c), (a,d), (b,a), (b,b), (b,c), (b,d), (c,d)}; (2)关系图:11. 通过求主析取范式判断下列命题公式是否等价: (1) G = (P ∧Q)∨(⌝P ∧Q ∧R)(2) H = (P ∨(Q ∧R))∧(Q ∨(⌝P ∧R)) 解: G =(P ∧Q)∨(⌝P ∧Q ∧R)ba cd r(R)ba cds(R)ba cd t(R)=(P ∧Q ∧⌝R)∨(P ∧Q ∧R)∨(⌝P ∧Q ∧R) =m 6∨m 7∨m 3 =∑ (3, 6, 7)H = (P ∨(Q ∧R))∧(Q ∨(⌝P ∧R)) =(P ∧Q)∨(Q ∧R))∨(⌝P ∧Q ∧R)=(P ∧Q ∧⌝R)∨(P ∧Q ∧R)∨(⌝P ∧Q ∧R)∨(P ∧Q ∧R)∨(⌝P ∧Q ∧R) =(P ∧Q ∧⌝R)∨(⌝P ∧Q ∧R)∨(P ∧Q ∧R) =m 6∨m 3∨m 7G ,H 的主析取范式相同,所以G = H.13. 设R 和S 是集合A ={a , b , c , d }上的关系,其中R ={(a , a ),(a , c ),(b , c ),(c , d )},S ={(a , b ),(b , c ),(b , d ),(d , d )}. (1) 试写出R 和S 的关系矩阵; (2) 计算R •S , R ∪S , R -1, S -1•R -1. 解:(1)⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=0000100001000101R M ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1000000011000010S M(2)R •S ={(a , b ),(c , d )},R ∪S ={(a , a ),(a , b ),(a , c ),(b , c ),(b , d ),(c , d ),(d , d )},R -1={(a , a ),(c , a ),(c , b ),(d , c )}, S -1•R -1={(b , a ),(d , c )}.四、证明题1. 利用形式演绎法证明:{P →Q , R →S , P ∨R }蕴涵Q ∨S 。