现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

一类对称的Kolmogorov系统的定性研究（Ⅰ）

本文对一类对称的三次微分系统进行探讨，对每个奇点导出表示其鞍结性的型号公式。给出（Ｋ３）所有的六种全局相图。     

不可压缩非牛顿粘性流体二维定常流动的第一边值问题

讨论不可压缩非牛顿粘性流体二维定常流动的第一边值问题,在比以往较弱的假设条件下证明了解的存在性和唯一性。     

一类非线性微分系统极限环的存在性

本文研究了方程ｘ＋ｆ（ｘ）φ（ｘ）＋ψ（ｘ）ｇ（ｘ）＝０ （Ｅｑｓ．）的极限环问题，推广了文（１）的结论并补充了文（２）有关结果。