„ 正规子群及判定 „ 定义 „ 判别定理 „ 判别法 „ 商群 „ 定义及其实例 „ 性质

„ 变换群 „ 变换群的定义 „ 变换群的实例 „ n元置换群 „ 置换的表示 „ 置换的乘法和求逆运算 „ 置换群中元素的阶与子群 „ 置换群的实例 „ 陪集及其性质 „ Lagrange定理 „ Lagrange定理的应用 „ 共轭关系与共轭类 „ 群的分类方程

„ 群的定义 „ 定义与实例 „ 等价定义 „ 相关术语 „ 群的性质 „ 幂运算规则 „ 群方程有唯一解 „ 消去律 „ 运算表的置换性质 „ 元素的阶的性质 „ 习题分析

1 函数,偏函数,全函数真偏函数 2 单射,满射双射计数问题 3 象,原象 4 常数函数,恒等函数,特征函数,单调函数, 5 自然映射 6 合成(复合)反函数,单边逆(左逆右逆) 7 构造双射(有穷集,无穷集)

一、等势,优势,劣势,绝对优势,绝对劣势 二、Cantor定理, Schroder-Bernstein-定理 三、基数(势),,N 四、有穷集,无穷集,可数集(可列集) 五、基数运算

1.关联矩阵M(D),M(G) 2.用基本联矩阵M(G)求所有生成树 3.邻接矩阵A(D),相邻矩阵A(G) 4.用A的幂求不同长度通路(回路)总数 米 5.可达矩阵P(D),连通矩阵P(G) 6.单源最短路径问题, Dijkstra算法

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

CPU221: 数字量 10点 CPU222 :40入/38出=78数字量 模拟量 8入或4出或 8入/2出

北京大学：《离散数学》离散数学之二：《代数结构与组合数学》引言（主讲：屈婉玲）

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统