第一节 归纳逻辑概述 第二节 简单枚举归纳推理 第三节 科学归纳推理 第四节 探寻现象间因果关系的逻辑方法 第五节 概率归纳推理 第六节 统计归纳推理 第七节 类比推理

概述 触发器是时序逻辑电路的基本单元 组合逻辑电路的输出状态完全由当时的输入变量 的组合状态决定,与电路的原状态无关。 时序逻辑电路的输出状态不仅决定于当时的输入状 态,而且与电路原来的状态有关,具有记忆功能

4.1 关系运算符和关系表达式 4.2 逻辑运算符和逻辑表达式 4.3 逻辑选择型程序设计 4.4 选择结构程序设计举例

1．了解并熟悉逻辑无环流可逆直流调速系统的原理和组成。 2．掌握各控制单元的原理、作用及调试方法。 3．掌握逻辑无环流可逆调速系统的调试步骤和方法。 4．了解逻辑无环流可逆调速系统的静特性和动态特性

4.1 概述 4.3 若干常用组合逻辑电路 4.4 组合逻辑电路中的竞争——冒险现象 4.5 用multisim分析组合逻辑电路

– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用

3.1晶体管的开关特性 3.2TL集成逻辑门 3.3ECL集成逻辑门与I2L电路 3.4Ms逻辑门 3.5cmos电路

在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

10.1逻辑代数基本概念、公式和定理 10.2逻辑函数的化简方法 10.3逻辑函数的表示方法及其相互之间的转换

5-1 概述 5-2 时序逻辑电路的分析方法 5-3 若干常用的时序逻辑电路 5-4 时序逻辑电路的设计方法