离散数学考研习题重点分析.ppt

离 散 数 学 考研 复 习 复 习 时 注 意 准确掌握每个概念 灵活应用所学定理 注意解题思路清晰 证明问题时,先用反向思维(从结论入手)分析问题,再按正向思维写出证明过程. 总 复 习 复习重点 第一章 命题逻辑 1.联结词的定义(含义及真值表定义). 2.会命题符号化. 3.重言式的证明. 4. 等价公式的证明,记住并能熟练应用常用公式. 5.会写命题公式的范式, 能应用范式解决问题. 6.熟练掌握命题逻辑三种推理方法. 第二章 谓词逻辑 1.准确掌握有关概念. 2.会命题符号化.(如2.3题) 3.掌握常用的等价公式和重言蕴涵式.包括: 带量词的公式在个体域内展开式,量词否定,量词辖域扩充, 量词分配公式. 4.会用等价公式求谓词公式的真值.(如2.13) 5.会写前束范式 6.熟练掌握谓词逻辑推理. 第三章 集合论初步 1.集合的表示,幂集,全集,空集. 2.集合的三种关系(包含,相等,真包含)的定义. 3.集合的五种运算及相关性质. 4.应用包含排斥原理. 第四章 二元关系 1.关系的概念,表示方法. 2.二元关系的 性质的定义, 熟练掌握性质的判断及证明. 3.掌握关系的复合,求逆及闭包运算(计算方法及有关性质) 4.掌握等价关系的判断,证明,求等价类和商集. 5.偏序关系的判断,会画Hasse图,会求一个子集的