一个复杂系统可能有多个输入和多个输出,并且以某种方式相互关联或耦合。为了分 析这样的系统,必须简化其数学表达式,转而借助于计算机来进行各种大量而乏味的分析 与计算。从这个观点来看,状态空间法对于系统分析是最适宜的。 经典控制理论是建立在系统的输入输出关系或传递函数的基础之上的,而现代控制理 论以n个一阶微方程来描述系统,这些微分方程又组合成一个一阶向量矩阵微分方程。应 用向量矩阵表示方法,可极大地简化系统的数学表达式

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

第4章关系 4.1集合的笛卡儿积 4.2二元关系的概念及其特性 4.3二元关系的运算 4.4关系的闭包运算 4.5等价关系与集合的划分 4.6偏序关系

第6章代数系统 6.1代数系统的概念 6.2代数系统的同态和同构 6.3代数系统的积代数 6.4半群与独异点 6.5群与交换群 6.6环与域 6.7格与布尔代数

分析了弯曲通道内气流流动状态,确定了气相流场的控制方程和边界条件,建立了通道内计算流动阻力的有限差分的数学模型和计算机程序,通过理论计算和实验分析了流道的几何参数对阻力的影响。计算结果与实验数据相符合

1.集合与元素 集合是个最基本的概念 集合:是由确定的对象(客体)构成的集体 用大写的英文字母表示。 这里所谓“确定”是指:论域内任何客体 要么属于这个集合,要么不属于这个集合, 是唯一确定的。 元素:集合中的对象,称之为元素 ∈:表示元素与集合的属于关系

1.集合与元素 集合是个最基本的概念。 集合：是由确定的对象(客体)构成的集体。用 大写的英文字母表示。 这里所谓“确定”是指：论域内任何客体， 要么属于这个集合，要么不属于这个集合，是 唯一确定的

一. 填空(共计 26 分) 1. (每空 1 分) 令 P: 天气好. Q: 我有时间. R: 我在家. S: 我上街. 将下面各个命题的符号表达式填在各个命题后面的括号内.. ⑴. 或者我上街,或者我在家. ( ) ⑵ 仅当天气好, 我才上街. ( ) ⑶ 如果天气好, 我就上街, 否则在家.( )

本章简要地阐述最主要的数学知识及计算机中最基本的单元电路。本章的内容是必要的入门知识，是以后各章的基础。对于已掌握这些知识的读者，本章将起到复习和系统化的作用。 2.1 数制与编码 2.2 单片机系统常用数字集成电路 2.3 单片机系统中的常用存储器电路

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