组合存在定理 基本计数公式 递推方程 生成函数 容斥原理 Bolya定理

21.1加法法则与乘法法则 21.2排列组合 21.3二项式定理与组合恒等式 21.4多项式定理

北京大学：《离散数学》离散数学之二：《代数结构与组合数学》第22章 组合计数方法 22.5 指数生成函数

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

本章首先介绍分析和设计数字电路时常用的数学工具--逻辑代数和卡 诺图，包括逻辑代数的基本公式和基本定律，逻辑函数的代数化简法和卡诺图化简法。 然后介绍组合逻辑电路的分析方法与设计方法。另外，按其结构和工作原理不同，数字 电路可分为两大类，组合逻辑电路和时序逻辑电路

15.3 代数系统的同态与同构 15.4 同余关系与商代数

15.1 二元运算及其性质 第二节 代数系统

„ 19.1 格的定义与性质 „ 19.2 子格、格同态与格的直积 „ 19.3 特殊的格 „ 19.4 布尔代数

„ 19.1 格的定义与性质 „ 19.2 子格、格同态与格的直积 „ 19.3 特殊的格 „ 19.4 布尔代数

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