期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
G?del n值命题逻辑系统的真度理论
1
作者
朱乃调
惠小静
+1 位作者
高晓莉
高姣
《计算机工程与应用》
CSCD
北大核心
2017年第11期67-72,共6页
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,~,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。
关键词
godel
n
命题逻辑系统
真度
相似度
伪距离
下载PDF
职称材料
增加Δ算子的G?del n值命题逻辑系统理论的平均真度
2
作者
王勇勇
惠小静
《计算机工程与应用》
CSCD
北大核心
2018年第19期68-71,134,共5页
在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。
关键词
godel
n
值命题逻辑系统
有限理论
平均真度
Δ算子
下载PDF
职称材料
G?del n值命题逻辑系统中的Δ真度
被引量:
1
3
作者
朱乃调
惠小静
+1 位作者
高晓莉
高姣
《模糊系统与数学》
CSCD
北大核心
2016年第6期12-18,共7页
在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
关键词
godel
n
值命题逻辑系统
Δ算子
Δ真度
原文传递
题名
G?del n值命题逻辑系统的真度理论
1
作者
朱乃调
惠小静
高晓莉
高姣
机构
延安大学数学与计算机科学学院
出处
《计算机工程与应用》
CSCD
北大核心
2017年第11期67-72,共6页
基金
国家自然科学基金重点项目(No.11531009)
国家自然科学基金(No.11471007)
+1 种基金
陕西省自然科学基金(No.2014JM1020)
延安大学研究生创新基金
文摘
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,~,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。
关键词
godel
n
命题逻辑系统
真度
相似度
伪距离
Keywords
godel n -valued propositional logic system
truth degree
similarity degree
pseudo-metric
分类号
O142 [理学—基础数学]
下载PDF
职称材料
题名
增加Δ算子的G?del n值命题逻辑系统理论的平均真度
2
作者
王勇勇
惠小静
机构
延安大学数学与计算机科学学院
出处
《计算机工程与应用》
CSCD
北大核心
2018年第19期68-71,134,共5页
文摘
在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。
关键词
godel
n
值命题逻辑系统
有限理论
平均真度
Δ算子
Keywords
godel
n
-valued
propositional
logic
system
fi
n
ite theory
average truth degree
Δoperator
分类号
O142 [理学—基础数学]
下载PDF
职称材料
题名
G?del n值命题逻辑系统中的Δ真度
被引量:
1
3
作者
朱乃调
惠小静
高晓莉
高姣
机构
延安大学数学与计算机科学学院
出处
《模糊系统与数学》
CSCD
北大核心
2016年第6期12-18,共7页
基金
国家自然科学基金资助项目(11471007)
陕西省自然科学基金资助项目(2014JM1020)
+1 种基金
延安大学研究生创新基金资助项目(YCX201612)
陕西省大学生创新训练计划项目(1064)
文摘
在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
关键词
godel
n
值命题逻辑系统
Δ算子
Δ真度
Keywords
godel
n
-valued
propositional
logic
System
△ Operator
△ Truth Degree
分类号
O142 [理学—基础数学]
原文传递
题名
作者
出处
发文年
被引量
操作
1
G?del n值命题逻辑系统的真度理论
朱乃调
惠小静
高晓莉
高姣
《计算机工程与应用》
CSCD
北大核心
2017
0
下载PDF
职称材料
2
增加Δ算子的G?del n值命题逻辑系统理论的平均真度
王勇勇
惠小静
《计算机工程与应用》
CSCD
北大核心
2018
0
下载PDF
职称材料
3
G?del n值命题逻辑系统中的Δ真度
朱乃调
惠小静
高晓莉
高姣
《模糊系统与数学》
CSCD
北大核心
2016
1
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部