当前位置：
首页
--
数理科学和化学
--
数学
--
数理逻辑、数学基础
《墨经》逻辑与数理学术史研究（1782-2009）
G?del n值公理化扩张系统的真度理论
罗素类型论研究
汽车技工院校数学建模教学研究
MTL-代数的稳定化子及两类逻辑算子研究
Mathematical Models Behind Spread of HIV and Zika Virus Infections
数学模型在癌症中的应用
离离散时间线性系统的H2最最优模型降阶方法
LINEX损失下的最小二乘模型平均
Π10类上道路复杂性的一个分析
逻辑代数系统的粗糙性与拓扑性质研究
质量转移原理和Duffin-Schaeffer猜想
MTL命题逻辑系统中理论的结论和余零化子及其相关性质的研究
线性Mu演算子集的判定过程
MV-代数的(?)理想及相关研究
基于CDCL的SAT问题的分支启发式策略研究
命题逻辑中子句集的冗余性研究
基本命题逻辑的模态扩张
可分解Mendelsohn三元系的嵌入
可满足问题求解算法DPLL的优化技术研究
基于μ-演算的局部模型检测算法设计
有限集合上的拓扑数
FI-代数上的导子与伪CI-代数中的滤子
BL命题逻辑系统的演绎系统及其性质
扰动模糊命题逻辑及其广义重言式
Goguen公理化扩张系统的真度理论研究
增加两类算子的G(?)del公理化扩张系统计量化的研究
连根数构成的康托尔集的豪斯多夫维数研究
关于谱展开系数“Lanczos-Fox-Parker”命题的分析
IS-εL系统循环定义术语集的可满足性推理
εLQ系统循环定义术语集的可满足性推理
EQ-代数上的内态算子及态BL-代数上的微分
Hoop代数上两类逻辑算子的研究
基于子句权重求解SAT问题算法的研究
反思哥德尔不完全定理及维特根斯坦的评论
命题逻辑中子句集的分类研究
命题逻辑中随机3-SAT问题算法研究
模糊离散事件系统的可控性
数学证明中的逻辑
和集中若干问题的研究
基于BL-代数的几类代数结构的研究
关于Ljujié和Nathanson的两个问题
CDCL SAT求解器中的分支变量启发式算法研究
逻辑代数上滤子、态与拓扑性质的研究
弱MTL-代数上的几种演绎系统及其相关性质的研究
差填充集与应用
探寻拉姆齐定理的强度
模糊离散事件系统中的谓词变换及控制不变度
两种命题逻辑系统中的真度研究
基于有向超图的命题逻辑合取范式的约简
[1]
[2]
[3]
[4]
下一页
