2.1状态空间法 2.2问题归约法 2.3谓词逻辑法 2.4语义网终法 2.5其他方法 2.6小结

2.1组合逻辑电路的分析与设计方法 2.2加法器 2.3数值比较器 2.4编码器 2.5译码器 2.6数据选择器 2.7数据分配器 2.8只读存储器(ROM) 2.9可编程逻辑器件(PLD)

西安石油大学计算机学院：《程序设计语言（C语言）》课程教学资源（PPT课件）第05章 逻辑运算和判断选取控制

1、掌握关系运算符、逻辑运算符及其表达式的正确使用。 2、掌握 if 语句和 switch 语句的使用。 3、了解程序调试的基本方法

河南中医药大学：《数据库规划与设计》课程教学资源（课件讲稿）第六章 逻辑数据模型（LDM）

河南中医药大学：《数据库规划与设计》课程教学资源（实验指导）实验5 逻辑数据模型LDM的创建及管理

1.1数字电子技术基础 1.2数制与编码 1.3逻辑代数基础 1.4逻辑函数的化简 1.5逻辑函数的表示方法及其相互转换 1.6门电路

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

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

本章讲述完整性约束和关系数据库规范化理论,这是 数据库逻辑设计的理论依据。 深刻理解完整性约束的基本概念;