期末题型:
一、 单选题(每题2分,10题共20分)
命题判定、哈斯图边计算等
二、 填空题(每空1分,共20分)与非和或非的表示等
三、 简答题(10题,每题6分,共60分)推理的构造证明、等值演算求主范式、前束范式的提取、一阶逻辑的命题定义(类似苏格拉底三段论)、证明给定集合和关系是偏序关系/等价关系等
考试时间:1hour50min
09-04
1539
![](https://csdnimg.cn/release/blogv2/dist/pc/img/readCountWhite.png)
06-16
1461
![](https://csdnimg.cn/release/blogv2/dist/pc/img/readCountWhite.png)
10-14
4097
![](https://csdnimg.cn/release/blogv2/dist/pc/img/readCountWhite.png)
11-19
2357
![](https://csdnimg.cn/release/blogv2/dist/pc/img/readCountWhite.png)