当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
--
数理逻辑（符号逻辑）
《墨经》逻辑与数理学术史研究（1782-2009）
G?del n值公理化扩张系统的真度理论
汽车技工院校数学建模教学研究
MTL-代数的稳定化子及两类逻辑算子研究
Mathematical Models Behind Spread of HIV and Zika Virus Infections
数学模型在癌症中的应用
离离散时间线性系统的H2最最优模型降阶方法
LINEX损失下的最小二乘模型平均
Π10类上道路复杂性的一个分析
逻辑代数系统的粗糙性与拓扑性质研究
MTL命题逻辑系统中理论的结论和余零化子及其相关性质的研究
线性Mu演算子集的判定过程
MV-代数的(?)理想及相关研究
基于CDCL的SAT问题的分支启发式策略研究
命题逻辑中子句集的冗余性研究
基本命题逻辑的模态扩张
可满足问题求解算法DPLL的优化技术研究
基于μ-演算的局部模型检测算法设计
BL命题逻辑系统的演绎系统及其性质
扰动模糊命题逻辑及其广义重言式
Goguen公理化扩张系统的真度理论研究
增加两类算子的G(?)del公理化扩张系统计量化的研究
关于谱展开系数“Lanczos-Fox-Parker”命题的分析
IS-εL系统循环定义术语集的可满足性推理
εLQ系统循环定义术语集的可满足性推理
EQ-代数上的内态算子及态BL-代数上的微分
Hoop代数上两类逻辑算子的研究
基于子句权重求解SAT问题算法的研究
反思哥德尔不完全定理及维特根斯坦的评论
命题逻辑中子句集的分类研究
命题逻辑中随机3-SAT问题算法研究
模糊离散事件系统的可控性
基于BL-代数的几类代数结构的研究
CDCL SAT求解器中的分支变量启发式算法研究
逻辑代数上滤子、态与拓扑性质的研究
弱MTL-代数上的几种演绎系统及其相关性质的研究
探寻拉姆齐定理的强度
模糊离散事件系统中的谓词变换及控制不变度
两种命题逻辑系统中的真度研究
基于有向超图的命题逻辑合取范式的约简
几类模糊逻辑系统中真度及近似推理研究
S-逻辑系统中的积分相似度与对称逻辑公式在L4*逻辑度量空间中的分布
基于代数方法的逻辑网络控制与应用
数学模型校准问题研究
R0代数的极大缩减及公式真度的范式表示
n值S-MTL系统中公式的矛盾度理论及理论的平均真度
经典命题逻辑中逻辑理论的计量化及应用
n值S-MTL逻辑系统中命题的Borel概率真度理论
强左连续三角模基逻辑中命题的积分真度理论
描述逻辑FLε的合一算法
[1]
[2]
[3]
下一页
