复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_11/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_10/29

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

一、历史和特点 1.1 历史 1.2 特点 二、定义和代数结构 三、Tanner图 四、构造 五、译码 六、随机LDPC码

„ Ramsey定理的简单形式 „ 两个简单命题 „ Ramsey定理 „ 小Ramsey数的有关结果 „ Ramsey数的性质 „ Ramsey定理的推广 „ Ramsey定理的一般形式 „ Ramsey定理 „ 关于一般Ramsey数的结果 „ Ramsey定理的应用

8.1 半群 8.2 群的定义与性质 8.3 子群 8.4 陪集与拉格朗日定理 8.5 正规子群与商群 8.6 特殊群：循环群与置换群

一、环的定义 二、环的性质 三、特殊的环 四、有限域 18.2子环、理想、商环、环同态 一、子环定义及判别 二、理想、商环、环同态

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

„ 求解递推方程 „ 计数多重集的r组合数 „ 不定方程的解 „ 整数拆分

„ 递推方程的定义 „ 递推方程的实例 „ 常系数线性递推方程的求解 „ 常系数线性递推方程定义 „ 公式解法 „ 递推方程在计数问题中的应用 „ 换元法 „ 迭代归纳法--递归树 „ 差消法 „ 尝试法 „ 应用实例