离散填空题和答案
离散数学期末考试试题及答案

离散数学期末考试试题及答案一、选择题(每题3分,共30分)1. 设集合A={1, 2, 3, 4, 5},B={2, 4, 6, 8},则A∩B是()A. {1, 2, 3, 4, 5}B. {2, 4}C. {1, 3, 5}D. {2, 4, 6, 8}2. 下列关系中,哪个是等价关系?()A. 小于关系B. 大于等于关系C. 模2同余关系D. 整除关系3. 设P(x)是谓词逻辑公式,下列哪个命题与∀xP(x)等价?()A. ∃x¬P(x)B. ¬∀xP(x)C. ¬∃xP(x)D. ∃x¬P(x)4. 一个图的欧拉回路是指()A. 经过每一条边的路径B. 经过每一个顶点的路径C. 经过每一条边的环D. 经过每一个顶点的环5. 设G是一个无向图,下列哪个说法是正确的?()A. G的每个顶点的度数都相等B. G的每个顶点的度数都不相等C. G的任意两个顶点之间都有一条边D. G的任意两个顶点之间都不一定有边6. 下列哪个图是哈密顿图?()A. K3,3B. K5C. K4,4D. K67. 设G是一个具有n个顶点的连通图,则G的最小生成树至少包含()A. n个顶点B. n-1条边C. n+1条边D. 2n条边8. 下列哪个算法可以用来求解最短路径问题?()A. Dijkstra算法B. Kruskal算法C. Prim算法D. Floyd算法9. 设P和Q是两个命题,下列哪个命题与(P→Q)∧(Q→P)等价?()A. P∧QB. P∨QC. P↔QD. ¬P∨¬Q10. 设A是一个有限集合,A的幂集是指()A. A的所有子集B. A的所有真子集C. A的所有非空子集D. A的所有非空真子集二、填空题(每题3分,共30分)11. 设集合A={1, 2, 3, 4, 5},B={2, 4, 6, 8},则A-B=______。
12. 设P(x)是谓词逻辑公式,∃xP(x)表示“存在一个x使得P(x)成立”,那么∀x¬P(x)表示“______”。
《离散数学》题库及答案

《离散数学》题库及答案一、选择或填空(数理逻辑部分)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是负数”的否定是()。
离散数学期末考试试题及答案

离散数学期末考试试题及答案一、选择题(每题4分,共40分)1. 以下哪个命题是正确的?A. 如果p,则qB. 如果不p,则不qC. 如果q,则pD. 如果不q,则不p2. 设集合A={1,2,3,4},B={2,4,6,8},则A∪B等于?A. {1,2,3,4,6,8}B. {1,2,3,4}C. {2,4,6,8}D. {1,3}3. 一个图的欧拉回路是指?A. 从一个顶点出发,经过每条边一次且仅一次,回到该顶点的回路B. 从一个顶点出发,经过每个顶点一次且仅一次,回到该顶点的回路C. 从一个顶点出发,经过每条边两次,回到该顶点的回路D. 从一个顶点出发,经过每个顶点两次,回到该顶点的回路4. 以下哪个图是二分图?A. K3,3B. C5C. K4D. Q35. 以下哪个命题是正确的?A. 如果p∧q为假,则p为假B. 如果p∨q为假,则q为假C. 如果p→q为真,则q→p为真D. 如果p→q为假,则q→p为假二、填空题(每题5分,共30分)6. 设p是“今天下雨”,q是“我去图书馆”,则命题“如果今天下雨,那么我不去图书馆”可以用逻辑符号表示为______。
7. 设集合A={a,b,c},B={a,b,d},则A-B的元素是______。
8. 设图G有6个顶点,每两个顶点之间都有边相连,则该图的边数是______。
9. 一个具有5个顶点的连通图至少需要______条边。
10. 设p是“我生病了”,q是“我去医院”,则命题“如果我生病了,那么我可能去医院”可以用逻辑符号表示为______。
三、解答题(每题15分,共45分)11. 设集合A={1,2,3,4,5},B={3,4,5,6,7},求A∩B。
12. 给定图G如下,请判断G是否为二分图,并说明理由。
```1 --2 -- 3| | |4 --5 -- 6```13. 设p是“我睡觉”,q是“我醒着”,r是“现在是晚上”。
请用逻辑符号表示以下命题:- 如果我睡觉,那么不是晚上。
离散考试试题及答案

离散考试试题及答案一、选择题(每题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}。
离散数学期末考试题及详细答案

离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 下列哪一项是图论中的基本概念?A. 集合B. 函数C. 映射D. 顶点答案:D2. 在逻辑中,下列哪一项表示合取?A. ∨B. ∧C. →D. ¬答案:B3. 以下哪个命题是真命题?A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬p → p答案:B4. 在集合论中,下列哪个符号表示集合的交集?A. ∪B. ∩C. ⊆D. ⊂答案:B二、填空题(每题5分,共20分)1. 如果一个图是无环的,则称该图为________。
答案:树2. 在布尔代数中,逻辑或运算的符号是________。
答案:∨3. 如果一个函数f: A → B,则称A为函数f的________。
答案:定义域4. 一个集合的子集个数是2的该集合元素个数次方,这个结论被称为________。
答案:幂集定理三、简答题(每题10分,共30分)1. 请简述图的邻接矩阵和邻接表的定义。
答案:邻接矩阵是一个二维数组,其元素表示图中两个顶点之间是否存在边。
邻接表是图的一种表示方法,其中每个顶点对应一个链表,链表中存储的是与该顶点相邻的顶点。
2. 什么是哥德尔不完备性定理?答案:哥德尔不完备性定理表明,在任何包含基本算术的一致形式系统内,都存在这样的命题:这个命题既不能被证明为真,也不能被证明为假。
3. 请解释什么是二元关系,并给出一个例子。
答案:二元关系是定义在两个集合上的一个子集,它包含所有满足特定条件的有序对。
例如,整数集合上的大于关系就是一个二元关系。
四、计算题(每题15分,共30分)1. 给定一个集合A={1,2,3,4},请计算集合A的幂集。
答案:集合A的幂集是{∅, {1}, {2}, {3}, {4}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}, {1,2,3}, {1,2,4}, {1,3,4},{2,3,4}, {1,2,3,4}}。
离散数学试题及答案

离散数学试题及答案一、填空题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)| = ___2^(n^2)________.3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是____A1 = {(a,1), (b,1)}, A2 = {(a,2), (b,2)}, A3 = {(a,1), (b,2)}, A4 = {(a,2), (b,1)},_________ _____________, 其中双射的是______A3, A4__________.4. 已知命题公式G=⌝(P→Q)∧R,则G的主析取范式是____P∧⌝Q∧R (m5)____.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上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1•R2= ___{(1,3),(2,2),(3,1)}____,R2•R1 =_____{(2,4), (3,3), (4,2)}_____, R12=_______{(2,2), (3,3)}_________.10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A⨯B)| = ______2^(m*n)___________.11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = _____{x | -1 ≤x < 0, x ∈R}_______ , 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的前束范式是_____∃y∃x(P(y)→Q(x))________ _____.15.设G是具有8个顶点的树,则G中增加__21___条边才能把G变成完全图。
大学离散数学期末考试题库和答案
大学离散数学期末考试题库和答案一、单项选择题(每题2分,共20分)1. 在集合论中,以下哪个符号表示“属于”?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 如果A和B是两个集合,那么A∪B表示什么?A. A和B的交集B. A和B的并集C. A和B的差集D. A和B的补集答案:B3. 以下哪个命题是真命题?A. ∀x∈N, x^2 > xB. ∃x∈N, x^2 = x + 1C. ∀x∈N, x^2 ≥ xD. ∃x∈N, x^2 < x答案:C4. 在图论中,一个无向图的边数为E,顶点数为V,那么这个图的生成树的边数是多少?A. EB. V-1C. VD. E-1答案:B5. 以下哪个算法是用于解决旅行商问题(TSP)的?A. 动态规划B. 贪心算法C. 分支限界法D. 回溯法答案:D6. 在逻辑中,以下哪个符号表示“蕴含”?A. ∧B. ∨C. →D. ↔答案:C7. 以下哪个是二进制数?A. 1010B. 2A3C. 12BD. ZYX答案:A8. 在关系数据库中,以下哪个操作用于删除表中的行?A. SELECTB. INSERTC. UPDATED. DELETE答案:D9. 以下哪个是布尔代数的基本运算?A. 并集B. 交集C. 差集D. 所有以上答案:D10. 在离散数学中,以下哪个概念用于描述两个集合之间的关系?A. 函数B. 映射C. 序列D. 所有以上答案:D二、多项选择题(每题3分,共15分)11. 以下哪些是集合的基本运算?A. 并集B. 交集C. 差集D. 补集答案:ABCD12. 在图论中,以下哪些是图的基本类型?A. 无向图B. 有向图C. 完全图D. 二分图答案:ABCD13. 在逻辑中,以下哪些是命题逻辑的基本连接词?A. 与(∧)B. 或(∨)C. 非(¬)D. 蕴含(→)答案:ABCD14. 在关系数据库中,以下哪些是SQL的基本操作?A. SELECTB. INSERTC. UPDATED. DELETE答案:ABCD15. 在离散数学中,以下哪些是组合数学的基本概念?A. 排列B. 组合C. 二项式系数D. 图论答案:ABC三、填空题(每题3分,共30分)16. 如果集合A={1, 2, 3},集合B={2, 3, 4},那么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。
离散数学考试题及答案
离散数学考试题及答案一、单项选择题(每题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. 在布尔代数中,逻辑或运算符用符号________表示。
离散数学期末考试试题及答案
离散数学期末考试试题及答案一、选择题(每题5分,共25分)1. 设A={1,2,3,4,5},B={2,3,5,7,11},则A∩B等于()A. {1,2,3,4,5}B. {2,3,5}C. {1,4}D. {2,3,5,7,11}2. 下面哪一个图是连通图?()A. 无向图B. 有向图C. 平面图D. 连通图3. 若一个图G有n个顶点,e条边,则以下哪个条件是图G 为连通图的必要条件?()A. n ≥ eB. n ≤ eC. n = eD. n + e = 24. 在一个简单图中,若每个顶点的度数都等于n-1,则该图是()A. 无向图B. 有向图C. 完全图D. 平面图5. 以下哪一个命题是正确的?()A. 每个图都有欧拉回路B. 每个连通图都有哈密顿回路C. 每个图都有哈密顿路径D. 每个连通图都有欧拉路径二、填空题(每题5分,共25分)6. 设A={a,b,c},B={1,2,3},则A×B的结果是______。
7. 一个连通图的生成树包含______条边。
8. 在一个n阶完全图中,任意两个不同顶点之间的距离是______。
9. 一个图G的顶点集为V,边集为E,则图G的邻接矩阵表示为______。
10. 在一个简单图中,若每个顶点的度数都等于n-1,则该图的边数是______。
三、判断题(每题5分,共25分)11. 一个图的子图包含原图的所有顶点和边。
()12. 一个连通图的所有顶点都连通。
()13. 在一个简单图中,每个顶点的度数都小于等于n-1。
()14. 每个图都有哈密顿路径。
()15. 一个图G的生成树是原图G的子图。
()四、解答题(共50分)16. (10分)设A={1,2,3,4,5},B={2,3,5,7,11},求A∪B 和A-B。
17. (10分)证明:一个连通图的每个顶点的度数都大于等于2。
18. (10分)给定一个图G,顶点集V={a,b,c,d,e},边集E={ab,bc,cd,de,ac,ad},求图G的所有连通分支。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
填空 1、p:你努力,q:你失败。“除非你努力,否则你将失败”的翻译为
;“虽然你努力了,但还是失败了”的翻译为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式),(xyyPx真值为 。 3、设A={2,3,4,5,6}上的二元关系}|,{是质数xyxyxR,则R=
(列举法)。 R的关系矩阵MR= 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 。 4、设代数系统,其中A={a,b,c},
则幺元是 ;是否有对称性 。 5、n个结点的无向完全图Kn的边数为 。 6.设 }7|{)},5()(|{xExxBxNxxA且且(N:自然数集,E+ 正偶数) 则 BA 。 7.A,B,C表示三个集合,文图中阴影部分的集合表达式为 。
* a b c a b c a b c b b c c c b
A B C 8.设P,Q 的真值为0,R,S的真值为1,则 )()))(((SRPRQP的真值= 。
9.若解释I的论域D仅包含一个元素,则 )()(xxPxxP 在I下真值为 (T,F)。 10.设A={1,2,3,4},A上关系图为
则 R2 = 。 11.设A={a,b,c,d},其上偏序关系R的哈斯图为
则 R= 。 12.图的补图为 。 13.设A={a,b,c,d} ,A上二元运算如下:
* a b c d a b c d a b c d b c d a c d a b d a b c 那么代数系统的幺元是 a ,有逆元的元素为 a,b c,d ,它们的逆元分别为 a,d,c,b 。 14.n个结点的树中有 n-1 条边。 .15.设0,1,2,3A,A上的关系为0,1,0,2,0,3,1,2,1,3,R
2,3,若0,3mR,则m= 3 ;若,nRn则 4 。 16.设,,Aabc,A上的二元关系R={,,},则()rR = {,,,,,} ;()SR {,,,,,} . 17.I是整数集,如果(I,+)是群,那么(I,+)的幺元是 0 ;n是任意一个整数,则n的逆元是 -n 。 18.若集合A={1, 2, 3}上的二元关系R1和R2的关系图如下所示,
则R1oR2 = {<1,1>,<3,1>,<1,3>,<3,3>} 19.设 f,g是自然数集N上的函数xxgxxfNx2)(,1)(,,
则)(xgf 2x+2 。
20.设A={a,b,c},A上二元关系R={< a, a > , < a, b >,< a, c >, < c, c>} , 则s(R)= {,,,,,} 。
21.A={1,2,3,4,5,6},A上二元关系}|,{是素数yxyxT,则用列举法 T= {<2,1>,<3,1>,<5,1>,<4,2>,<6,2>,<6,3>} ; T的关系图为 ; T具有 反自反,反对称,反传递 性质。 22.集合}}2{},2,{{A的幂集A2= {∮,{{2}},{{∮,2}},{ {∮,2},{2} } 。 23.P,Q真值为0 ;R,S真值为1。则))()(())((SRQPSRPwff的真值为 1 。 24.求一个公式的主析取或主合取式的方法,有__真值表___法和___等值演算_______法。 25.给定谓词合式公式A,其中一部分公式形式为(x)B(x)或(x)B(x),则量词,后面所跟的x称为______指导变元_____,而称B为相应量词的__辖域________。 26.集合X={a,b,c,d}上二元关系R={,,,,, d>},则R的自反闭包r(R)= _{,,,,,,,,}_______,对称闭包s(R)= {,,,,, ,,,,____。 27.对代数系统,其中*是S上的二元运算,若a,b∈S,且对任意的x∈S,都有a*x=x*a=x,b*x=x*b=b,则称a为运算“*”的_单位元_____,称b为运算“*”的__零元____。 28.设是群,则满足结合律和_交换律,单位元,逆元_________。 29.一个__连通_______且___无回路_________的无向图称为树。 30.在简单无向图G=中,如果V中的每个结点都与其余的所有结点邻接,则该图称为___ _完全图_______,如果V有n个结点,那么它还是__ n _________度正则图。 31.任意两个不同的小项的合取为__矛盾____式,全体小项的析取式必为____重言__式。 32.设集合M={x|1≤x≤12,x被2整除,x∈Z},N={x|1≤x≤12,x被3整除,x∈Z},则 M∩N=__{6,12}____________,M∪N=_{2,3,4,6,8,9,10,12}___________。 33.设X={1,2,3},f:X→X,g:X→X,f={<1, 2>,<2,3>,<3,1>}, g={<1,2>,<2,3>,<3,3>},则fg=_{<1,3>,<2,3>,<3,2>}_______________,gf=_{<1,3>,<2,1>,<3,1>}_______________。 34.设A={a,b,c},R是A上的二元关系,且给定R={,,},则R的自反闭包r(R)= _{,,,,,}_______________,对称闭包s(R)= ____{,,,,,____________。 35.设Q为有理数集,笛卡尔集S=Q×Q,*是S上的二元运算,,∈S, *=, 则*运算的单位元是_<1,0>_______________。∈S, 若a≠0,则的逆元是__<1/a,-b>______________。 36.设*是集合S上的二元运算,若运算*满足___结合律___________且存在___单位元_____,则称为有么半群。 37.如下无向图割点是__{d}______________,割边是__e5______________。
38.无向图G具有生成树,当且仅当_连通且无回路________。G的所有生成树中__权最小____的生成树称为最小生成树。 39.所谓__简单命题__是指不能再分解的命题,而复合命题是由一些_简单命题___经过联结词复合而成的命题。 40.在命题演算中,两个_命题___的合取、析取、条件、双条件均为_复合命题___。 41.使公式))y(B)x(A)(y)(x()y(B)y()x(A)x(成立的条件是_A___中不含y,
_B___中不含x。 42.设A={1,2,3,4},R是A上的二元关系,R={|x/y是素数},则domR={2,3,4}__;ranR= {1,2}____。 43.设X={1,3,5,9,15,45},R是X上的整除关系,则R是X上的偏序,其最大元是_45__,极小元是_1___。 44.树是不包含_回路____的_连通__图。 45.设F(x):x是人,H(x,y):x与y一样高,在一阶逻辑中,命题“人都不一样高”的符号化形式为_)),()()((yxHyFxFyx______ ___。
46.qpqp)(从公式分类角度来看,它为__重言式________式。 47.设R={<1,1>,<1,2>,<2,3>},则R的对称闭包是{<1,1>,<1,2>,<2,1>,<2,3>,<3,2>} 。 48.))()((xBxAx _)()()(xBxxxA__________________。
49.设F(x):x是人,H(x):x呼吸,在一阶逻辑中,命题“凡人都呼吸”的符号化形式为__))()()((xHxFx_____ _________。
50.一个3阶有向图的度序列是2,2,4,入度序列是2,0,2,出度序列是 0,2,2 。 51.一无向图存在生成树的充分必要条件是 无向图是连通图 。 52.量词否定等值式)(xxA ___)(xAx________________。 53.设R是A={1,2,3,4}上的二元关系,R={<1,1>,<1,2>,<2,3>,<3,4>},则R的对称闭包是 {<1,1>,<1,2>,<2,1>,<2,3>,<3,2>,<3,4>,<4,3>} 。
54.已知n阶无向简单图G有m条边,则G的补图有 (n(n-1)/2)-m 条边。 55.已知n阶无向图G中有m条边,各顶点的度数均为3。又已知2n-3=m, 则m= 9 . 56.设G为9阶无向图,每个结点度数不是5就是6,则G中至少有 2 个5度结点。 57.有向图 中从v1到v2长度为2的通路有 0 条。
58.任何(n,m) 图G = (V,E) , 边与顶点数的关系是 nimvd12)( 。
59.已知一棵无向树T有三个3顶点,一个2度顶点,其余的都是1度顶点, 则T中有 2 个1度顶点。 60.n阶完全图Kn的边数为 n(n-1)/2 。