《李刚版离散数学》大一期末考试复习方向由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“离散数学期末总复习”。
《离散数学大一期末考试复习方向》
一、命题逻辑
证明等值式
①等值演算
判断公式的类型
合取（析取）范式
②范式
主合取（主析取）范式
重点复习题目：课本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
