西安石油大学：《电子技术基础（数字）Fundamentals of Electronic Technique（Digital Logic Circuits）》课程教学资源（电子教案，打印版）逻辑代数基础

《高中思想政治》全程设计同步配套教学课件（选修3逻辑与思维）第1单元 树立科学思维观念_综合探究 学会科学思维 提升思维品质

《高中思想政治》全程设计同步配套教学课件（选修3逻辑与思维）第1单元 树立科学思维观念_第3课 领会科学思维_第2框 学习科学思维的意义

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

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

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

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

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

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

中国科学技术大学：《数理逻辑》课程教学资源（电子教案，PPT课件讲稿）