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].
本文证明了关于分划的一个定理,利用这个定理,发现了(1)中推论13的证明中的错误,然后修改了该推论,并给出了证明。
Partitions of F(S) and a Kind of Upgrade Algorithm in the System H_α;
系统H_α中F(S)的一个分划及一种升级算法
本站部份资料来自网络或由网友提供,如有问题请速与我们联系,我们将立即处理!
Copyright © 2013-2024 杭州优配网络科技有限公司 All Rights Reserved 浙ICP备20019715号
免责声明:本站非营利性站点,以方便网友为主,仅供学习。合作/投诉联系QQ:1553292129