1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

为什么只考虑五个联结词?即 这五个联结词能否表示所有联结词? 这五个联结词是否有多余的? 要回答这两个问题,必须回答:

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

一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理

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

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

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

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

„ 子群定义 „ 子群判别定理 „ 重要子群的实例 „ 生成子群 „ 中心 „ 正规化子 „ 共轭子群 „ 子群的交 „ 子群格 „ 循环群的定义 „ 循环群的分类 „ 生成元 „ 子群 „ 循环群的实例

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