中国地质大学（武汉）：《数字逻辑实验》课程教学资源（实验内容）实验八 555时基电路（设计性）

中国地质大学（武汉）：《数字逻辑实验》课程教学资源（实验内容）实验六 译码器和数据选择器（综合性）

中国地质大学（武汉）：《数字逻辑实验》课程教学资源（实验内容）实验四 集成电路测试及研究（设计性）

中国地质大学（武汉）：《电工与电子技术》课程教学资源（课件讲稿）门电路逻辑功能测试

中国地质大学（武汉）：《EDA技术基础与实践（Electronic Design Automation）》课程教学资源（实验内容）实验二 组合逻辑设计

中国地质大学（武汉）：《电工与电子技术》课程教学资源（实验内容）实验十 组合逻辑电路

高等学校计算机专业教材：《离散数学》课程PPT课件_第五章 谓词逻辑

2.1 线性表逻辑结构； 2.2 线性表的顺序存储及运算实现； 2.3 线性表的链式存储和实现

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第四章 命题逻辑

人民邮电出版社：高等学校计算机专业教材《离散数学》课程教学资源（PPT课件）第五章 谓词逻辑