 1：等价关系与等价类  2：偏序关系、偏序集、偏序格

一、等价关系,等价类,商集 二、划分,第二类 Stirling数 三、偏序,线序,拟序,良序 四、哈斯图 五、特殊元素:最?元,极?元,?界,?确界 六、(反)链

• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

一、等价关系的定义与实例 二、等价类及其性质 三、商集与集合的划分 四、等价关系与划分的一一对应 五、偏序关系 六、偏序集与哈斯图 七、偏序集中的特定元素

 归纳： 数学归纳法与强数学归纳法 运用良序公理来证明  递归： 递归定义 结构归纳法与递归算法

西安电子科技大学：《离散数学》课程教学课件（题解）第三章 集合与关系 3-6-2 序关系

西安电子科技大学：《离散数学》课程教学课件（题解）第三章 集合与关系 3-6-1 序关系

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

第一节序偶与笛卡尔积 第二节关系的概念 第三节复合关系与逆关系 第四节关系的性质

南京大学：《离散数学 Discrete Mathmatics》课程教学资源（课件讲稿，2018）关系——第14章 偏序关系