形式逻辑又称普通形式逻辑，简称为普通逻辑，是一门研究抽象思维形态的逻辑形式及其规律和简单方法的学科。它是逻辑学的主要分支之一。
形式逻辑在历史上产生很早，是最古老的学科之一。在西方，形式逻辑产生于2000多年以前的古希腊时期。古希腊的亚里士多德(Aristotle，公元前384-前322) 是形式逻辑即传统逻辑的奠基者。他在《工具论》 中系统地论述了概念、判断、推理和证明; 在《形而上学》中详尽地论述了形式逻辑的基本规律。中国的古代和古印度差不多同时期也产生了形式逻辑。春秋战国时期的公孙龙、后期墨家和荀况等人都对逻辑学问题做过比较系统的研究。两千多年以来，形式逻 ...... （共1236字） [阅读本文]>>
现代学科人-机系统是研究在一定的环境条件下、为达到某些整体性目标而存在交互作用的人和机的组合的学科，属于工程控制论与生物医学工程等基本学科中的交叉学科。人-机系统的组成原理图在下图中示出。人-机系统组成原理图图
现代学科自适应控制是一门研究具有不确定性系统控制问题的学科。它是“工程控制论”基本学科中的一个分支学科。由于自适应控制适用的领域很广，加上有些系统的自适应控制律与非线性或时变控制律没有明显的界限，因此自适应控制
现代学科多值逻辑是一门研究具有有穷或无穷多个真值的命题的逻辑演算，以及这些演算的逻辑性质的逻辑学科。它是现代逻辑的一个分支。古希腊亚里士多德(Aristotle)曾经讨论过命题除“真”“假”之外的另一种真值“未
现代学科材料科学是研究材料的化学组成、结构及其特性，并在此基础上研制具有性能和新功能的新型材料及其应用的一门科学。材料科学是20世纪60年代才发展起来的一门新学科。近代化学和物理学的发展，为揭示物质本质的奥秘提
现代学科经典控制理论是一门研究单输入单输出线性时不变反馈控制系统的学科，它属于工程控制论基本学科中的一个分支学科。自动控制理论是自动化技术的基础理论，按它的发展过程大致可划分为经典控制理论、现代控制理论和大系统
上一篇