期末题型:
一、 单选题(每题2分,10题共20分)
命题判定、哈斯图边计算等
二、 填空题(每空1分,共20分)与非和或非的表示等
三、 简答题(10题,每题6分,共60分)推理的构造证明、等值演算求主范式、前束范式的提取、一阶逻辑的命题定义(类似苏格拉底三段论)、证明给定集合和关系是偏序关系/等价关系等
考试时间:1hour50min
期末题型:
一、 单选题(每题2分,10题共20分)
命题判定、哈斯图边计算等
二、 填空题(每空1分,共20分)与非和或非的表示等
三、 简答题(10题,每题6分,共60分)推理的构造证明、等值演算求主范式、前束范式的提取、一阶逻辑的命题定义(类似苏格拉底三段论)、证明给定集合和关系是偏序关系/等价关系等
考试时间:1hour50min