一阶逻辑是关于一阶语言及其模型的逻辑理论。它是现代逻辑的基础分支学科。
19世纪70年代以后，康托(Cantor，G.)建立了集合论。19世纪80年代，弗雷格(Frege，G.)用形式化方法建立了谓词理论。此后，在谓词理论和模型论的基础上发展了一阶逻辑。
一阶逻辑的研究对象是一阶语言及其模型。一阶语言是一种经典的形式语言，它是由有穷个或无穷个符号组成的类。这些符号分为三组。第一组是关系符号，用r1，r2，……，rm表示，其中ri(1≤i≤m)表示j元关系; 第二组是函数符号，用f1，f2，……，fn表示，其中fj(1≤j≤n)表示j元函数; 第三组是个体符号，用C1，C2，…，Cq表示，其中Ck(1≤k≤q)表示第k个个体。用 ...... （共1422字） [阅读本文]>>
现代学科人-机系统是研究在一定的环境条件下、为达到某些整体性目标而存在交互作用的人和机的组合的学科，属于工程控制论与生物医学工程等基本学科中的交叉学科。人-机系统的组成原理图在下图中示出。人-机系统组成原理图图
现代学科自适应控制是一门研究具有不确定性系统控制问题的学科。它是“工程控制论”基本学科中的一个分支学科。由于自适应控制适用的领域很广，加上有些系统的自适应控制律与非线性或时变控制律没有明显的界限，因此自适应控制
现代学科多值逻辑是一门研究具有有穷或无穷多个真值的命题的逻辑演算，以及这些演算的逻辑性质的逻辑学科。它是现代逻辑的一个分支。古希腊亚里士多德(Aristotle)曾经讨论过命题除“真”“假”之外的另一种真值“未
现代学科材料科学是研究材料的化学组成、结构及其特性，并在此基础上研制具有性能和新功能的新型材料及其应用的一门科学。材料科学是20世纪60年代才发展起来的一门新学科。近代化学和物理学的发展，为揭示物质本质的奥秘提
现代学科经典控制理论是一门研究单输入单输出线性时不变反馈控制系统的学科，它属于工程控制论基本学科中的一个分支学科。自动控制理论是自动化技术的基础理论，按它的发展过程大致可划分为经典控制理论、现代控制理论和大系统
上一篇