把自然语言论证翻译成可判真假、可量化、可推演的形式系统
7 讲用集合运算、映射和关系组织离散对象并证明结构性质
7 讲从命题结构选择直接、逆否、反证、分类、构造和归纳
7 讲用双射、分解、容斥和形式幂级数计算复杂组合对象
7 讲从初值和递推规则求解、估界并用归纳验证序列
7 讲用图模型表达连接、冲突、依赖与路径，并证明遍历算法性质
7 讲利用无环连通结构处理层级、连通、最短路、匹配和流
7 讲建立计算机整数算法、模运算和密码基础的证明工具
7 讲把逻辑公式化简为电路、约束和可验证的布尔函数
7 讲用样本空间、条件概率、随机变量和期望证明存在与分析算法
7 讲用块设计、有限域直觉和距离把冗余转化为可检测可恢复能力
7 讲把逻辑、计数、递推、图、数论、概率和编码串成可复核论证
7 讲