广东工业大学离散数学试卷和答案-2015B
大学《离散数学》题库及答案

《离散数学》题库与答案一、选择或填空(数理逻辑部分)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、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。
《离散数学》试题及答案

《离散数学》试题及答案一、选择题(每题5分,共25分)1. 下列关系中,哪个是等价关系?()A. 小于等于(≤)B. 大于等于(≥)C. 整除(|)D. 模2同余(≡)答案:D2. 下列哪个图是完全图?()A. 无向图B. 有向图C. 简单图D. n阶完全图答案:D3. 设A和B为集合,若A∪B=A,则下列哪个结论成立?()A. A⊆BB. B⊆AC. A=BD. A∩B=∅答案:B4. 下列哪个命题是永真命题?()A. (p→q)∧(q→p)B. (p∧q)→(p∨q)C. (p→q)∧(p→¬q)D. (p∧¬q)→(p→q)答案:B5. 设G=(V,E)是一个连通图,其中V={v1,v2,v3,v4,v5},E={e1,e2,e3,e4,e5,e6},若G的最小生成树的边数是()。
A. 4B. 5C. 6D. 7答案:B二、填空题(每题5分,共25分)6. 设A={1,2,3,4,5},B={3,4,5,6,7},则A∩B=_________。
答案:{3,4,5}7. 设图G的顶点集V={a,b,c,d},边集E={e1,e2,e3,e4,e5},其中e1=(a,b),e2=(a,c),e3=(b,d),e4=(c,d),e5=(d,a),则G的邻接矩阵为_________。
答案:[0 1 1 0 0; 1 0 0 1 0; 1 0 0 1 0; 0 1 1 0 1;0 0 0 1 0]8. 设p为真命题,q为假命题,则(p∧q)∨(¬p∧¬q)的值为_________。
答案:真9. 设G=(V,E)是一个连通图,其中V={v1,v2,v3,v4,v5},E={e1,e2,e3,e4,e5,e6},若G的度数序列为(3,3,3,3,3,3),则G的边数是_________。
答案:1510. 下列命题中,与“若p,则q”互为逆否命题的是_________。
离散数学期末考试试题与答案

离散数学试题(B卷答案1〕一、证明题〔10分〕1)(P∧(Q∧R))∨(Q∧R)∨(P∧R)R证明:左端(P∧Q∧R)∨((Q∨P)∧R)((P∧Q)∧R))∨((Q∨P)∧R)((P∨Q)∧R)∨((Q∨P)∧R)((P∨Q)∨(Q∨P))∧R((P∨Q)∨(P∨Q))∧RT∧R(置换)R2)x(A(x)B(x))xA(x)xB(x)证明:x(A(x)B(x))x(A(x)∨B(x))xA(x)∨xB(x)xA(x)∨xB(x)xA(x)xB(x)二、求命题公式(P∨(Q∧R))(P∧Q∧R)的主析取X式和主合取X式〔10分〕。
证明:(P∨(Q∧R))(P∧Q∧R)(P∨(Q∧R))∨(P∧Q∧R))〔P∧(Q∨R)〕∨(P∧Q∧R)(P∧Q)∨(P∧R))∨(P∧Q∧R)(P∧Q∧R)∨(P∧Q∧R)∨(P∧Q∧R))∨(P∧Q∧R))∨(P∧Q∧R)m0∨m1∨m2∨m7M3∨M4∨M5∨M6三、推理证明题〔10分〕1〕C∨D,(C∨D)E,E(A∧B),(A∧B)(R∨S)R∨S证明:(1)(C∨D)EP(2)E(A∧B)P(3)(C∨D)(A∧B)T(1)(2),I(4)(A∧B)(R∨S)P(5)(C∨D)(R∨S)T(3)(4),I(6)C∨DP(7)R∨ST(5),I2)x(P(x)Q(y)∧R(x)),xP(x)Q(y)∧x(P(x)∧R(x))证明(1)xP(x)P(2)P(a)T(1),ES(3)x(P(x)Q(y)∧R(x))P(4)P(a)Q(y)∧R(a)T(3),US(5)Q(y)∧R(a)T(2)(4),I(6)Q(y)T(5),I(7)R(a)T(5),I(8)P(a)∧R(a)T(2)(7),I(9)x(P(x)∧R(x))T(8),EG(10)Q(y)∧x(P(x)∧R(x))T(6)(9),I四、某班有25名学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5 人会打篮球和网球,还有2人会打这三种球。
《离散数学》试题及答案

一、填空题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上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(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)| = .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变成完全图。
(完整版)离散数学题目及答案

数理逻辑习题判断题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.飞碟来自地球外的星球。
离散数学考试题及详细参考答案

离散数学考试题(后附详细答案)一、命题符号化(共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。
离散数学试题及答案

离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个选项不是集合的运算?A. 并集B. 交集C. 差集D. 乘法2. 命题逻辑中,下列哪个命题是真命题?A. (P ∧ ¬P) → QB. (P ∨ Q) ∧ ¬(P ∧ Q)C. P → (Q → P)D. (P → Q) ∧ (Q → R) → (P → R)3. 函数f: A → B,如果f是单射,那么下列哪个选项是正确的?A. A中不同的元素在B中可能有相同的像B. B中每个元素都有原像C. A中不同的元素在B中有不同的像D. B中不同的元素在A中有不同的原像4. 在图论中,下列哪个选项不是图的基本术语?A. 顶点B. 边C. 邻接D. 矩阵5. 组合数学中,从n个不同元素中取出k个元素的组合数记作C(n, k),下列哪个选项是错误的?A. C(n, k) = C(n, n-k)B. C(n, 0) = 1C. C(n, 1) = nD. C(n, k) = C(k, n)6. 关系R是A×B上的二元关系,下列哪个选项不是关系R的性质?A. 自反性B. 对称性C. 传递性D. 可数性7. 在命题逻辑中,下列哪个命题等价于P ∨ (Q ∧ R)?A. (P ∨ Q) ∧ (P ∨ R)B. (P ∧ Q) ∨ (P ∧ R)C. (P ∨ Q) ∨ RD. (P ∨ Q) ∧ R8. 集合{1, 2, 3}的幂集含有多少个元素?A. 3B. 6C. 8D. 99. 在图论中,下列哪个选项不是树的性质?A. 无环B. 至少有两个顶点C. 任意两个顶点都由唯一路径连接D. 至少有一个环10. 在集合论中,下列哪个选项是正确的?A. 空集是任何集合的子集B. 任何集合都是其自身的超集C. 空集是任何非空集合的真子集D. 空集是其自身的并集二、简答题(每题10分,共30分)11. 简述命题逻辑中的德摩根定律,并给出一个例子。
离散数学考试题目及答案

离散数学考试题目及答案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)算法。
从任一顶点开始搜索,搜索过程中访问的所有顶点构成一个连通分量。
重复此过程,直到所有顶点都被访问过,即可确定图中所有连通分量。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(A)若 R 和 S 是自反的,则 R S 是自反的。
(B)若 R 和 S 是对称的,则 R S 是对称的。
(C)若 R 和 S 是反对称的,则 R S 是反对称的。
(D)若 R 和 S 是传递的,则 R S 是传递的。
3. 设集合 A = {1, 2, 3, 4, 5}上的关系 R = {(x, y)|x, y A 且 x + y = 6},则 R 的性质是
七、(10 分) 用构造法证明: x(P(x) (Q( y) R(x))) , xP(x) Q( y) x(P(x) R(x)) .
八、(10 分) 用哈夫曼算法求带权为 1,3,5,7,8,11,12 的最优二元树并计算此最优树的权。
广东工业大学试卷用纸,共 5 页,第 2 页
5. 不同构的 5 阶无向树有( 3 )棵,不同构的 5 阶根树有( 9 )棵。
三、(10 分) 设集合 A={a,b,c}, P(A)是集合 A 的幂集,试画出偏序集 P(A) , 的哈斯图,
并指出子集{{a},{b}}的极大元、极小元、最大元、最小元、上界、下界、最小上界和最大下界。
20
47 27
9
15
11 12
4
5
78
1
3
权 W (T ) (1 2) 2 122
(1 分) (3 分) (5 分)
(7 分) (9 分) (10 分)
(8 分) (10 分)
广东工业大学试卷用纸,共 5 页,第 5 页
(
).
(A) 自反的. (B) 对称的. (C) 对称的、传递的. (D) 反自反的、传递的。
4.下列次序集不是偏序集和全序集的是( )。
A. N , B. Z , C. P({a}), D. P(N ),
5. 4 阶完全无向图 K 4 中含 3 条边的不同构的生成子图有
1. 幂集 P(P(P())) 为(
)
(A) {{}, {, {}}}.
(B) {, {, {}}, {}}.
(C) { , {, {}}, {{}}, {}} (D) { , {, {}}}.
2. 设 R A A,S A A,则下述结论正确的是(
).
(4 分)
( p (q q) r) (( p p) q r)
(7 分)
( p q r) ( p q r) (p q r) (10 分)
五、证明: 由于 R 和 S 是对称的,所以 R 1 R, S 1 S . ()因为 R S S R ,两边取逆得 (R S )1 (S R)1 ,而
US(3)
(5) Q( y) R(c)
(6)Q(y) (7)R(c)
(8) P(c) R(c)
T(2)(4)I
T(5)I T(5)I T(2)(7)I
(9) x(P(x) R(x))
UG(8)
(10) Q( y) x(P(x) R(x)) T(6)(9)I
八、(10 分)解:
3. x(Z (x) O(x)) .
4. 3, 2, 2 5. 3 , 9
三、(10 分)解:
{a,b,c}
{}
{a,b}
{a,c}
{b,c}
{b}
{a}
{c}
{Ø}
(4 分)
极大元{a}, {b} ,极小元{a},{b},没有最大元和最小元,上界是{a,b} ,{a,b,c},下
界是 ,最小上界是广{东a,b工}业,大最学大试下卷界用是纸,共。5 页,第 3 页
姓 名:
广东工业大学考试 答题纸
课程名称:
离散数学
试卷满分 100 分
考试时间: 2015 年 1 月 12 日 ( 第 19 周 星期 一 )
题 号 一 二 三 四 五 六 七 八 九 十 总分
评卷得分 评卷签名 复核得分 复核签名
一、单项选择题(本大题共 5 小题,每小题 4 分,共 20 分)
(8 分)
学 院:
极大元{a}, {b} ,极小元{a},{b},没有最大元和最小元,上界是{a,b} ,{a,b,c},下界
是 ,最小上界是{a,b},最大下界是 。
(10 分)
四、解 : ( p q) r (p q) r (p q) r
(2 分)
( p q) r ( p r) (q r)
(S R)1 R 1 S 1 R S . 所以 (R S )1 R S ,因此 R S 是对称关系. ()由于 R S 对称,所以 (R S )1 R S .
而 (R S )1 S 1 R 1 S R ,因而 R S S R .
(9) q s
T(4)(5)I T(1)(6)I T(3)(7)I CP
广东工业大学试卷用纸,共 5 页,第 4 页
(1 分)
(3 分)
(7 分) (8 分) (10 分)
七、证明
(1) xP(x)
P
(2)P(c)
US(1)
(3) x(P(x) (Q( y) R(x))) P
(4) P(c) (Q( y) R(c))
学 号:
线
班级
订
专 业:
装
1
2 345
C A BDA
二、填空题(本大题共 5 小题,每小题 4 分,共 20 分)
1. {(a,a),(b,b), (c,c),(d,d), (e,e),(a,d), (d,a),(c,e), (e,c)} 2. {(1,5), (3, 2), (2, 5)}, {(4, 2), (3, 2), (1, 4)}, {(1, 2), (2, 2)}.
(
)。
0 1 0 1
4.
设有向图 G = (V, E),V =
{v1,v2,v3,v4},若
G
的邻接矩阵
A=
1 1
0 1
1 0
1 0
,
则 v1 的出度
1 0 0 1
deg+(v1) =______2__, v1 的入度 deg-(v1) =_____3___, 从 v2 到 v4 长度为 2 的路有_____2___条。
四、(10 分) 设 p, q, r 为命题变元,用等值演算法计算(p→q)→r 的主合取范式。 五、(10 分) 设 R 和 S 是集合 A 上的对称关系,证明 R S 对称的充要条件是 R S S R .
六、(10 分)用 CP 规则证明下列推理. p (q r), q (r s), p q s .
(A)3
(B)4
(C)5
(D)2
班级
订
专 业:
装
学 院:
广东工业大学试卷用纸,共 5 页,第 1 页
二、填空题(本大题共 5 小题,每小题 4 分,共 20 分)
1.设集合 A={ a , b , c , d , e}上的的划分 S ={{a,d},{b},{c,e}},则由划分 S 所确定
的 A 上的等价关系 R =
。
2. 设 A = {1, 2, 3, 4, 5}上的关系 R = {(1, 2), (3, 4), (2, 2)}, S = {(4, 2), (2, 5), (3, 1), (1, 3)}, 则
R S {
}, S R {
}, R R {
}。
3. 令 Z(x): x 是 整 数 , O(x): x 是 奇 数 , 则 “ 不 是 所 有 整 数 都 是 奇 数 ” 符 号 化 为
姓 名:
学 号:
线
广东工业大学考试试卷 ( A 卷)
课程名称:
离散数学
试卷满分 100 分
考试时间: 2015 年 1 月 12 日 ( 第 19 周 星期 一 )
题 号 一 二 三 四 五 六 七 八 九 十 总分
评卷得分 评卷签名 复核得分 复核签名
一、单项选择题(本大题共 5 小题,每小题 4 分,共 20 分)
(1 分) (2 分)
(6 分) (8 分) (10 分)
六、证明 p (q r), q (r s), p q s
(1)q
(2) q (r s)
P(附加) P
(3) r s
(4)p
(5) p (q r)
T(1)(2)I P
P
(6) q r
(7)r (8)s