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

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

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

北京大学：《离散数学》离散数学之二《代数结构与组合数学》第17章 群（5/5）习题课——群的证明

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

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

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

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

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象