5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5．5．1 推理规则 5．5．2 使用推理规则的推理演算举例 5．6 谓词逻辑的归结推理法

4.1 基本概念 4.2 等价关系 ➢等价关系 ➢等价类 ➢商集 ➢划分 4.3 序关系 ➢部分序关系 ➢哈斯Hasse图 ➢极大元与极小元 ➢最大元与最小元 ➢上界与下界

2.1 等值定理 2.2 等值公式 2.2.3 置换规则 2.2.4 等值演算举例 2.4 联结词的完备集 2.4.1 命题联结词的个数 2.4.2 联结词的完备集 2.5 对偶式 2.6 范式

一、函数的定义 二、函数定义 三、从4到B的函数 四、函数的像 五、函数的性质 六、函数的单射、满射、双射性 七、构造双射函数

1 Preliminaries 2 The Probabilistic Method 3 Linearity of Expectation 5 The Second Moment 6 The Lovász Local Lemma 7 Strong Concentration Around the Expectation 8 Concentration of Lipschitz Functions 9 Concentration: Beyond the Lipschitz Condition

◼ 自反性 ◼ 反自反性 ◼ 对称性 ◼ 反对称性 ◼ 传递性 ◼ 闭包定义 ◼ 闭包的构造方法  集合表示  矩阵表示  图表示 ◼ 闭包的性质

⚫内容：推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理：推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述：本章对命题等值和推理演算进行的讨论，是以语义的观点进行的非形式的描述

◼ 10.1 加法法则和乘法法则 加法法则与乘法法则 应用实例 ◼ 10.2 基本排列组合的计数方法 排列组合问题的分类 集合的排列与组合 多重集的排列与组合

◼ 确定型有穷自动机(DFA) ◼ 非确定型有穷自动机(NFA) ◼ 带ε转移的NFA(ε-NFA) ◼ 用ε-NFA模拟右线性文法 ◼ 用右线性文法模拟DFA

8.4 平面图 ▪ 平面图与平面嵌入 ▪ 平面图的面、有限面、无限面 ▪ 面的次数 ▪ 极大平面图 ▪ 极小非平面图 ▪ 欧拉公式 ▪ 平面图的对偶图