离散数学 期末总复习
离 散 数 学 期 末 总 复 习
复习时注意 准确掌握每个概念 灵活应用所学定理 注意解题思路清晰 证明问题时,先用反向思维(从结 论入手)分析问题,再按正向思维 写出证明过程
复 习 时 注 意 准确掌握每个概念 灵活应用所学定理 注意解题思路清晰 证明问题时,先用反向思维(从结 论入手)分析问题,再按正向思维 写出证明过程
全书知识网络: 命题逻辑 {T,F},,入,V,→),> 谓词逻辑 p(E),,n,∪,-,> 数理逻辑篇 格与布尔代数 图论篇 集合初步 半群独异点,群环,域 二元关系<PAA),,U,,,sp 函数 <Y,,∩,∪,-,⊕,°,-1> 集合论篇 n元运算 同构 代数系统篇
全书知识网络： 图 论 篇 <{T,F},,,,→,> <p(E),~,∩,∪,－,> 格与布尔代数 半群,独异点,群,环,域 <P(A×A),~,∩,∪,－,,,c,r,s,t> <YX,~,∩,∪,－,,,-1> 代数系统篇 n 元运算 命题逻辑 谓词逻辑 集合初步 二元关系 函 数 集合论篇 数理逻辑篇
总复习 复习重点(注:标有的内容,对网络学院学生不作要求 第一章命题逻辑 1联结词的定义含义及真值表定义) 2会命题符号化 3永真式的证明 4.永真蕴涵式的证明,记住并能熟练应用常用公式 5等价公式的证明,记住并能熟练应用常用公式 6会写命题公式的范式,能应用范式解决问题 7.熟练掌握命题逻辑三种推理方法
总 复 习 复习重点 (注: 标有*的内容,对网络学院学生不作要求) 第一章 命题逻辑 1.联结词的定义(含义及真值表定义). 2.会命题符号化. 3.永真式的证明. 4.永真蕴涵式的证明,记住并能熟练应用常用公式. 5.等价公式的证明,记住并能熟练应用常用公式. 6.会写命题公式的范式, *能应用范式解决问题. 7.熟练掌握命题逻辑三种推理方法
第二章谓词逻辑 1准确掌握有关概念 2会命题符号化(如P60题(2) 3掌握常用的等价公式和永真蕴涵式包括: 带量词的公式在论域内展开式,量词否定,量词辖域扩充, 量词分配公式 4会用等价公式求谓词公式的真值(如P66题3) 5会写前束范式 6.熟练掌握谓词逻辑推理. 第三章集合论初步 集合的表示,幂集全集,空集 2集合的三种关系(包含,相等真包含)的定义及证明 3集合的五种运算及相关性质 *4应用包含排斥原理
第二章 谓词逻辑 1.准确掌握有关概念. 2.会命题符号化.(如P60题(2)) 3.掌握常用的等价公式和永真蕴涵式.包括: 带量词的公式在论域内展开式,量词否定,量词辖域扩充, 量词分配公式. 4.会用等价公式求谓词公式的真值.(如P66题(3)) *5.会写前束范式 6.熟练掌握谓词逻辑推理. 第三章 集合论初步 1.集合的表示,幂集,全集,空集. 2.集合的三种关系(包含,相等,真包含)的定义及证明. 3.集合的五种运算及相关性质. *4.应用包含排斥原理