上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算
文件格式: PDF大小: 1.36MB页数: 137
上海交通大学：《离散数学》课程教学资源（讲义）第二章 命题逻辑的等值与推理
文件格式: PDF大小: 5.82MB页数: 327
上海交通大学：《离散数学》课程教学资源（讲义）错误汇总（补充2，主讲：刘胜利）
文件格式: DOC大小: 509.5KB页数: 7
上海交通大学：《离散数学》课程教学资源（讲义）图论——第四章（平面图与图的着色）
文件格式: PDF大小: 3.28MB页数: 163
上海交通大学：《离散数学》课程教学资源（讲义）图论——第二章（道路与回路）
文件格式: PDF大小: 3.13MB页数: 146