• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍

1、掌握二进制、八进制、十进制、十六进制数的组成及其相互转换，了解常用BCD码； 2、掌握逻辑代数的基本定理和常用公式，并能进行逻辑函数的化简与变换； 3、理解与门、或门、非门、与非门和异或门的逻辑功能，了解 TTL 与非门及其电压传输特性和主要参数，了解 CMOS 门电路的特点，了解三态门的概念

本章主要介绍数字电路中常用的几种数制的表示方法及其转换规律，数字系统中常见的几种编码及逻辑代数知识

1.1数字电子技术基础 1.2数制与编码 1.3逻辑代数基础 1.4逻辑函数的化简 1.5逻辑函数的表示方法及其相互转换 1.6门电路

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

1掌握同步时序电路的一般分析方法 2掌握同步计数器的一般分析方法 3会用反馈归零法、反馈置数法和级联法将集成芯片构成任意进制计数器 4根据功能表会用大、中规模集成芯片构成给定功能的电路  第1、2学时： 时序逻辑电路的分析方法  第3、4学时： 时序逻辑电路的设计方法  第5、6学时： 同步计数器  第7、8学时： 集成同步计数器及其应用  第9、10学时：数据寄存器和移位寄存器

2.1组合逻辑电路的分析与设计方法 2.2加法器 2.3数值比较器 2.4编码器 2.5译码器 2.6数据选择器 2.7数据分配器 2.8只读存储器(ROM) 2.9可编程逻辑器件(PLD)

第四节 逻辑函数及其表示方法 第五节 逻辑函数的公式化简化

第一节 概述 第二节 逻辑代数中的常用运算 第三节 逻辑代数的基本公式和基本运算定律

一、实验目的 1．学会组合逻辑电路的实验分析及其设计方法。 2．验证半加器、全加器的逻辑功能