离散数学复习大纲.ppt

*大概的考试题型选择题2*10=20填空题2*15=30计算(简答)题10*2=20应用题10*1=10证明题10*2=20*大概的考试题型数理逻辑(第1~5章)45分左右 集合论(第6~8章)55分左右第一章主要内容命题、真值、简单命题与复合命题、命题符号化联结词,,,,及复合命题符号化命题公式及层次公式的类型真值表及应用基本要求深刻理解各联结词的逻辑关系,熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式、矛盾式、可满足式等概念熟练地求公式的真值表,并用它求公式的成真赋值与成假赋值及判断公式类型第二章命题逻辑等值演算主要内容等值式与等值演算基本等值式(16组,24个公式)主析取范式与主合取范式联结词完备集消解法基本要求深刻理解等值式的概念牢记基本等值式的名称及它们的内容熟练地应用基本等值式及置换规则进行等值演算理解文字、简单析取式、简单合取式、析取范式、合取范式的概念深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系,并理解简单析取式与极小项的关系熟练掌握求主范式的方法(等值演算、真值表等)会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值会将公式等值地化成指定联结词完备集中的公式会用命题逻辑的概念及运算解决简单的应用问题掌握消解规则及其性质会用消解算法判断公式的可满足性第三章命题逻辑推理理论主要内容推理的形式结构判断推理是否正确的方法真值表法 等值演算法主析取范式法推理定律自然推理系统P构造推理证明的方法直接证明法附加前提证明法归谬法(反证法)基本要求理解并记住推理形式结构的两种形式:1.(A1A2…Ak):A1,A2,…,Ak结论:B熟练掌握判断推理是否正确的不同方法(如真值表法、等值演算法、主析取范式法等)牢记P系统中各条推理规则熟练掌握构造证明的直接证明法、附加前提证明法和归谬法会解决实际中的简单推理问题第四章一阶逻辑基本概念主要内容个体词、谓词、量词一阶逻辑命题符号化一阶语言L项、原子公式、合式公式公式的解释量词的辖域、指导变元、个体变项的自由出现与约束出现、闭式、解释公式的类型永真式(逻辑有效式)、矛盾式(永假式)、可满足式基本要求准确地将给定命题符号化理解一阶语言的概念深刻理解一阶语言的解释熟练地给出公式的解释记住闭式的性质并能应用它深刻理解永真式、矛盾式、可满足式的概念,会判断简单公式的类型第五章一阶逻辑等值演算与推理主要内容一阶逻辑等值式基本等值式,置换规则、换名规则、代替规则前束范式推理的形式结构自然推理系统NL推理定律、推理规则