2016离散数学考试复习大纲汇编.doc

2016－2017学年度离散数学考试大纲 第一部分 数理逻辑总结 第1章 命题逻辑 一、命题符号及联结词 1、命题联结词 2、命题符号化 二、命题公式及分类 1、命题公式的类型及判断 2、命题公式的成真赋值与成假赋值 例1.6、例1.7 三、等值演算 1、基本等值式 2、等值演算 3、用等值演算判断公式类型 4、用等值演算判断公式是否等值 例1.10 四、析取范式与合取范式 1、主析取范式 2、主合取范式 3、用主析取范式判断公式类型 4、用主析取范式判断公式是否等值 例1.12、例1.14、例1.15 五、推理理论 1、推理的形式结构 2、推理是否正确的判断方法（等值演算、主析取范式） 3、推理定律（P23页） 4、自然推理系统 5、推理规则（P23页） 6、推理证明(例1.21 、例1.22、例1.23、例1.24 六、教材作业：P31-35 1.5(4,6,8)、1.7(2,4,6)、1.12（2）、1.19、1.20、1.22 第2章 一阶逻辑 一、一阶逻辑命题 1、一阶逻辑命题符号化的三个基本要素 2、一阶逻辑命题的符号化 二、一阶逻辑命题公式 1、一阶逻辑命题公式的解释 （1）指导变元、辖域、约束出现 （2）一阶逻辑公式的解释 2、一阶逻辑公式的类型 例2.4、例2.5、例2.8、例2.9 三、一阶逻辑等值式与前束范式（P46页- P49页） 1、一阶逻辑等值式 2