- 7
- 0
- 约1.83千字
- 约 5页
- 2017-09-02 发布于浙江
- 举报
离散数学作业一
《离散数学》作业(一)
写出下列基本定义(10分)
命题
偏序关系
关系R的对称闭包
幂集
大项、小项
写出下列命题的真值表(10分)
P→P
(P→P)∨(P→ ┐P)
(┐Q→ ┐P) →(P→Q)
(P∨┐Q)))))))) === a∧b=a === a∨b=b(10分)
八、(1)写出一个无向图具有汉密尔顿回路的充分条件(5分)
(2)写出一个无向图具有欧拉回路的充要条件,并判别下列图是否为欧拉图(11分)
G1 G2
九、设G是一个有V个结点,e条边的连通简单平面图,试证明,若V≥3,则有e≤3V-6并确定下土是否为平面图。(10分)
Ks
《离散数学》作业(二)
一、写出下列基本定义(10分)
1、等价关系
2、布尔格
3、同态核
4、汉密尔顿路
5、阿贝尔群
二、用P表示命题“天气很好”,Q表示“我们去野餐”。试将下列命题翻译成汉语,并可能将它简化。(10分)
1、P∨┐P 2、PQ 3、┐Q→ ┐P 4、┐(┐P∨Q))∧B(X))====(X)∧(X),则( ).
2、设集合,A上的关系,,则( )。
3、设命题公式,则所有使它取真值为1的解释是( )。
4、在公式中,从左向右算起,变量x的第一次出现是( )的,第二次出现是( )的。(指约束或自由)
5、设布尔代数上的布尔表达式为:
,则( )
二、单选题(15分)
1、设集合,A上的关系,则( )
A B C
D
2、设命题公式,则它是( )
A 恒真的 B 恒假的 C 可满足的 D 析取范式
3、命题取真值1的充要条件是( )
A 对任意x,G(x)使取真值1
C有某些使取真值1 D 以上答案都不对
4、设关系,则R具有( )
A 自反性 B 对称性 C 传递性 D 反对称性
5、设图G是有6个顶点的连通图,总度数为20,则从G中删去( )边后使之变成树
A 10 B 5 C 3 D 2
三、计算题
1、设R和S是集合上的关系,其中
,计算和
2、求命题公式的主析取范式
3、设一阶逻辑公式化为与它等价的前束合取范式
4、给定权2,3,5,7,8构造一棵最优二叉树(只写出画图步骤)
四、证明题
1、设是群,且。证明:在A中至少存在,其中e是么元。
2、证明:在布尔代数中,有:
《离散数学》作业(四)
一、填空题(15分)
1、已知集合,则的幂集合( )。
2、设R使集合A上的等价关系,则R所具有的关系的三个特性是( )。
3、设命题逻辑公式,则使G取真价为1的解释是( )。
4、群的定义中的三个主要条件是( )、( )、( )。
5、有限图G是树的两个等价命题是( )、( )。
二、选择题(单选,15分)
1、下面关于集合的表示中正确的为( )。
A B C D
2、设,A上的关系,则R不具备( )。
A 自反性 B 传递性 C 对称性 D 反对称性
3、设G、H是命题公式,,则当( )时,.
A B C D
4、设循环群G有6个元素,a是G的一个生成元素,e是G的一个生成元素,e是单位元素,则集合( )是G的子群。
A B C D
5、设G是有5个顶点的完全图,则从G中删去( )条可以得到树。
A 10 B 5 C 4 D 6
三、计算题
1、求命题公式的合取范式与析取范式(10分)
2、设集合,A上的关系,试求:
⑴ 写出R的关系矩阵
⑵ 画出R的关系图
⑶ R具有关系的那些特性(自反、对称、传递、反对称)(15分)
3、设一阶逻辑公式,求G的前束范式(10分)
4、判断下面两个图形哪个是哈密尔顿图?哪个不是哈密尔顿图?是与不是要说明原因,对哈密尔顿图写出哈密尔顿回路(10分)
5、设有完全m叉树,其树叶数为t,分枝点数为I,则(10分)
四、证明题(10分)
利用形式演绎法证明 蕴涵
您可能关注的文档
最近下载
- 常州大学《大学英语一》2024-----2025学年期末试卷(A卷).pdf VIP
- 艾米克变频器AMK3100中文说明书使用手册.pdf
- 必背古诗词75首(可打印) .pdf VIP
- 某知名汽车维修企业员工手册范本.docx VIP
- 2025年二建水利b证考试真题及答案.docx
- 安全驾驶教育培训课件.ppt VIP
- 汽车维修车间员工职责手册.docx VIP
- 黑龙江省哈尔滨市第三中学校2025-2026学年高二上学期9月月考物理试卷.docx VIP
- 初中语文名著导读--《骆驼祥子》知识点总结归纳.docx VIP
- 实施指南(2025)《DAT 22-2015 归档文件整理规则》.pptx VIP
原创力文档

文档评论(0)