南京邮电大学 离散数学 23年第一学期考试回忆

20分填空题+80分大题

用的是橙色封面的《离散数学》。

填空题

谓词演算的等价式与蕴含式  (\forall x)(A(x)\land B(x))\Leftrightarrow(\forall x){A(x)\land(\forall x)}{B(x)}

带谓词的翻译,不难。

A有m个元素,从A到A有___个关系。(若X,Y有限,则从X到Y的关系有2^{\left | m \right |\left | n \right |}个。)

给定了两个集合P,Q,求其复合关系的关系闭包,Q的传递闭包。P\bigcap Q(是一个空集)______(具有/不具有)自反性,______(具有/不具有)可传递性。

给定一个哈斯图,______(是否)为分配格,_____是否为有补格。

最后一个填空题(自己画的。)

大题

1-3题10分,4-5题20分。

1. 第1章 命题逻辑

关于3个人退休了去泰康养老院的方案。

填真值表,求主析取范式,并翻译其含义。
有坑,“除非A不去泰康,否则C也不去泰康。”

2. 第3章 集合与关系

给定集合{a,c,{a,b},{a,c},{b,c},{a,b,c}},关系是被包含关系 \supseteq,画出哈斯图关系图

关系图有坑,自己可以被包含自己,考试时没想到。需要画一个自回路。

求{{b},{a,c}}的上界,最小元,极大元,(还有一个忘了)?

3. 第3章 集合与关系

如果R,Q是在A,B上的等价关系,……,证明

T = \left \{ <<x_1,y_1>, <x_2,y_2>\,\mid\,<x_1,x_2> \in A,<y_1,y_2> \in B\right \}
是在A✕B上的等价关系(对称性,自反性,传递性)。

4. 第6章 格与布尔代数

有点难。

题目初始给定的偏序关系是左图。

1. 是否为格?为什么?

2. 补充线条,变为布尔格S。

3.求 \overline{d \wedge f} ?

4. 求 S\oplus \varnothing 的值。

5. 在该布尔格S上有一个 \ast 运算,x\ast y=(x\vee \bar y)\wedge (\bar x\vee y),问 \left \langle S,\ast \right \rangle 是否为群?

5. 第7章 图论

该题目包装为一道工程运用题,连线代表公司的合作关系。

1. 求割点。

2. 是否可以不重复的调查完所有关系?(也就是求欧拉路)

3. 是否可以不重复的调查到所有公司?(也就是求汉密尔顿路)

4. 给定下面的这个关系图,画出邻接矩阵。

关系图
关系图

5. 从v2到v3存在几条长度为3的关系?

6. 求可达性矩阵P。

关系证明题

送分题,老大、老二、老三、老四的上学。谁去上学,那么谁也上学…………

内容和这个差不多,不过要简单一点。

离散2021-2022-1-A卷 证明题1
离散2021-2022-1-A卷 证明题1

(1) 符号化以上命题。

        前提:

        结论:

(2) 用PT规则给出证明过程。

  • 13
    点赞
  • 17
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值