您的位置： 专家智库 > >

程昆

作品数：4 被引量：7H指数：1
供职机构：云南师范大学信息学院更多>>
发文基金：国家软科学研究计划更多>>
相关领域：自动化与计算机技术文化科学理学更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 1篇与或树
  • 1篇实数
  • 1篇实数系
  • 1篇数系
  • 1篇确界
  • 1篇描述逻辑
  • 1篇命题逻辑
  • 1篇模糊描述逻辑
  • 1篇可判定性
  • 1篇公理
  • 1篇归纳法
  • 1篇TABLEA...

机构

  • 3篇云南师范大学

作者

  • 3篇程昆
  • 2篇高佳乐

传媒

  • 1篇微型机与应用
  • 1篇科教导刊（电...

年份

  • 1篇2014
  • 2篇2013
共 4 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
实数系完备性的证明
2013年
本文利用实数的无限小数表示形式，结合实数系的序理论知识，用确界存在公理证明实数系的完备性。
程昆高佳乐
关键词：实数系归纳法
基于时间区间关系的时态模糊描述逻辑及其推理
描述逻辑(Description Logic)是基于对象的知识表示的形式化，是一阶谓词逻辑的一个可判定子集，用于描述及推理概念知识。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的知识表示语言的最为...
程昆
关键词：模糊描述逻辑TABLEAU算法
文献传递
一种命题逻辑的可判定性算法
2013年
针对命题逻辑的可判定性中真值表法复杂度高的问题,提出了一种基于命题逻辑联结符号完备性和与或树规则的命题逻辑的可判定性算法。算法首先利用常见的等价公式和与或树规则对命题逻辑的公式进行分解,然后参照分解后的树形结构将公式转换成范式形式,最后对照所得的判别式对命题逻辑公式进行判定。理论证明这种算法相比于具有指数级复杂度的真值表法效率高得多。
程昆高佳乐
关键词：命题逻辑与或树可判定性
全选 清除 导出
共1页<1>
聚类工具0