计算机科学与技术学院 2011-10-6
引 言（续）
数理逻辑：人工智能，数据库，形式语言及自动机， 数理逻辑：人工智能，数据库，形式语言及自动机， 高级程序设计语言。 高级程序设计语言。 集合论： 信息结构与检索，数据结构。 集合论： 信息结构与检索，数据结构。 图论： 可计算性理论，计算机网络,数据结构 数据结构。 图论： 可计算性理论，计算机网络 数据结构。 代数结构：开关理论，逻辑设计和程序理论， 代数结构：开关理论，逻辑设计和程序理论，语法 分析。 分析。 2. 通过学习离散数学，可以培养和提高自己的抽象思 通过学习离散数学， 维和逻辑推理能力，获得解决实际问题能力， 维和逻辑推理能力，获得解决实际问题能力，为以 后的软、硬件学习和研究开发工作， 后的软、硬件学习和研究开发工作，打下坚实的数 学基础。 学基础。
计算机科学与技术学院 2011-10-6
引
言（续）
离散数学是现代数学的一个重要分支， 离散数学是现代数学的一个重要分支， 计算机科学与技术的理论基础， 与技术的理论基础 是计算机科学与技术的理论基础，是计算机 科学与技术专业的核心、骨干课程。 科学与技术专业的核心、骨干课程。 它以研究离散量的结构和相互间的关系 它以研究离散量的结构和相互间的关系 离散量 有限个或 为主要目标，其研究对象一般是有限个 为主要目标，其研究对象一般是有限个或可 数个元素 因此它充分描述了计算机科学 元素， 计算机科学离 数个元素，因此它充分描述了计算机科学离 散性的特点 的特点。 散性的特点。
计算机科学与技术学院 2011-10-6
引 言（续）
四、教学要求： 通过该课程的学习， 通过该课程的学习 ， 学生应当了解并掌握计算 机科学中普遍采用的离散数学中的一些基本概念、 机科学中普遍采用的离散数学中的一些基本概念、 基本思想、基本方法。 基本思想、基本方法。 五、自学要求： 由于课时少，内容多且抽象，故要求课前预习， 由于课时少，内容多且抽象，故要求课前预习， 课后复习；认真完成习题，通过做课后习题， 课后复习；认真完成习题，通过做课后习题，来加 深对该课程中的一些基本概念的理解， 深对该课程中的一些基本概念的理解，逐步提高自 己的抽象思维和逻辑推理能力。 己的抽象思维和逻辑推理能力。 作业每星期一交， 作业每星期一交，作为平时成绩。
离散数学( 离散数学(Discrete Mathematics)
计算机科学与技术学院 （ School of Computer Science & Technology) 魏雪丽
2011-10-6 1
更多精彩请关注 更多精彩请关注 更多精彩请关注
计算机科学与技术学院 2011-10-6
引 言（续）
三、学习该课程的目的： 1. 为学习计算机后继课程 ， 如数据结构 、 为学习计算机后继课程， 如数据结构、 编译理论、操作系统、数据库原理、 编译理论、操作系统、数据库原理、形式语 言及自动机、软件工程与方法学、 言及自动机、软件工程与方法学、计算机网 络和人工智能、高级程序设计语言等， 络和人工智能、高级程序设计语言等，提供 必要的数学基础； 必要的数学基础；为阅读计算机文章作充分 的数学准备。 的数学准备。
计算机科学与技术学院 2011-10-6
引
言（续）
故计算机各分支领域中的理论问题， 故计算机各分支领域中的理论问题，交 错地使用着现代数学的各种不同的论题。 错地使用着现代数学的各种不同的论题。 因为计算机系统从本质上说是一种离散 因为计算机系统从本质上说是一种离散 性的结构 ，它的许多性质可以在有限数学系 统的框架中来理解， 统的框架中来理解，从中选出一些必要而且 是基本的主干论题称为离散数学。 是基本的主干论题称为离散数学。 因此，离散数学是随着计算机科学 计算机科学的发 因此，离散数学是随着计算机科学的发 展而逐步建立的，它形成于七十年代初期， 展而逐步建立的，它形成于七十年代初期， 是一门新兴的工具性学科。 是一门新兴的工具性学科。
计算机科学与技术学院 2011-10-6
引 言（续）
六、参考教材：
1.《离散数学及其应用》魏雪丽等编著 机械工业出版社 《离散数学及其应用》 2 .《离散数学》 左孝凌等著 上海科技文献出版社 《离散数学》 3. 《离散数学 — 理论 分析 题解》 左孝凌等著 理论·分析 题解》 分析·题解 上海科技文献出版社 4. 《Discrete Mathematics and Its Applications》 （英文 》 版） (美)Kenneth H.Rosen 著 机械工业出版社 美
计算机科学与技术学院 2011-10-6
引
言一. 离散数ຫໍສະໝຸດ 与计算机 计算机开辟了脑力劳动机械化和自动化的新 纪元。 纪元。 计算机的诞生， 计算机的诞生，人们就要为它进一步发 展创建新的理论，就要寻找合适的数学工具。 展创建新的理论，就要寻找合适的数学工具。 例：为了描述新开拓的应用领域中的各 种数据的结构，就需要适宜的数学工具。 种数据的结构，就需要适宜的数学工具。
计算机科学与技术学院 2011-10-6
引 言（续）
二、该课程的主要内容： 该课程的主要内容： 离散数学课程的主要内容可以分为四个部分： 离散数学课程的主要内容可以分为四个部分： 数理逻辑，包括命题逻辑和谓词逻辑。(教材的第一、二章 教材的第一、 数理逻辑，包括命题逻辑和谓词逻辑。 教材的第一 二章) 集合论，包括集合、关系和函数。 教材的第三、四章） 集合论，包括集合、关系和函数。（教材的第三、四章） 代数系统，包括代数系统的一般概念， 代数系统，包括代数系统的一般概念，几类典型的代数系 统和格。 教材的第五、六章） 统和格。（教材的第五、六章） 图论，包括图的基本概念，几种特殊的图。 (教材的第七章 图论，包括图的基本概念，几种特殊的图。 教材的第七章) 教材的第七章
计算机科学与技术学院 2011-10-6
引 言（续）
七、考核方式： 考核方式： 期末考试成绩占70%, 平时成绩占 平时成绩占30%. 期末考试成绩占
计算机科学与技术学院 2011-10-6