–集合的等势及其性质 –重要的等势或不等势的结果 –集合的优势及其性质 –自然数与自然数集合 –集合的基数 –可数集

◼ 有限集合  元素的个数称为该集合的基数；  满足包含排斥原理。 ◼ 无限集合  元素无限多，如：自然数集合N、整数集I、实数集R等。 ◼ 问题：  对于这样的集合有没有基数呢？  如果有，基数是多少？  无限集合之间有无大小的差别? ◼ 本章主要借助于函数讨论集合的所谓“大小”问题。这里用到自然数集合这个重要的概念讨论无限集

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

定义1：n个元素的集合A中任意选择r个（r  n）进行排列称为A的一个r-排列/r-Permutation定理1： n个元素的集合A的r-排列数为n(n-1)(n-2)…(n-r+1)

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

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

6.1 代数结构的定义与例 6.2 代数结构的基本性质 6.3 同态与同构 6.4 同余关系 6.5 商代数 6.6 积代数

工业中常用带埋管的移动床来加热或冷却固体颗粒物料,其过程涉及颗粒流与管壁间的复杂传热,而颗粒绕流圆管的流动过程对其传热效果起着决定性作用.为简化描述颗粒的流动过程,通过分析颗粒绕流圆管的特性,建立了拟漏斗流模型,并给出了模型所需颗粒绕流圆管描述参数的取值范围,模型可用以求取颗粒绕流圆管的速度场和时长等参数.建立了埋管移动床实验系统,考察了颗粒绕流顺排管束的过程;同时利用离散单元法(DEM)对该过程进行数值模拟,获得了颗粒绕流圆管的流动过程,并利用移动床实验结果对比验证了离散单元法数值模拟结果;最后,对比了基于拟漏斗流模型的计算结果和离散单元法数值模拟结果,并根据此结果对拟漏斗流模型的描述参数进行了确定

主要内容：（1）变异指标；（2）全距和四分位差；（3）平均差、标准差和标准分；（4）绝对离势和相对离势；（5）偏度（及峰度）所谓离中趋势，是指数列中各变量值之间的差距和离散程度。离势小，平均数的代表性高；离势大，平均数代表性低

–平面图的基本概念 –欧拉公式 –平面图的判断 –平面图的对偶图 –顶点着色及点色数 –地图的着色与平面图的点着色 –边着色及边色数