《软件学报》：用于指针逻辑的自动定理证明器 Automated theorem prover for pointer logic

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

软件的定义和特征 计算机软件是计算机程序加上该程序的各种文档。 计算机软件的特征–软件是一种逻辑性系统元素

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第五章 触发器

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第三章 门电路

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第八章 脉冲单元电路

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第五章 触发器

Two forms of Completeness Theorem Let Γ be a set of wffs. The following parts are equivalent. If Γ |= A then Γ ` A If Γ is consistent, then Γ is satisfiable

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第三章 门电路

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第七章 大规模集成电路