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、串行口、中断系统以及定时控制逻辑电路等

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

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

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

第一章 数字电路实验的基本知识 .1 1.1 数字集成电路 .1 1.2 数字实验 . 2 第二章 数字电路实验.7 实验一 常用电子仪器的使用.7 实验二 门电路的逻辑功能测试及功能转换 .9 实验三 SSI 组合逻辑电路的设计 .16 实验四 MSI 组合逻辑电路的设计 .23 实验五 时序逻辑电路的设计 .26 实验六 555 集成定时器及其应用 .29 第三章 数字电路课程设计 .31 课程设计 1：交通灯逻辑控制电路设计 .31 课程设计 2：十翻二运算电路设计 .37 课程设计 3：数字电子钟逻辑电路设计 .42 附录 部分集成电路引脚图.37

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