一、微型计算机数字控制的主要特点 二、微机数字控制双闭环直流调速系统的硬件和软件 三、数字测速与滤波 四、数字PI调节器 五、用离散控制系统设计数字控制器

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

12.1 引言 12.2连续时间系统状态方程的建立 12.4离散时间系统状态方程的建立

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

–集合的基本概念—集合、相等、(真)包含、子集、空集、 全集、幂集 –集合运算—交、并、(相对和绝对)补、对称差、广义交、 广义并 –文氏图—有穷集计数问题 –集合恒等式

8.1 函数的定义与性质 8.2 函数的复合与反函数 8.3 一个电话系统的描述实例

10.1 二元运算及其性质 10.2 代数系统

12.1 环的定义与性质 12.2 整环与域