离散数学-开课2010.pptVIP

如何学习离散数学 由于《离散数学》是一门数学课，且是由几个数学分支综合在一起的，内容繁多，非常抽象，因此即使是数学系的学生学起来都会倍感困难，对计算科学专业的学生来说就更是如此。大家普遍反映这是大学四年最难学的一门课之一。但鉴于《离散数学》在计算科学中的重要性，这是一门必须牢牢掌握的课程。既然如此，在学习《离散数学》时，大家最应该牢记的是唐诗“熟读唐诗三百首，不会做诗也会吟。”学习过程是一个扎扎实实积累的过程，不能打马虎眼。离散数学是理论性较强的学科，学习离散数学的关键是对离散数学（集合论、数理逻辑和图论）有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。 长春工业大学离散数学课程组 离 散 数 学 计算机科学与工程学院 2010年?秋 什么是离散数学 离散数学是研究离散结构的数学分科。 进一步描述： 离散数学是现代数学的一个重要分支，它研究离散量及其相互关系，是计算机科学与技术的理论基础。也称为计算机数学。 计算机研究对象大都是离散形式，离散数学当之无愧地可以充分描述计算机科学的离散性特点，是研究计算机科学的基本数学工具和最合适的理论手段。 是计算机类专业的重要课程。 由于离散数学在计算机科学中的重要作用，国内外几乎所有大学的计算机类专业的教学计划中都将其列为核心课程进行重点建设，它是其他骨干课程，如数据结构、操作系统、人工智能、计算机网络、软件工程、编译原理等的先修课程，国内许多大学将其作为计算机专业类研究生入学考试的内容。 课程地位 研究对象----离散个体及其结构 研究思想----以集合和映射为工具、体现公理化和结构的思想 研究内容----包含不同的数学分支，模块化结构 数理逻辑：推理、形式化方法 集合论：离散结构的表示、描述工具 代数结构：离散结构的代数模型 图论：离散结构的关系模型 组合数学：离散结构的存在性、计数、枚举、优化、设计 离散概率（概率统计课程） 离散数学主要内容 集合论 ·集合概念及运算 ·映射概念及特征 ·关系概念及相关内容 13 图论 ·图的相关理论 ·图的相关应用 2 近世代数 ·群、环、域 ·格 ·布尔代数 2 数理逻辑 ·命题逻辑 ·谓词逻辑 13 数据库模型及网络模型 关系数据库及线性结构 人工智能及定理机器证明 编译系统、密码学、编码学及数据仓库 离散数学讲授内容 为什么离散数学在计算学科的知识掌握中有着举足轻重的意义呢? 计算学科与离散数学的关系 (1)从计算机科学学科发展的需要看离散数学的地位。 一是信息革命要求计算机的应用领域不断扩大到所有的问题，使得许多不同领域的问题都能在计算机系统中得到解决。为了完成这个任务，就必须用一种符号语言构成一个包括了不同领域的通用模型。 离散数学恰好能给出构成一个包括了不同领域的通用模型的思维方法，并且告诉我们怎样用不同的语言（符号语言、图形语言、逻辑语言等）从最简单的对象（集合）出发表示通用模型。 计算学科与离散数学的关系 二是一旦让计算机去解决问题，那么计算机应自动地在有限和有效的时间内得出解。由于要求在有限和有效时间内计算机自动完成，那么问题求解的方法必然是构造性的，所了解的结构必然是一种离散结构。离散数学中的求解问题的方法就是基于离散结构的构造性思维方法。 (2)从计算机科学学生能力角度培养的看离散数学的作用。 计算学科与离散数学的关系 在计算机科学知识掌握的过程中应是“硬件跟着软件走，软件跟着模型走，模型跟着学科实际应用走；学科实际应用跟着自然走”。而最主要的培养环节应该是软件跟着模型走，模型跟着学科实际应用走。 学生需要如下三个方面的能力：构造模型的能力；算法设计的能力；程序设计的能力。 计算学科与离散数学的关系 构造模型的能力就是在通用的语言（例如数量代数和非数量代数的语言、符号逻辑语言、数理统计语言等）中构造解决实际问题的模型的能力。离散数学中的大部分内容是讨论构造或生成领域性模型的基本方法。 算法设计的能力当领域性模型化为计算机能懂的计算模型后，将需要计算机解决的问题写成指令过程告诉计算机做什么和怎样做，使得计算机根据这个指令步骤能自动地得到问题的解，这种指令集合就是解决这个问题的算法。离散数学中所讨论的离散结构（例如偏序结构、良序结构、群、环、域、各种代数格、置换、范畴等）以及这些结构的同态、同构等，在算法设计中都起着重要的作用。 (3)关于计算机科学思维方法看离散数学的思维训练。 计算学科与离散数学的关系 既然我们要作为计算机系统的主人去塑造能满足实际应用的计算机系统，那么怎样塑造计算机系统呢？去塑造计算机系统需要什么样的思维方法呢？ “离散数学能够使我们在更高的高度去了解和学习计算机科学” 。 符号处理层面 构造性思维 找寻满足