贝叶斯定理；概率、方差、期望之间的关系; 期望的线性性质

两道题都用到了期望的线性性质。

鸽笼原理

关键是学会构造抽屉！

证明关系的某些性质

关于格的定义要清楚，用来解决1,3两问。这个题的第二问略有难度，要知道有界格是一定有上下确界的！

数学归纳法证明

结构归纳法证明归纳定义的集合具有某些性质：

这题不用归纳也行，但是归纳说起来更清楚些。这题也是证明函数性质的经典题目。

命题逻辑，自然演绎法

学会几个词：前提引入，全称示例，全称生成，存在示例，存在生成。化简律，德摩根律，拒取式（也叫否定后件），析取三段论，假言三段论，假言推理，assumption，。
更专业的：

函数的性质

数论

其他

考察概念和计数的基本功
区分：反对称，非对称，反自反，反传递。
区分：等价关系，偏序关系，拟序关系（反自反+传递），相容关系（自反+对称）
区分闭包：r,s,t
只有s和r不能交换复合顺序，\(s(t(R))\subseteq t(s(R))\)
区分：良序，全序，良基

折线法，卡特兰数