王菊花

作品数:1被引量:1H指数:1
导出分析报告
供职机构:兰州理工大学理学院更多>>
发文主题:计量逻辑学逻辑理论二值命题逻辑相容度伪距离更多>>
发文领域:理学更多>>
发文期刊:《计算机工程与应用》更多>>
所获基金:博士科研启动基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-1
视图:
排序:
二值命题逻辑中逻辑理论的计量化及应用被引量:1
《计算机工程与应用》2014年第24期42-46,共5页李骏 王菊花 
国家自然科学基金(No.11261032);兰州理工大学博士基金资助项目
在二值命题逻辑系统中,利用势为2的均匀概率测度空间的无穷乘积,通过计算理论Γ的全体模型占整个赋值空间的测度定义了理论Γ的真度,进而利用理论的真度简化了理论的发散度和相容度的计算公式,给出了由推理的前提集的真度估计其逻辑结...
关键词:计量逻辑学 逻辑理论 理论的真度 相容度 
检索报告 对象比较 聚类工具 使用帮助 返回顶部