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

第八章可编程逻辑器件 本章知识要点: 一、PLD的基本概念 二、低密度可编程逻辑器件 三、复杂可编程逻辑器件 四、现场可编程门阵列 五、在系统编程技术简介

第二章逻辑代数基础 本章知识要点: 一、基本概念; 二、基本定理和规则; 三、逻辑函数的表示形式; 四、逻辑函数的化简

在遥远的将来，当人们回顾2 0世纪的计算机发展史时，有人可能会以为一种称为“logic gates （逻辑门）”的设备是以著名的微软公司创始人的名字命名的（ Bill Gates中的G a t e s在英语中有 “门”的意思），其实并非如此。我们很快就会明白，逻辑门和通常让水和人通过的门十分相 似。逻辑门通过阻挡或允许电流通过在逻辑中执行简单的任务

§4.1 关系运算符 §4.2 逻辑运算符和逻辑表达式 §4.3 if 语句–––条件判断

7-1 概述 7-2 模糊逻辑控制技术软件的开发工具（Pop Fuzzy 2.0） 8-1 模糊逻辑硬件电路 8-2 模糊计算机

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

真理是什么呢？亚里士多德认为逻辑与它有关。他的讲义合集《工具论》（O rg a n o n，可 追溯到公元前4世纪）是最早的关于逻辑的详细著作。对于古希腊人而言，逻辑是追寻真理的 过程中用于分析语言的一种手段，因此它被认为是一种哲学。亚里士多德的逻辑学的基础是 三段论。最有名的三段论（它并非是在亚里士多德的著作中发现的）是： (所有的人都是要死的; 苏格拉底是人; 所以,苏格拉底是要死的。)

• 可编程逻辑器件的发展进程和分类 • 复杂可编程逻辑器件（CPLD） • 现场可编程门阵列（FPGA） • 可编程逻辑器件的编程与配置 • 可编程逻辑器件应用选择原则

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序