工业大学稿第讲讲课资料.ppt

离 散 数 学;简介;;;;;请根据下面事实，找出凶手：;;;;第一部分 数理逻辑;第二部分 集合论;第五部分 图论;第三部分 代数结构;第四部分 组合数学（选讲）;第六部分 初等数论 （选讲）;第一部分 数理逻辑;*;;;数理逻辑的产生 ;;数理逻辑的发展 ;;;;;;;数理逻辑论的体系 ;;数理逻辑的内容 ;;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;;;;;;;;;;;;什么是必要条件，充分条件，充分必要条件。;;? 首先，对以下三个词的释意要有所明确:(摘自金 山词霸)。 ? 只要：表示具有充分的条件,正句常用“就”、“也” 、“都”、“便”相呼应,表明由这种条件产生的一种 结果。 只有：表示必需的条件,下文常用“才”、“方”呼 应。 除非：表示唯一的条件,常跟“才”、“否则”、“不 然”等合用,相当于“只有”。 ;;;符号化：;*;*;*;*;*;*;*;*;*;第一节 小　结;练习： ;*;*;*;*;*;*;注意：;;;*;;;构造真值表的方法：;*;*;*;*;*;*;问题？;;习题课;;;;;;第二章 命题逻辑等值（等价）演算;第二章 命题逻辑等值（等价）演算;*;*;*;;*;*;基本的等值（等价）式;;*;*; “∪” 对“∨”与“∩”对“∧”的对比;2.2 等值演算与置换规则;2.3 等值演算的应用举例;;;;;;;*;*;*