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

《非线性泛函理论与方法》教学资源（书籍文献）PDF电子版（目录）

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

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

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

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

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

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

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

上海交通大学：《离散数学》课程教学资源（试卷习题）历届考试试题_试卷（A卷）试卷