第一节 推理的形式结构 第二节 自然推理系统P

中国地质大学（武汉）：《数字逻辑实验》课程教学资源（实验内容）实验十 数字定时器（设计性）

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

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

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

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

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

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

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

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