2.3.1 Verilog语言的基本语法规则 2.3.2 变量的数据类型 2.3.3 Verilog程序的基本结构 2.3.4 逻辑功能的仿真与测试

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5．5．1 推理规则 5．5．2 使用推理规则的推理演算举例 5．6 谓词逻辑的归结推理法

复习内容：触发器和时序逻辑电路、门电路和组合逻辑电路、集成运算放大器、放大器基础、电路的暂态、交流电路基本分析方法、直流电路分析方法

第5章树和二叉树 本章中主要介绍下列内容: 一、树的逻辑定义和存储结构 二、二叉树的逻辑定义、存储结构 三、二叉树的基本操作算法 四、树和二叉树的转换 五、哈夫曼树及其应用

 微机系统的组成  计算机中的编码、数制及其转换  无符号二进制数的运算  算术运算和逻辑运算  运算中的溢出  机器数的表示及运算  基本逻辑门及译码器

微型计算机的基本组成有三部分,即中央处理器 CPU(通常包括运算器和控制器)+存储器+输入/输出(I/O) 接口。若将组成计算机的基本部件集成在一块芯片上,则 俗称为单片微机。 80C51内部结构如图2-1所示,主要包括中央处理 器CPU(算术逻辑部件ALU、控制器等)、只读存储器 ROM、随机存取存储器RAM、定时器/计数器、并行IO 口P0~P3、串行口、中断系统以及定时控制逻辑电路等

第一章 绪论 第二章 概念 第三章 判断（一） 第四章 判断（二） 第五章 演绎推理（一） 第六章 演绎推理（二） 第七章 归纳推理 第八章 类比推理 第九章 假说 第十章 普通逻辑的基本规律 第十一章 论证

一、树的逻辑定义和存储结构 二、二叉树的逻辑定义、存储结构 三、叉树的基本操作算法 四、树和二叉树的转换 五、哈夫曼树及其应用

一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用

一、实验目的 1．熟悉数字电路实验箱的结构、基本功能和使用方法。 2．掌握TTL集成电路的使用规则。 3．掌握TTL集成与非门的逻辑功能和主要参数的测试方法