模态逻辑两个定理的基于向前向后方法的证明

向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .

一种求解包含问题的算法研究

一种实希尔伯特空间中求解包含问题的算法被提出,所提出的算法基于向前向后方法、压缩方法、惯性方法和无需搜索的自适应步长。算法的特点为迭代中多次使用惯性加速方法,且自适应步长随着迭代次数增加可能增大。在包含问题解集非空、一个映射极大单调、另一个映射单调且利普希茨连续的假设下,算法的强收敛性被证明。