离散数学第四版讲义1VIP专享

1 引言Discrete Math. 离散数学研究离散对象及其相互间关系的一门数学学科。研究离散结构的数学分支。（辞海）计算机科学、信息科学、数字化科学的数学基础离散数学的内容：数理逻辑 (Mathematics Logic) 集合论 (Sets) 代数结构 (Algebra Structure) 图论 (Graph Theory) 组合论 (Combination) 线性代数 (Linear Algebra) 概率论 (Probability Theory) ⋯⋯与高等数学的区别教学内容：数理逻辑 (Mathematics Logic) 集合论 (Sets) 代数结构 (Algebra Structure) 图论 (Graph Theory) 离散数学的由来与发展：一、古老历史：计数：自然数发展：图论： Konigsberg 七桥问题二、年青新生：计算机：二进制运算离散数学课程设置：计算机系核心课程信息类专业必修课程其它类专业的重要选修课程离散数学的后继课程：数据结构、编译技术、算法分析与设计、人工智能、数据库、 ⋯⋯2 离散数学课程的学习方法：强调：逻辑性、抽象性；注重：概念、方法与应用参考教材：1、离散数学（耿素云，屈婉玲，北大版）2、离散数学（方世昌，西安电子科大版）3、离散数学结构 （第三版、 影印版）（Bernard Kolman 、Robert C.Busby 、Sharon Ross，清华版）4、离散数学提要与范例（阮传概、卢友清，北京广播学院版）第一章命题逻辑（ Proposition Logic）1、命题符号化及联结词2、命题公式及分类3、等值演算4、联结词全功能集5、对偶与范式6、推理理论逻辑学：研究推理的一门学科数理逻辑：用数学方法研究推理的一门数学学科——一套符号体系+ 一组规则数理逻辑的内容：古典数理逻辑：命题逻辑、谓词逻辑现代数理逻辑：逻辑演算、公理化集合论、递归论、模型论、证明论1、命题符号化及联结词命题 (Proposition)：一个有确定真或假意义的语句。EXAMPLE 1 下列句子都是命题：1. 华盛顿是美国的首都。2. 多伦多是加拿大的首都。3. 1+1=2。4. 2+2=3。命题 1 和 3 是真命题， 2 和 4 是假命题。EXAMPLE 2 3 考虑如下句子：1. 现在几点了？2. 认真阅读一下。3. x+1=2. 4. x+y=z. 句子 1 和 2 不是命题，因为它们都不是陈述句。句子 3 和 4 不是命题，由于x，y 和 z 的值不确定，使得它们的真值都不唯一。命题的语句形式：陈述句非命题语句：疑问句、命令句、感叹句、非命题陈述句：悖论语句（真值不唯一）命题的符号表示：大小写英文字母：P、Q、R、⋯⋯p 、q 、 r⋯⋯命题真值 (Tru...