1
代数结构与组合数学
离散数学之二
Algebraic Structure and
Combinatorial Mathematics
北京大学信息学院屈婉玲
2
引言
?课程简介
?数学发展的三个阶段
?现代数学的特点
?离散数学与计算机科学
?学习安排
?教学要求
?教学安排
?教材与参考书
3
数学发展的三个阶段
发展阶段 标志 数、形 研究内容
初等数学 常量
几何图形
常量的代数运算----初等代数
图形间的关系----初等几何
高等数学 起点:解析几何
标志:微积分
变量
曲线、曲面
函数和变换、数形紧密结合
高等代数、几何、分析
现代数学 起点:集合论
标志:公理化
结构观点
集合
空间、流形
数、形难以区分
集合和映射
4
现代数学的特点
高度抽象和统一
学科 内容 时间
算数 算术运算 几千年
小代数 一次方程、二次方程 1千年
大代数 高次方程、线性方程组 16-19世纪
高等代数 矩阵、置换群、数域等具体代数结构19-20世纪
抽象代数 代数系统、公理+结构 20世纪20年代
泛代数 范畴 近几十年
5
现代数学的特点(续)
注重公理化体系的建立和结构分析
?公理化体系
欧几里德的平面几何公理、集合论的公理化体系
?结构分析
集合、对应规则+公理构成结构
例如:序结构(偏序集)
代数结构(群、环、域、格、线性空间)
拓扑结构(距离空间、拓扑空间)
测度结构
上述结构的复合结构(有序距离线性空间)等
6
现代数学的特点(续)
学科交叉、领域交叉
?数学研究领域交叉
?泛函分析、解析数论
?代数拓扑、代数图论
?确定性与非确定性交叉
?随机微分方程
?与其它应用学科交叉
?模糊数学
?运筹学
7
离散数学与计算机科学
?离散数学简介
?离散数学与计算机科学的关系
?学习离散数学的目的
8
离散数学简介
研究对象----离散个体及其结构
研究思想----以集合和映射为工具、体现公理化和结构的思想
研究内容----包含不同的数学分支,模块化结构
数理逻辑:推理、形式化方法
集合论:离散结构的表示、描述工具
代数结构:离散结构的代数模型
图论:离散结构的关系模型
组合数学:离散结构的存在性、计数、枚举、优化、设计
离散概率(概率统计课程)
9
离散数学主要内容的知识结构
图论集合论
组合数学
数理逻辑
代数结构
10
离散数学与计算机科学的关系
?数理逻辑人工智能、程序正确性证明及验证
?集合论关系数据库模型
?图论数据结构、数据库模型、网络模型等
?代数结构
软件规范、形式语义、编译系统
编码理论、密码学、数据仓库
?组合数学算法设计与分析、编码理论、容错
11
学习离散数学的目的
?掌握离散结构的描述语言和分析工具
为其它专业课程的学习打基础
为掌握软硬件模型的建模与分析方法准备必要
的数学工具
?学习现代数学的思想方法
?培养分析问题解决问题的能力
12
离散数学的学习安排
学习要求
知识体系:基本概念、基本计算、基本证明方法
注意能力的培养:
获取知识的能力----读书
分析问题解决问题的能力----解题
理论联系实际的能力----联系其它课程或研究课题
学习安排
平时成绩:40%
作业、小测验
期末笔试:60%
13
教材:
离散数学教程---耿素云、屈婉玲、王捍贫,北大出版社
参考书:
[1] 离散数学,耿素云,屈婉玲,高教出版社,2002.
[2] Discrete Mathematics and Its Applications,
Kenneth H. Rosen, Mc Graw Hill Companies, 1998.
[3] 离散数学及其应用(译著),袁崇义,屈婉玲,王捍贫,
刘田,机械工业出版社,2002.
[4] 离散数学习题解----抽象代数分册,张立昂,
北京大学出版社,1990
教材与参考书