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

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

Let A and B be sets. A function f from A to B is an assignment of exactly one element of B to each element of A. We write f(a) = b if b is the unique element of B assigned by the function f to the element a of A. If f is a function from A to B, we write f : A→B

第一章 开发环境要求及其系统组成 .2 一 开发环境要求 .2 二 系统组成 .2 第二章 系统控制原理简介 .3 第三章 直线一级倒立摆的建模、仿真及实验 .4 一 直线一级倒立摆的数学模型 .4 1 牛顿－欧拉方法建模 .4 2 拉格朗日方法建模 .10 二 系统的阶跃响应分析与可控性分析 .13 1 系统阶跃响应分析 .13 2 系统可控性分析 .14 三 MATLAB(Simulink)仿真实验与实时控制实验.16 1 运动控制基础实验 .17 2 根轨迹校正实验 .19 3 频率响应校正实验 .30 4 PID 校正实验 .38 5 状态空间极点配置控制实验 .43 6 LQR 控制实验 .50 7 LQR 控制(Bang-Bang 自摆起)实验.56 8 LQR 控制(能量自摆起)实验 .60 9 模糊逻辑控制实验 .63 10 模糊逻辑控制（Bang-Bang 自摆起）实验.71 11 模糊逻辑控制（能量自摆起）实验 .72 12 模糊 PID 控制实验 .73 13 神经网络控制实验 .74

1、命题(Proposition) 2、从简单命题(atomic proposition)到 复合命题(compositional proposition) 3、从命题常量(propositional constant)到 命题变量(propositional variable) 4、从复合命题(compositional proposition)到 命题公式(propositional formulas)

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

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法

一、介绍博弈论 （一）概念，什么是博弈论 1．概念：博弈论Ｇａｍｅ Ｔｈｅｏｒｙ，又称对策论，是使用严谨的数学模型研究冲突对抗条件下最优决策问题的理论，是研究竞争的逻辑和规律的数学分支。简单地说，博弈论是研究决策主体在给定信息结构下如何决策以最大化自己的效用，以及不同决策主体之间决策的均衡