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

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

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

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

1 概述 2 业务对象模型设计 3 功能逻辑设计 4 类的优化

西安石油大学：《电子技术基础（数字）Fundamentals of Electronic Technique（Digital Logic Circuits）》课程教学资源（电子教案，打印版）组合逻辑电路的分析和设计

1. 研究对象的特点及困难 2. Drude模型 3. 研究方法的特点及课程逻辑线索

2.1 关系模型的基本概念 2.2 关系代数 2.3 关系演算 2.4 关系代数表达式的优化 2.5 关系逻辑

复旦大学：《面向对象分析和设计》课程资料_UML和模式_Chapter 13 - 逻辑架构和UML包图

定义、特点、意义和伦理 研究逻辑与一般过程 常用类型 项目评估