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

一、基本概念 二、概念的引入 三、概念及性质 四、计算法 五、两类曲面积分之间的联系 六、小结思考题

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

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

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

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

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

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

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

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