14.2.1 逻辑代数及基本运算 14.2.2 逻辑代数的运算法则

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

2.1 数字逻辑基础  2.1.1 数制、转换及编码  1）数制的基与权  2）几种进制及其特点  3）不同进制的表示方法  4）不同进制数的转换  5）信息的编码方式  2.1.2 二进制数的算术运算  2.1.3 二进制数的逻辑运算(布尔代数)  2.1.4 逻辑门电路  2.1.5 加法器电路  2.1.6 其它逻辑电路 2.2 微处理器

第5章组合逻辑设计实践(二) 一、文档标准和电路定时 二、常用的中规模组合逻辑器件

主要教学参考书目: 1.姜国文、潘世墨:《普通逻辑概论》,厦门大学出版社1992年版。 2.《普通逻辑》编写组:《普通逻辑》,上海人民出版社1993年出版

6.1时序逻辑电路的基本概念 6.2时序逻辑电路的一般分析方法 6.3计数器 6.4数码寄存器与移位寄存器 6.5时序逻辑电路的设计方法

第4章组合逻辑设计原理 一、逻辑代数基础 二、组合电路分析 三、组合电路综合

1、掌握组合逻辑电路的分析和设计方法。 2、熟悉编码器、译码器、多路选择器、数值比较器、加法器等典型中规模组合逻辑器件的逻辑功能与应用

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

第一节 普通逻辑的对象和性质 第二节 普通逻辑与语法修辞的关系 第三节 学习普通逻辑的意义和方法