离散模型视角

知识模块

模型表示

模型元素

集合、关系、函数、图、树、布尔代数(整数、序列、矩阵、自动机，拓展)

模型分析

模型约束

命题逻辑、谓词逻辑、关系、函数、布尔代数

性质分析

命题逻辑、谓词逻辑、证明技巧

性能分析(拓展)

组合计数(拓展)

模型转换

算法基础知识