缺省逻辑的扩充 【数理化】

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

线性系统的 A，B 特征子空间与大系统分散控制 【数理化】

数学家的逻辑 【数理化】

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。

随机服务系统的理论与实务 【数理化】

为了能够建立一个优良的服务系统，并使之有效运转，必须先要清楚地了解在不同条件下，系统行为以及状态的变化，并以此作为设置服务系统和运作规则的依椐。第一章讨论什么是系统行为以及衡量其绩效尺度的基本概念以...

一些力学系统的可积性与积分方法 【数理化】

本书以经典力学和微分方程可积理论为基础，研究了几类经典力学系统的可积性与积分方法和系统在可积或近可积情况下的运动状态。

随机脉冲系统的分析与控制 【数理化】

本书主要研究随机脉冲系统解的存在唯一性及可控性，利用Kuratowski测度及相应不动点定理研究随机脉冲微分系统解的存在唯一性，研究了具有Markov跳的线性离散随机系统的可检测性和可观性，有限维空间中随机脉冲积...

离散数学习题集 数理逻辑与集合论分册 【数理化】

逻辑代数与电子计算机简介 （高师内部交流教材） 【数理化】

系统模糊决策的可变集理论与应用 【数理化】

本书为陈守煜先生的论文集，本书共分三部分，第一部分为系统模糊决策理论与应用，第二部分为可变模糊集理论与模型及其应用，第三部分为可变集理论在工程领域的应用研究。本书的学科分类为学术专著类，收集了陈守煜先...

波科学的数理逻辑 【数理化】

本书收集了黄志洵教授在不同时期发表的科学论文31篇，收入逯贵祯教授于2011年3月发表的文章“黄志洵教授的科学贡献”以及黄志洵的一些旧体诗作。...