离 散 数 学考研 复 习10/19/2022 1复 习 时 注 意准确掌握每个概念灵活应用所学定理注意解题思路清晰证明问题时,先用反向思维(从结论入手)分析问题,再按正向思维写出证明过程.10/19/2022 2全书知识网络：图论篇同构同构格与布尔代数半群,独异点,群,环,域代数系统篇n 元运算命题逻辑谓词逻辑集合初步二元关系函 数集合论篇数理逻辑篇10/19/2022 3总 复 习复习重点 第一章 命题逻辑1.联结词的定义(含义及真值表定义).2.会命题符号化.3.重言式的证明.4. 等价公式的证明,记住并能熟练应用常用公式.5.会写命题公式的范式, 能应用范式解决问题.6.熟练掌握命题逻辑三种推理方法.10/19/2022 4第二章 谓词逻辑1.准确掌握有关概念.2.会命题符号化.(如2.3题)3.掌握常用的等价公式和重言蕴涵式.包括: 带量词的公式在个体域内展开式,量词否定,量词辖域扩充, 量词分配公式.4.会用等价公式求谓词公式的真值.(如2.13)5.会写前束范式6.熟练掌握谓词逻辑推理.第三章 集合论初步1.集合的表示,幂集,全集,空集.2.集合的三种关系(包含,相等,真
