1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论

目前，数字技术已渗透到科研、生产和人们日常生活的各个领域。从计算机到家用电器，从手机到数字电话，以及绝大部分新研制的医用设备、军用设备等，无不尽可能地采用了数字技术。数字系统是对数字信息进行存储、传输、处理的电子系统。通常把门电路、触发器等称为逻辑器件，将由逻辑器件构成，能执行某单一功能的电路，如计数器、译码器、加法器等，称为逻辑功能部件，把由逻辑功能部件组成的能实现复杂功能的数字电路称数字系统。复杂的数字系统可以分割成若干个子系统，例如计算机就是一个内部结构相当复杂的数字系统

对按转子磁链定向的矢量控制系统进行了智能控制研究.根据矢量控制的特点,充分运用计算机丰富的逻辑判断和数值运算功能对控制系统进行设计,不仅可以实现模拟控制器的数字化,而且可以突破模拟控制器参数为定值的局限.重点介绍了根据系统的变量变化趋势来确定数字调节器参数的变化规则,同时对于各个不同的调节规律,采用不同的控制策略,使得系统具有更好的动、静态性能指标,更强的鲁棒性.最后通过仿真和实验证明了本文理论的正确性

EDA（Electronics Design Automation）即电子 设计自动化技术，是一种以计算机为基本工 作平台，利用计算机图形学、拓扑逻辑学、 计算数学以及人工智能学等多种计算机应用 学科的最新成果而开发出来的一整套软件工 具，是一种帮助电子设计工程师从事电子元 件产品和系统设计的综合技术

机器语言 计算机是靠大量的逻辑电路开开合合来运行 的,它们识别的只是高、低电位,用二进制 的方法来表示,刚好就是1和0。所有我们发 给计算机的指令,以及我们保存在计算机内 的数据,最终都将转换成一系列的由0和1组 成的数字串,计算机才“看”得明白。这就 是我们所说的机器语言

数值模拟是依据被模拟对象的数学或逻辑模型,利用计算机进行实验的一种技术.已成为与理论分析,实验室实验并列的重要研究方法

自动控制的发展 经典硬件逻辑控制亠常规仪表控制計算机集中控 制→计算机分散(集散)控制→以现场总线为代表的网络控制

计算机系统 = 计算机硬件 + 计算机软件 计算机硬件 是构成计算机系统的物理部 件和设备的总称。硬件的核 心是主机；主机的核心是CPU。 计算机软件 是构成计算机系统的逻辑部 件及文档资料的总称。软件的 核心是系统软件；系统软件的核 心是操作系统

Substitutivity of Equivalence Let A,M and N be wffs and let AMN be the result of replacing M by N at zero or more occurrences (henceforth called designate occurrences) of M in A. 1. AMN is a wff. 2. If |= M ≡ N then |= A ≡ AMN

一、微型计算机系统的组成 二、硬件系统的逻辑结构 三、硬件系统的物理结构 四、软件系统的组成 五 、冯·诺依曼计算机的结构特点 六、计算机的一般工作过程