A kind of partition on F(S) in Lukasiewicz logic system;
F(S)在Lukasiewicz逻辑系统中的一种分划
The Partitioned Group Correction Technique with Automatic Differentiation for Large Scale Sparse Unconstrained Optimization;
用自动微分分划组的修正算法解大型稀疏无约束优化问题
in this paperg able proved a partition theorem, and corrected themistakes of corollary 1 3 of [1].
本文证明了关于分划的一个定理，利用这个定理，发现了（１）中推论１３的证明中的错误，然后修改了该推论，并给出了证明。
Partitions of F(S) and a Kind of Upgrade Algorithm in the System H_α;
系统H_α中F(S)的一个分划及一种升级算法