《离散及数学》讲义 - 1.pptx

离散数学;PowerPoint 演示文稿;PowerPoint 演示文稿;第一篇 数理逻辑;数理逻辑的内容;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;第一章 命题逻辑;1-1 命题;1-1 命题;1-1 命题;1-1 命题--实例：说明命题;1-1 命题;命题的表示法;PowerPoint 演示文稿;1-2联结词;1-2 联结词;1-2 联结词;1-2 联结词;1-2 联结词;1-2 联结词;1-2 联结词;习题1-1，1-2;PowerPoint 演示文稿;1-3 命题公式与翻译;1-3 命题公式与翻译;1-3 命题公式与翻译;1-3 命题公式与翻译;1-3 命题公式与翻译;小结;1-3 命题公式与翻译;PowerPoint 演示文稿;1、真值表;1、真值表;1、真值表;1、真值表;1、真值表－列表完整性;2、等价公式;2、等价公式－概念;2、等价公式－证明(真值表法);2、等价公式－汇总;2、等价公式－验证（等价公式表;2、等价公式－等价置换;2、等价公式－等价置换（概念）;命题公式证明－利用等价公式;小结;作业;PowerPoint 演示文稿;1、重言式－概念（重言式）;1、重言式－概念（矛盾式）;1、重言式－性质1;1、重言式－举例;1、重言式－性质2;2、蕴含式－概念;2、蕴含式－证明方法;2、蕴含式－证明举例;2、蕴含式－性质1;2、蕴含式－性质2;小结;作业;PowerPoint 演示文稿;主要介绍其他联结词;1、其他联结词－;1、其他联结词－;1、其他联结词－;1、其他联结词－ ?、 ?;2、最小联结词;2、最小联结词;2、最小联结词;小结;1-6 其他联结词;PowerPoint 演示文稿;序;1、对偶;1、对偶－举例;1、对偶－性质1;1、对偶－性质1（验证）;1、对偶－性质1;1、对偶－举例;2、范式－定义;2、范式－求法;1-7 对偶与范式;2、范式－主范式（小项、大项）;3、小项（大项）性质;4、主析取（合取）范式及性质;4、主范式的求解－应用举例（1;4、主范式的求解－应用举例（1;4、主范式的求解－应用举例（2;4、主范式的求解－步骤(利用等;5、主范式简化表示;5、主范式简化表示－性质;小结;作业;PowerPoint 演示文稿;论证概念;1、推理理论－概念;2、证明方法－真值表法;2、证明方法－真值表法（举例）;2、证明方法－直接证法;2、证明方法－直接证法（举例1;2、证明方法－直接证法（举例2;2、证明方法－间接证法（概念）;2、证明方法－间接证法（1）;2??证明方法－间接证法（1）举;2、证明方法－间接证法（2）;2、证明方法－间接证法（2）举;举例;小结;作业