2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

4.1.1日历电子钟控制 4.1.2 皮带传输线控制 4.1.3 洗衣机控制 4.1.3.1 洗涤控制 4.1.3.2 带有洗涤方式选择、水位选择的洗涤控制 4.1.3.3 带有洗涤方式选择、水位选择的全自动洗衣控制程序设计（一洗二漂） 4.1.4单时段十字路口交通信号灯控制系统设计与调试 4.1.4多时段十字路口交通信号灯控制系统设计与调试

一、实验目的 1.掌握基本RS触发器、JK触发器、D触发器和T触发器的逻辑功能。 2.熟悉各类触发器之间逻辑功能的相互转换方法

一、实验目的 1．掌握基本 RS 触发器、 JK 触发器、 D 触发器和T 触发器的逻辑功能。 2．熟悉各类触发器之间逻辑功能的相互转换方法

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

对于任何一个逻辑函数的功能描述都可以作出真值表，根据真值表可以写出该函数的最小项之和及最大项之积的形式

本文介绍采用Cromemco System Ⅲ(Z-80)微型计算机软件代替可逆可控硅逻辑无环流控制系统中的模拟速度调节器(ST),和模拟电流调节器(LT)及四象限逻辑切换运算器;对可逆可控硅直流调速系统进行直接数字控制(DDC)的原理、方法,并给出简单程序框图和实验结果。通过实验和波形拍照说明采用微型计算机控制直流电动机可逆调速系统是可行的,而且是可靠的,达到了予期的效果

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语， 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

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