2.1 分支结构 2.2 关系运算和逻辑运算 2.3 循环结构 2.4 break和continue语句 2.6 经典算法举例

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

–推理的形式结构 –自然推理系统P

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

苏州大学：电子信息学院《数字系统与逻辑设计》课程教学大纲

引言 直接证明 反证法 分情形证明 等价性证明 存在性证明 唯一性证明 寻找反例 数学与猜想

11.1 双稳态触发器 11.2 寄存器 11.3 计数器 11.4 555定时器 11.6 数模和模数转换

2.1 分支结构 2.2 关系运算和逻辑运算 2.3 循环结构 2.4 break和continue语句 2.6 经典算法举例

7.1 概述 7.2 只读存储器( ROM ) 7.3 随机存储器( RAM ) 7.4 存储器容量的扩展 7.5 用存储器实现组合逻辑函数