§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

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

一、数学的研究对象是什么？ 本身已如此一目了然，以致于没有任何词汇能够把他解说得更清楚的事物，绝不要试图给他下定义。以免被所使用的含混不清的词 汇所欺骗

▪等值式 ▪基本等值式 ▪等值演算 ▪置换规则 ▪复合联结词  排斥或  与非式  或非式 ▪真值函数 ▪联结词全功能集

数学归纳法的公式表示： [P(1) ∧ m(m  1 ∧ P(m) → P(m+1))] →  n P(n) 1、归纳基础：P(1) 2、归纳步骤： m (m  1 ∧ P(m) → P(m+1))

◼ 半群与独异点  半群定义与性质  交换半群与独异点  半群与独异点的子代数和积代数  半群与独异点的同态 ◼ 群  群的定义与性质  子群与群的直积  循环群  置换群

◼ 代数系统定义 ◼ 同类型与同种的代数系统 ◼ 子代数 ◼ 积代数

⚫ 有序对与笛卡儿积 ⚫ 二元关系的定义与表示法 ⚫ 关系的运算 ⚫ 关系的性质 ⚫ 关系的闭包 ⚫ 等价关系与划分 ⚫ 偏序关系