第一章集合论基础 1 [兼容模式].pdfVIP

Discrete Mathematics 课程要求课程要求 • 教材 • 课时安排 • 课程要求以及考试安排课程要求以及考试安排 •• 参考书目参考书目 • 耿素云，屈婉玲编著．离散数学(修订版)．北京：高等教育出版社,2004 • 左孝凌左孝凌，，李为鉴李为鉴，，刘永才编著刘永才编著．离散数学离散数学．上海上海：：上海科学技术文献出版上海科学技术文献出版 社,1982 • 孙吉贵，杨凤杰，欧阳丹彤，李占山编著．离散数学．高等教育出版社， • [美]Kenneth H.Rosen著．袁崇义，屈婉玲，王捍贫，刘田译．离散数学 及其应用．北京：机械工业出版社， 联系电话联系电话： Email:Email:ruochenliu@sinaruochenliu@cn 办公地点办公地点：：主楼主楼II 区区436 绪绪 言言 • 正如马克思所说的：“一门科学，只有当它能够 运用数学时运用数学时，，才算真正发展了才算真正发展了。。””计算机正是在计算机正是在 离散数学中图灵机理论的指导下诞生的。 • 离散数学是数学的一个分支，它以离散量作为其 主要研究对象主要研究对象，，是研究离散对象的结构以及它们是研究离散对象的结构以及它们 之间相互关系的科学。由于计算机不论硬件还是 软件都属于离散结构软件都属于离散结构，，所以计算机所应用的数学所以计算机所应用的数学 必是离散数学。 绪绪 言言 •• 1818世纪以前世纪以前,, 数学基本上是研究离散对象的数量和空间关数学基本上是研究离散对象的数量和空间关 系的科学。 • 之后之后,,因天文学因天文学,,物理学的发展物理学的发展,,如行星轨道如行星轨道,,牛顿三大力学牛顿三大力学 定律等研究,极大地推动了连续数学(以微积分,数学物理 方程, 实、复变函数论为代表)的发展。 • 离散对象的研究则处于停滞状态离散对象的研究则处于停滞状态。。 • 20世纪30年代, 图灵提出计算机的理论模型—— 图灵机。 • 这种模型早于实际制造计算机十多年这种模型早于实际制造计算机十多年,,现实的计算机的计现实的计算机的计 算能力, 本质上和图灵机的计算能力一样。 • 由于在计算机内由于在计算机内,,机器字长总是有限的机器字长总是有限的,, 它代表离散的数它代表离散的数 或其它离散对象，因此随着计算机科学和技术的迅猛发展, 离散数学就显得重要。 绪绪 言言 • 离散数学课程是 计算机系核心课程 信息类专业必修课 其它类专业的重要选修课程其它类专业的重要选修课程 • 离散数学也是离散数学也是后继课的基础后继课的基础 • 数据结构,操作系统,编译理论,算法分析,系统结构, 容错判断容错判断,,机器定理证明机器定理证明,,数据库原理数据库原理,,人工智能人工智能…… 绪绪 言言 • 主要学习内容： 1.1. 集合论集合论 2.2. 代数系统代数系统 3. 图论 4. 数理逻辑 第二篇第二篇 集合论集合论 •主要内容： 集合论基础集合论基础 二元关系二元关系 函数函数 第一章第一章 集合论基础集合论基础 •本章主要介绍如下内容： 基本概念及集合的表示方法基本概念及集合的表示方法 集合间的关系集合间的关系 特殊集合 集合的运算 §1.1 集合的基本概念 1.1.集合与元素集合与元素 集合：是由确定的对象(客体)构成的集体。 一般用大写的英文字母表示一般用大写的英文字母表示。。 这里所谓“确定”是指：论域内任何客体，