《李刚版离散数学》大一期末考试复习方向_离散数学期末总复习

《李刚版离散数学》大一期末考试复习方向由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“离散数学期末总复习”。

《离散数学大一期末考试复习方向》

一、命题逻辑

证明等值式

①等值演算

判断公式的类型

合取（析取）范式

②范式

主合取（主析取）范式

重点复习题目：课本P55的2.5.3和2.5.2

③推理证明

P63 的2.6.2

二、谓词逻辑

①前述范式。P88的3.35

②推理论证P91的苏格拉底、P93的3.4.1（4）

三、关系 P152的5.4.3。

四、等价转换。P157的.5.5.4