数理逻辑(Mathematics Logic) 集合论(Sets) 组合论(Combination) 图论(Graph Theory) 代数结构(Algbra Structure) 计算模型(Computing Model) 1.1 逻辑.ppt 1.2 命题演算.ppt 1.3 谓词与量词.ppt 1.4-5 集合.ppt 2.1 算法.ppt 2.2 数论.ppt 2.4 矩阵.ppt 3 二元关系.ppt 3.1 证明方法.ppt 3.2 数学归纳方法.ppt 4.1 计数原理.ppt 4.4 排列与组合.ppt 4.5 排列与组合的生成.ppt 5 关系.ppt 7 图论.ppt