您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(CUSF)

作品数：1 被引量：2H指数：1
相关作者：吕敏孙秀华吕诚更多>>
相关机构：中国科学技术大学安徽建筑工业学院更多>>
发文基金：中央高校基本科研业务费专项资金安徽省自然科学基金更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇主范式
  • 1篇主析取范式
  • 1篇析取范式
  • 1篇命题公式
  • 1篇极大项
  • 1篇极小项
  • 1篇计算方法
  • 1篇范式

机构

  • 1篇安徽建筑工业...
  • 1篇中国科学技术...

作者

  • 1篇吕诚
  • 1篇孙秀华
  • 1篇吕敏

传媒

  • 1篇宜春学院学报

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
主范式的计算方法及其在命题公式中的作用被引量：2
2011年
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。
吕诚孙秀华吕敏
关键词：主析取范式极小项极大项命题公式
全选 清除 导出
共1页<1>
聚类工具0