离散数学

阅读路径

1. 布尔代数与布尔函数

   布尔恒等式、函数表示、函数完备性，以及代数、卡诺图和奎因–麦克拉斯基化简方法。

2. 形式逻辑与自然演绎

   语法、模型、逻辑后承、自然演绎与量词规则，以及一致性和完备性的区别。

3. 命题逻辑的自动推理

   模型检查、Horn 子句、前向与后向链、归结反驳及 DPLL，并说明算法保证与适用条件。

4. 一阶逻辑的归结与定理证明

   替换、合一、Skolem 化、因子化和完整归结证明，以及搜索策略与终止性的边界。

5. 数论与密码学基础

   整理整除性、模运算、数的表示、素数算法、同余方程和初等密码学。

6. 关系与序

   整理二元关系、闭包、等价类、偏序，以及有序数组上的查找。