离散数学及应用.pptVIP

计算机科学与技术学院

〔SchoolofComputerScience

Technology)

魏雪丽

2025-4-91

引言

一.离散数学与计算机

计算机开辟了脑力劳动机械化和自动化

的新纪元。

计算机的诞生，人们就要为它进一

步开展创立新的理论，就要寻找适宜的

数学工具。

例：为了描述新开拓的应用领域

中的各种数据的结构，就需要适宜的数

•2025-4-9

学工具。

引言〔续〕

Ø故计算机各分支领域中的理论问题，交

错地使用着现代数学的各种不同的论题。

Ø因为计算机系统从本质上说是一种离散

性的结构，它的许多性质可以在有限数学系

统的框架中来理解，从中选出一些必要而且

是根本的主干论题称为离散数学。

Ø因此，离散数学是随着计算机科学的开

展而逐步建立的，它形成于七十年代初期，

是一门新兴的工具性学科。

•2025-4-9

引言〔续〕

Ø离散数学是现代数学的一个重要分支，

是计算机科学与技术的理论根底，是计算机

科学与技术专业的核心、骨干课程。

Ø它以研究离散量的结构和相互间的关系

为主要目标，其研究对象一般是有限个或可

数个元素，因此它充分描述了计算机科学离

散性的特点。

•2025-4-9

引言〔续〕

二、该课程的主要内容：

离散数学课程的主要内容可以分为四个局部：

数理逻辑，包括命题逻辑和谓词逻辑。(教材的第一、二章)

集合论，包括集合、关系和函数。〔教材的第三、四章〕

代数系统，包括代数系统的一般概念，几类典型的代数系

统和格。〔教材的第五、六章〕

图论，包括图的根本概念，几种特殊的图。(教材的第七

章)

•2025-4-9

引言〔续〕

三、学习该课程的目的：

1.为学习计算机后继课程，如数据结构、

编译理论、操作系统、数据库原理、形式语

言及自动机、软件工程与方法学、计算机网

络和人工智能、高级程序设计语言等，提供

必要的数学根底；为阅读计算机文章作充分

的数学准备。

•2025-4-9

引言〔续〕

数理逻辑：人工智能，数据库，形式语言及自动机，

高级程序设计语言。

集合论：信息结构与检索，数据结构。

图论：可计算性理论，计算机网络,数据结构。

代数结构：开关理论，逻辑设计和程序理论，语法

分析。

2.通过学习离散数学，可以培养和提高自己的抽象思

维和逻辑推理能力，获得解决实际问题能力，为以

后的软、硬件学习和研究开发工作，打下坚实的数

学根底。

•2025-4-9

四、教学要求：

通过该课程的学习，学生应当了解并掌握计

算机科学中普遍采用的离散数学中的一些根本概念、

根本思想、根本方法。

五、自学要求：

由于课时少，内容多且抽象，故要求课前

预习，课后复习；认真完成习题，通过做课后习题，

来加深对该课程中的一些根本概念的理解，逐步提

高自己的抽象思维和逻辑推理能力。

作业每星期一交，作为平时成绩。

•2025-4-9

六、参考教材：

1.《离散数学及其应用》魏雪丽等编著机械工业

出版社

2.《离散数学》左孝凌等著上海科技文献出

版社

3.《离散数学—理论·分析·题解》左孝凌等著

上海科技文献出版社

4.《DiscreteMathematicsandItsApplications》

〔英文版〕(美)KennethH.Rosen著机械工

•2025-4-9

业出版社

七、考核方式：

期末考试成绩占70%,平时成绩占30%.

•2025-4-9

v逻辑：是研究推理的科学。公元前四世纪由希腊的

哲学家亚里斯多德首创。作为一门独立科学，十七

世纪，德国的莱布尼兹(Leibniz)给逻辑学引进了符

号,又称为数理逻辑(或符号逻