哈尔滨理工大学呻斛生課程 离影数 高散数学概述 ○谢忐颧刻蚤娥陈海龙 ○计算机系 ○xzq11@ tom com
离散数学概述 谢志强 刘丕娥 陈海龙 离 散 数 学 哈尔滨理工大学本科生课程 xzq11@tom.com 计算机系
课程名称 口离散数学 Discrete Mathematics 口离散数学结构 Discrete Mathemat ca Structures
课程名称 ❑离散数学 Discrete Mathematics ❑离散数学结构 Discrete Mathematical Structures
课程简介 口离散数学,是现代数学的一个重要分支,计算机科学与 技术一级学科的核心课程,是整个计算机学科的专业基 础课。 口离散数学是以研究离散量的结构和相互间的关系为主要 目标,其研究对象一般地是有限个或可数个元素,因此 它充分描述了计算机科学离散性的特点。 口离散数学是随着计算机科学的发展而逐步建立的,它形 成于七十年代初期,是一门新兴的工具性学科
课程简介 ❑ 离散数学，是现代数学的一个重要分支，计算机科学与 技术一级学科的核心课程，是整个计算机学科的专业基 础课。 ❑ 离散数学是以研究离散量的结构和相互间的关系为主要 目标，其研究对象一般地是有限个或可数个元素，因此 它充分描述了计算机科学离散性的特点。 ❑ 离散数学是随着计算机科学的发展而逐步建立的，它形 成于七十年代初期，是一门新兴的工具性学科
后续课程 数据结构 操作系统 编译理论 算法分析 系统结构 容错判断 机器定理证明 数据库原理 人工智能 ■■■
后续课程 数据结构 操作系统 编译理论 算法分析 系统结构 容错判断 机器定理证明 数据库原理 人工智能 …… ……
高做数学的发展 口18世纪以前,数学基本上是研究离散对象的数量和空间关系 的科学。 口之后,因天文学,物理学的发展,如行星轨道,牛顿三大力学定 律等研究,极大地推动了连续数学(以微积分,数学物理方程 实、复变函数论为代表)的发展。 口离散对象的研究则处于停滞状态。 口20世纪30年代,图灵提出计算机的理论模型——图灵机。 口这种模型早于实际制造计算机十多年,现实的计算机的计算 能力,本质上和图灵机的计算能力一样。 口由于在计算机内,机器字长总是有限的,它代表离散的数或 其它离散对象,因此随着计算机科学和技术的迅猛发展,离 散数学就显得重要
离散数学的发展 ❑ 18世纪以前, 数学基本上是研究离散对象的数量和空间关系 的科学。 ❑ 之后,因天文学,物理学的发展,如行星轨道,牛顿三大力学定 律等研究,极大地推动了连续数学(以微积分,数学物理方程, 实、复变函数论为代表)的发展。 ❑ 离散对象的研究则处于停滞状态。 ❑ 20世纪30年代, 图灵提出计算机的理论模型——图灵机。 ❑ 这种模型早于实际制造计算机十多年,现实的计算机的计算 能力, 本质上和图灵机的计算能力一样。 ❑ 由于在计算机内,机器字长总是有限的, 它代表离散的数或 其它离散对象，因此随着计算机科学和技术的迅猛发展,离 散数学就显得重要