一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论

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

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

学习要点： •熟悉常用ROM的内部结构和使用方法 •熟悉常用RAM的内部结构和使用方法 •掌握存储器容量的扩展方法（字、位） •了解可编程逻辑器件：PLD、PAL、GAL 10.1 半导体存储器 10.1.1 只读存储器（ROM） 10.1.2 随机存储器（RAM） 10.1.3 存储器容量的扩展 10.2 可编程逻辑器件 10.2.1 PLD的电路表示法 10.2.2 可编程阵列逻辑器件PAL 10.2.3 通用阵列逻辑器件GAL

目的与要求：1、了解PLD的基本特征、分类、每种类型的特点及发展概况；2、掌握PLD的电路表示法；3、理解PLD实现各种逻辑功能电路的基本原理；重点与难点：1、PLD器件实现各种逻辑功能电路的基本原理；2、可编程逻辑器件的设计过程；

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数

用数学方法表示命题陈述的逻辑结构，将形式逻辑归结为代数演算， 称为 “布尔代数”。将布尔代数用于集成电路逻辑门，称为逻辑代数

• 10.1 数字电路概述 • 10.2 逻辑门电路 • 10.3 逻辑函数及其化简 • 10.4 组合逻辑电路的分析与设计 • 10.5 组合逻辑部件

6.1 概述 6.2 时序逻辑电路的分析方法 6.4 时序逻辑电路的设计方法 6.3 若干常用的时序逻辑电路 6.5 时序逻辑电路中的竞争-冒险现象