• 有序对与笛卡儿积 • 二元关系 • 关系的运算 • 关系的性质 • 关系的闭包 • 等价关系与划分 • 偏序关系

7.1 有序对与笛卡尔积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包运算 7.6 等价关系与划分 7.7 偏序关系

7.1 有序对与笛卡儿积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包 7.6 等价关系与划分 7.7 偏序关系

1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念

4.1序偶与笛儿积4,7序关系 4.2关系及表示 4.3关系的运算 4.4关系的性质 4.5关系的闭包

§1集合的概念和表示法 §2集合的运算 §3序偶与笛卡尔积 §4关系及其表示 §5关系的性质 §6复合关系和逆关系 §7关系的闭包运算 §8集合的划分和覆盖 §9等价关系与等价类 §10相容关系 §11序关系

4.1 基本概念 4.2 等价关系 ➢等价关系 ➢等价类 ➢商集 ➢划分 4.3 序关系 ➢部分序关系 ➢哈斯Hasse图 ➢极大元与极小元 ➢最大元与最小元 ➢上界与下界

1. Peano系统 2.后继,归纳集,自然数,自然数集 3.数学归纳法原理 4.传递集 5.自然数的运算 6.自然数上的序关系

在实际应用中，往往不仅需要计数，而且要把各种情况都枚举出来。 一、 字 典序排 列/lexicographic ordering for permutation 定义:

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