逻辑方程相关论文
众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算，与此相反，数值计算的目的则在于借助各种手段，采用插......
本文对具有逐段常值变元逻辑方程的振动性和全局吸引性进行了研究。文章共分为三部分：第一章介绍泛函微分方程的发展状况与本文所要......
众所周知，数理逻辑的特点在于形式化和符号化，无论是二值逻辑还是多值逻辑，都注重形式推理，而较少关心数值计算。2001年王国俊教授基于......
