《离散数学》课程教学资源（线性代数 linear algebra）英文教材PDF电子版

上海交通大学：《离散数学》课程教学资源（PPT课件）命题逻辑的推理

上海交通大学：《离散数学》课程教学资源（讲义）第五章 谓词逻辑的等值和推理演算

上海交通大学：《离散数学》课程教学资源（讲义）第二章 题逻辑的等值与推理演算

上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

上海交通大学：《离散数学》课程教学资源（讲义）第一章 命题逻辑的基本概念

清华大学计算机系列教材：《离散数学——数理逻辑与集合论》教学资源（石纯一、王家廞）

上海交通大学：《离散数学》课程教学资源（讲义）图论——第二章 道路与回路

上海交通大学：《离散数学》课程教学资源（讲义）图论——第三章 树

上海交通大学：《离散数学》课程教学资源（讲义）图论——第一章 图的基本概念