笔记离散数学 绪论课件.pptVIP

离散数学(1)Discrete Math;绪 论;离散数学 Discrete Math 研究离散对象及其相互间关系的一门数学学科。 研究离散结构的数学分支。（辞海） 计算机不论硬件还是软件都属于离散结构，所以它所应用的数学必是离散数学。 性质：此课是计算机科学与技术专业的重要的理论基础课，也是该专业的主干课。;1. 数理逻辑（Mathematics Logic):命题逻辑、谓词逻辑 2. 集合论(Sets)：集合与关系、函数 3. 代数系统（Algbra System)：代数结构、格和布尔代数 4. 图论（Graph Theory) ：图论 5. 组合数学（Combinatorics) *6. 形式语言与自动机 (由于时间的关系，只讨论前五部分内容。) ;1.计算机的诞生与发展和离散数学密切相关 计算机正是在离散数学中的图灵机的理论指导下诞生的(1936提出图灵机---1946诞生计算机)。;计算机科学的发展十分迅速，计算机的硬件从第1代起现在发展到第4代(电子管?晶体管?集成电路 ?大规模集成电路)，第5代(与人工智能相结合)即将问世。 计算机科学已发展成为一门一级学科。计算机产业已发展成为一个高科技的新兴产业。计算机应用越来越广，所有领域几乎无所不及。; 计算机科学的发展离不开计算机的理论。例如，程序设计语言：机器语言?汇编语言?高级面向过程语言?面向对象语言?智能语言? …；系统软件：如操作系统，单用户? 多用户? 网络操作系统，…，即DOS?Windows?Windows NT?…；这些发展都依赖于离散数学、数据结构、编译原理、操作系统、数据库原理、软件工程、网络等理论。其中离散数学是基础，其它理论中都用到离散数学中的基本概念、基本思想、基本方法。 ;2.此课是主干课，也是后继课的基础课 离散数学的后继课程：数据结构、编译原理、算法分析与设计、人工智能、数据库原理、…… 3.培养学生抽象的思维和逻辑推理能力 4.培养学生创新能力 离散数学可以帮助学生提高数学素质,提高创造力。 ;特点：内容较杂，概念多，定理多，比较抽象，给学习带来一定难度。 学习方法： 强调：逻辑性、抽象性 注重：概念、方法与应用 ;逻辑学--是一门研究思维形式和思维规律的 科学。 它包含： 辩证逻辑：是研究人的思维中的辩证法。 例如：用全面的和发展的观点观察事物；具体问题具体分析；实践是检查事物正误的唯一标准；等等。 形式逻辑：是研究人的思维的形式和一般规律。概念、判断、推理是形式逻辑的三大基本要素。 ;人的思维过程： 概念 ? 判断 ? 推理 正确的思维： 概念清楚，判断正确，推理合乎逻辑。 人们是通过各种各样的学习(理论学习和实践学习)来掌握许多概念和判断。 形式逻辑主要是研究推理的。 推理：是由若干个已知的判断(前提)，推出新的判断(结论)的思维过程。 ;类比推理：由个别事实推出个别结论。 如：地球上有空气、水，地球上有生物。 火星上有空气、水。 ? 火星上有生物。 归纳推理：由若干个别事实推出一般结论。 如：铜能导电。铁能导电。锡能导电。铅能导 电。…… ? 一切金属都导电。 演绎推理：由一般规律推出个别事实。 形式逻辑主要是研究演绎推理的。;例1： 如果天下雨，则路上有水。(一般规律) 天下雨了。 (个别事实) 推出结论：路上有水。 (个别结论) 例2： (大前提)： 所有金属都导电。 (一般规律) (小前提)： 铜是金属。 (个别事实) 推出结论：铜能导电。 (个别结论) ; 用数学方法研究推理的一门数学学科 -------- 一套符号体系 + 一组规则 数理逻辑的内容： 命题逻辑、谓词逻辑、公理化集合论、递归论、模型论、证明论 这里只讨论“命题逻辑”和“谓词逻辑”。; 设P表示：天下雨。 设Q表示：路上有水。 设?表示：如果…则… 例1的推理过程表示为： 前提1：P?Q (如果天下雨,则路上有水。) 前提2：P (天下雨了。) 结 论：Q (路上有水。) (这就是第1章命题逻辑中要讨论的问题); 设M(x): x是金属 。 设C(x): x能导电。 设?x 表示: 所有的x。 设a表示铜。 例2的推理过程表示为： 前提:?x(M(x)?C(x)) (所有金属都导电。) 前提:M(a) (铜是金属。) 结论:C(a) (铜能导电。) (其中符号M(x)是谓词，这就