◼ 半群与独异点  半群定义与性质  交换半群与独异点  半群与独异点的子代数和积代数  半群与独异点的同态 ◼ 群  群的定义与性质  子群与群的直积  循环群  置换群

6.1连续对象模型的离散化(不带延时、包含延时) 6.2矩阵指数及其积分的计算 6.3按极点配置设计控制规律 6.4按极点配置设计观测器 6.5控制器设计 6.6跟踪系统设计

3.1概述 3.2模拟控制器的离散化 3.3数字PD控制 3.4数字PID控制算式的改进 3.5数字PID参数整定方法 3.6数字控制器的直接设计方法 3.7数字控制器的计算机实现

信号与系统的分析方法有时域、变换域两种。时域分析法 1.连续时间信号与系统:信号的时域运算,时域分解,经典时域分析法,近代时域分析法,卷积积分。 2.离散时间信号与系统:

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

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

一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则

一、命题演算推理形式系统N和P 二、相同之处: 都由四个组成部分 一公式的构成方式相同 一都是为了推理

6.1半群与群 6.2子群 6.3循环群和置换群 6.4陪集与拉格朗日定理 6.5正规子群、商群和同态基本定理 6.6环和域 6.7例题选解

第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念