华东理工大学 《离散数学》课程.pdfVIP

华东理工大学 《离散数学》课程 任课教师：施劲松 Email: pineshi@ 《离散数学》课程简介 《离散数学》是以研究离散量的结构和相 互间关系为主要内容的一门课程，内容涉及数 理逻辑、集合论、近世代数、图论等数学分支; 与计算机科学中的数据结构，编译原理，操作 系统，形式语言和自动机，逻辑设计，机器定 理证明等课程有密切的联系，故也被称为计算 机数学。 离散数学的知识体系 形式 集合 计算 初等 应 可选知 系统 基数 理论 数论 用 识单元 证 特殊 高级 代数 应 推荐知 明 的图 计数 结构 用 识单元 技 术 函 数 树 基本 应 关 系 图 计数 用 核心知 识单元 集 合 基本逻辑 离散数学内容——“离散” • 集合论 • 内容很多，范围很广 • 图论 • “离”：概念很多，之间联系不多 • 代数结构 • “散”：各部分思想、方法差异很 • 组合数学 大 • 数理逻辑 • 浮于概念，不能深入 • 初等数论 • 这么多概念到底有什么用？ • 计算理论 • ….. 各部分内容之间可以不离散 ——用课程目的统一所有内容 • 课程目的：提供计算机科学的数学基础 – 计算机科学需要各部分的内容， – 信息与计算科学的需要 • 集合：数组，关系数据库 • 图论：各种数据结构 • 代数结构：代数编码 • 组合：算法复杂性分析 • 逻辑：数字逻辑 • 初等数论：密码 • 计算理论：计算机不可解问题 各部分内容之间可以不离散 ——用集合统一所有内容 • 图V，G 也是集合： – 集合有序对A , B也是集合 • 群G, *也是集合 – *是G上的二元运算，也是集合 • 初等数论、组合都是关于自然数的性质 – 自然数也是集合 • 逻辑是集合 – 逻辑是形式系统，形式系统是集合 • 计算理论涉及的自动机、图灵机、文法等都是用集合定义的 • 离散数学为什么不称为集合论？ – 用不同名称强调各特殊离散数学结构的特殊性质 – 集合本身有不严谨地方 关于网络学习资源 华东理工大学课程中心网站： http:// 相关教学资源：教材 • Discrete Methematics and Its Applications(sixth Edition), Kenneth H. Rosen ，机械工业出版社，2008. • Concrete Mathmatics——A Foundation for Computer Science(Second Edition), Ronald L. Graham, Donald E. Knuth, Oren Patashnik, 机械工业出版社，2002. • 离散数学，屈婉玲等，高等教育出版社，2008年. • 离散数学及其应用，傅彦等，高等教育出版社，2007年. 教学资源：相关网站 • 哈佛大学/e-resources/details/d/