（1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程

逻辑代数( Logic Algebra)是由英国数 学家乔治布尔( George Boole)于1849年首 先提出的,因此也称为布尔代数( Boolean Algebra)。逻辑代数研究逻辑变量间的相互 关系,是分析和设计逻辑电路不可缺少的数学 工具。所谓逻辑变量,是指只有两种取值的变 量:真或假、高或低、1或0

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

6.1概述(时序逻辑电路的特点和分类) 6.2时序逻辑电路的分析方法 6.3若干常用的时序逻辑电路 (寄存器、计数器) 6.4时序逻辑电路的设计方法 6.5时序逻辑电路中的竞争-冒险现象

主要内容 5.1关系运算符和关系表达式 5.2逻辑运算符和逻辑表达式 5.3if语句 5.4 switch语句 5.5程序举例

9.1半导体存储器 9.2可编程逻辑器件

基本要求：理解逻辑代数的基本逻辑运算，懂得在数字电子技术中数学运算是用逻辑运算实现的；掌握逻辑运算规则、逻辑函数的表示、逻辑函数的标准表达式、卡诺图化简等基本理论；懂得从电子技术角度，逻辑运算通过电路实现；初步理解逻辑门电路的基础概念及其接口特性；掌握利用逻辑代数知识分析组合逻辑电路的一般过程及其方法；了解用逻辑门电路设计组合逻辑电路的一般过程；掌握译码器、编码器、数据选择器等常用中规模组合逻辑电路芯片的逻辑功能及其特点；掌握利用译码器、数据选择器实现组合逻辑电路的一般过程及其应用方法

一、绪论 二、数字信号与数字电路 三、数制与编码 四、逻辑代数 五、逻辑变量和基本的逻辑运算

5.1 异步时序逻辑电路的特点及模型 5.2 脉冲异步时序逻辑电路 5.3 电平异步时序逻辑电路的分析与设计

第一章 数制和码制 第二章 逻辑代数基础 第三章 门电路 第四章 组合逻辑电路 第五章 半导体存储电路 第六章 时序逻辑电路 第七章 脉冲波形的产生和整形电路 第八章 数——模和模——数转换